• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

form-dev / form
63%

Build:
DEFAULT BRANCH: master
Repo Added 05 Jun 2025 10:19AM UTC
Files 66
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH master
branch: master
CHANGE BRANCH
x
Reset
  • master
  • 4.3
  • PrintFloat
  • StartFloat
  • actions-cond-valgrind
  • alloc-failure-hang
  • backtrace
  • badges
  • chainin-symm
  • check-hyperform
  • chop
  • ci-setup-build-action
  • ci-windows-2022
  • ci/build-arm64-windows
  • ci/deploy-enable-flint
  • cmp-counter
  • comp-native
  • cppcheck
  • dependabot/github_actions/actions/checkout-6.0.3
  • dependabot/github_actions/actions/checkout-7
  • dependabot/github_actions/dot-github/actions/setup-build/actions/cache-6
  • dependabot/github_actions/dot-github/actions/setup-build/awalsh128/cache-apt-pkgs-action-1.6.3
  • dimension
  • doc-load
  • documentation
  • dollar-decl
  • dollar-modopt-max
  • dollar-pre-incr
  • dollars-min-max
  • dollars-recursive-lock
  • endsort-leak
  • evaluate-fun
  • exponential
  • factarg-vec
  • feature/autoconf-2.69
  • feature/update-cache-apt-pkgs-action
  • feature/update-github-actions
  • findloop-replaceloop
  • fix-649
  • fix-endsort
  • fix-issue-646
  • fix-issue-695
  • fix-sav-regression
  • fix-term-arg-stagesort
  • fix-tex4ht
  • fix-torat
  • flint-cleanup
  • flint-fix-poly-fact
  • flint-reserve
  • flint-sparse
  • flintv2
  • float-bugs
  • float-manual
  • float-tests
  • float-zero
  • formlib
  • grcc-2pt-vtx
  • grcc-fixes
  • grcc-fixes-2
  • humanstats
  • humanstats-test
  • inside-dollar
  • intohide
  • issue-251
  • issue-252
  • issue-617
  • issue-631
  • issue-647
  • issue-664
  • issue-710
  • issue-711
  • issue-747
  • issue-747-2
  • issue-750
  • issue-856
  • lcov-excl
  • license-notice
  • make-dollar-warning-default
  • manual-diagrams
  • manual-updates
  • many-threads
  • memmove
  • mod-opt-segfault
  • mzv-errors
  • non-symbol-takecontent
  • padic-pr
  • perf-flint
  • perf-float-check
  • polynomial-tests
  • pr/allow-dollar-moduleoption-anywhere
  • pr/build/fix-latex2html
  • pr/build/zlibwrapper-handling
  • pr/chore/dependabot
  • pr/ci/actions-checkout-v6-in-32bit-containers
  • pr/ci/deploy-macos-15-intel
  • pr/ci/flint-3.4.0
  • pr/ci/flint-3.6.0
  • pr/ci/stale-workflow
  • pr/ci/update-dependabot-config
  • pr/docs/fix-equation-numbers
  • pr/docs/fix-spectators
  • pr/docs/remove-cfunctions-properties
  • pr/feat/continuedo_number
  • pr/feat/diagrams-20250717
  • pr/feat/enhanced-cherk_rb
  • pr/feat/print-feature-list
  • pr/feat/warn-conflicting-dollar-moduleoptions
  • pr/fix/ci/cache-apt
  • pr/fix/latex2html-authorlist
  • pr/fix/manual-labels-and-sections
  • pr/fix/parform-runtime-terminate
  • pr/flint-version-check
  • pr/refactor/remove-pre-c89-legacy-code
  • pr/test/diagram-comparison
  • pr/test/improve-total_physical_memory
  • pr/test/vacuum-bubbles
  • prep-v501
  • preproc-subsubversion
  • protect-float
  • putfirst-neg
  • qgraf-keywords
  • readme
  • repeat-sum
  • require-flint
  • runtime-error-tests
  • series-tst
  • setups-file
  • sortbot-blocks
  • sortverbose
  • stdint
  • strict-rounding
  • struct-padding-2
  • test-color
  • test-coverage
  • test-coverage-fixes
  • test-extra-cov-fix
  • test-extra-mincer
  • threadbuckets
  • timeout
  • timeout-fix
  • transform-noargs
  • user-normsize
  • v5.0.0
  • v5.0.1
  • version-info
  • void
  • warnings-32bit-debian

07 Jul 2026 08:46AM UTC coverage: 63.186% (-0.001%) from 63.187%
28853545537

push

github

jodavies
refactor: reduce the size of the thread buckets at larger maxtermsize

Using "large" values of MaxTermSize (say, 5M, 10M, ...) results in
very large allocations for the thread buffers, since they historically
have been ThreadBucketCount(500)/4*MaxTermSize * 2 * workers, which
easily reaches 100GB or more.

Reduce the size of these allocations, such that with the default setup
nothing changes, and then the buffers grow as log(MaxTermSize), up to
the point where we enforce a BUCKETMINTERMS*MaxTermSize limit. Then
they grow linearly, but BUCKETMINTERMS is much smaller than the default
ThreadBucketCount.

6 of 6 new or added lines in 1 file covered. (100.0%)

323 existing lines in 1 file now uncovered.

52341 of 82836 relevant lines covered (63.19%)

10540726.53 hits per line

Relevant lines Covered
Build:
Build:
82836 RELEVANT LINES 52341 COVERED LINES
10540726.53 HITS PER LINE
Source Files on master
  • Tree
  • List 66
  • Changed 4
  • Source Changed 1
  • Coverage Changed 4
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
28853545537 master refactor: reduce the size of the thread buckets at larger maxtermsize Using "large" values of MaxTermSize (say, 5M, 10M, ...) results in very large allocations for the thread buffers, since they historically have been ThreadBucketCount(500)/4*Max... push 07 Jul 2026 11:38AM UTC jodavies github
63.19
28853214975 master doc: clarify variable-ordering behaviour after using Loaded expressions Closes #465. push 07 Jul 2026 10:46AM UTC jodavies github
63.19
28852797404 master ci: update FLINT to 3.6.0 push 07 Jul 2026 09:47AM UTC jodavies github
63.15
28852788353 master ci: include composite actions in Dependabot updates push 07 Jul 2026 09:10AM UTC jodavies github
63.16
28438176686 master fix: flint: missed overall factor in univariate polynomial factorization The flint interface assumed that univariate polynomials have no overall factor, when factorizing. This is usually the case, but changing the sort ordering with for eg "On hi... push 30 Jun 2026 10:40AM UTC jodavies github
63.15
28183205078 master ci: add stale issue workflow push 25 Jun 2026 04:12PM UTC tueda github
63.14
28129976670 master Fix few resource leaks, uninitialized vars, and error paths These small issues are reported by the cppcheck static analyzer; with these changes, cppcheck is happy. push 24 Jun 2026 09:26PM UTC jodavies github
63.14
28126855295 master release: prepare for 5.0.1 push 24 Jun 2026 08:25PM UTC jodavies github
63.14
27941151574 master test: add test option #require flint? for the test suite. push 22 Jun 2026 09:50AM UTC cbmarini github
63.16
27941111450 master doc(manual): refer to Sets section for sets push 22 Jun 2026 09:28AM UTC jodavies github
63.09
See All Builds (443)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc