• 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: SELECT
CHANGE BRANCH
x
  • No branch selected
  • 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
  • master
  • 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
  • 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
28852851726 dependabot/github_actions/dot-github/actions/setup-build/actions/cache-6 build(deps): bump actions/cache in /.github/actions/setup-build Bumps [actions/cache](https://github.com/actions/cache) from 5 to 6. - [Release notes](https://github.com/actions/cache/releases) - [Changelog](https://github.com/actions/cache/blob/... Pull #869 07 Jul 2026 11:12AM UTC web-flow github
63.15
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
28852856251 dependabot/github_actions/dot-github/actions/setup-build/awalsh128/cache-apt-pkgs-action-1.6.3 build(deps): bump awalsh128/cache-apt-pkgs-action Bumps [awalsh128/cache-apt-pkgs-action](https://github.com/awalsh128/cache-apt-pkgs-action) from 1.6.1 to 1.6.3. - [Release notes](https://github.com/awalsh128/cache-apt-pkgs-action/releases) - [C... Pull #870 07 Jul 2026 09:44AM UTC web-flow github
63.15
28852853864 dependabot/github_actions/dot-github/actions/setup-build/actions/cache-6 Merge 7b83669e6 into 131f33577 Pull #869 07 Jul 2026 09:20AM UTC web-flow github
63.15
28852788353 master ci: include composite actions in Dependabot updates push 07 Jul 2026 09:10AM UTC jodavies github
63.16
28846275233 pr/ci/update-dependabot-config Merge 8bddb1be4 into b34a0df7e Pull #868 07 Jul 2026 06:37AM UTC web-flow github
63.16
28843991299 pr/ci/flint-3.6.0 Merge 89dd59903 into b34a0df7e Pull #867 07 Jul 2026 05:42AM UTC web-flow github
63.16
28614516067 issue-856 Merge 208e7f770 into b34a0df7e Pull #865 02 Jul 2026 07:09PM UTC web-flow github
63.16
See All Builds (442)
  • 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