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

tueda / form
63%

Build:
DEFAULT BRANCH: master
Repo Added 15 Dec 2016 12:03AM 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
  • 4.3-ci-build-arm64-linux-wip1
  • 4.3-doxygen-tarball
  • 4.3-typo
  • Herren_tablebase_readonly
  • appveyor
  • ask-copilot-wip1
  • backtrace-1
  • bigint
  • build/fix-coverage-flags
  • build/init-zstd-on-demand
  • check-pad-wip1
  • check-stat-before-summary
  • check_on_windows
  • check_rb
  • check_rb-detect-form-wordsize
  • check_rb-stat-before-summary
  • chore/setup-dependabot
  • chore/update-cache-apt-pkgs-action
  • ci-build-arm64-linux
  • ci-build-arm64-linux-wip1
  • ci-bump-macos
  • ci-cache
  • ci-dev-update
  • ci-fix-flag-name
  • ci-fix-macos
  • ci-fix-macos-wip1
  • ci-forcer
  • ci-gcc-14-on-mac-wip1
  • ci-i386
  • ci-latest-osx
  • ci-m1mac
  • ci-macos-15-intel
  • ci-msvc
  • ci-msvc-2
  • ci-remove-parvorm
  • ci-setup-build-action
  • ci-setup-build-action-wip
  • ci-setup-build-action-wip1
  • ci-setup-build-action-wip10
  • ci-setup-build-action-wip11
  • ci-setup-build-action-wip12
  • ci-setup-build-action-wip13
  • ci-setup-build-action-wip14
  • ci-setup-build-action-wip2
  • ci-setup-build-action-wip4
  • ci-setup-build-action-wip5
  • ci-setup-build-action-wip6
  • ci-setup-build-action-wip7
  • ci-skip-moebius_3
  • ci-windows-packaging
  • ci/build-arm64-windows
  • ci/build-arm64-windows-wip2
  • ci/crossref-png-error-message-wip1
  • ci/deploy-enable-flint
  • ci/flint-3.6.0
  • ci/test-dependabot
  • ci/total-memory
  • ci/ubuntu-24.04
  • ci/ubuntu-24.04-wip1
  • ci/update-flint-3.4.0
  • coveralls
  • cpp11-move
  • dependabot/github_actions/actions/checkout-6.0.3
  • dependabot/github_actions/actions/checkout-7
  • dependabot/github_actions/actions/download-artifact-6
  • dependabot/github_actions/actions/download-artifact-7
  • dependabot/github_actions/actions/upload-artifact-5
  • dependabot/github_actions/actions/upload-artifact-6
  • dependabot/github_actions/dot-github/actions/setup-build/actions/cache-5
  • dependabot/github_actions/dot-github/actions/setup-build/actions/cache-5.0.5
  • 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
  • dependabot/github_actions/dot-github/actions/setup-build/awalsh128/cache-apt-pkgs-action-acb598e5ddbc6f68a970c5da0688d2f3a9f04d05
  • deploy
  • deploy-macos-mpfr
  • detect-form-wordsize
  • dev
  • dev-check
  • dev-gperftools
  • dev1
  • develop
  • diagrams-20250717-wip1
  • disable-test-diagrams
  • docs/improve-diagrams
  • docs/more-comments-wip1
  • err_testsuite
  • fast-ci
  • feat-latex2html
  • feat-latex2html-permalink
  • feat-zstd
  • feat-zstd-1
  • feat-zstd-2
  • feat-zstd-3
  • feat-zstd-wip1
  • feat-zstd-wip3
  • feat-zstd-wip4
  • feat/allow-dollar-moduleoption-anywhere-wip1
  • feat/allow-dollar-moduleoption-anywhere-wip2
  • feat/allow-dollar-moduleoption-anywhere-wip3
  • feat/allow-dollar-moduleoption-anywhere-wip5
  • feat/allow-dollar-moduleoption-anywhere-wip6
  • feat/allow-dollar-moduleoption-anywhere-wip7
  • feat/continuedo_num
  • feat/diagrams-wip
  • feat/diagrams-wip1
  • feat/enhanced-cherk-rb
  • feat/print-feature-list-wip2
  • feat/show-feature-list-wip1
  • feat/warn-inconsistent-dollar-moduleoptions-wip1
  • fix
  • fix-438
  • fix-440
  • fix-490
  • fix-525
  • fix-ci
  • fix-ci-latex2html
  • fix-ci-mpi
  • fix-conj-freeze
  • fix-cov
  • fix-cov2
  • fix-cov3
  • fix-diagram-wip1
  • fix-diagram-wip2
  • fix-doc
  • fix-doc-improper-syntax-in-diagrams
  • fix-doc-inparallel
  • fix-doxygen
  • fix-examples-in-readme
  • fix-extcmd-selftest
  • fix-forcer-cache
  • fix-gcc-warnings
  • fix-git-version-gen-date
  • fix-latex2html
  • fix-mul
  • fix-not-repo-build
  • fix-readme-f_is_not_e
  • fix-sanitizer
  • fix-test-forgotten-multithreaded
  • fix-timeoutafter
  • fix-topologies
  • fix-typo
  • fix-windows
  • fix/445
  • fix/445-wip1
  • fix/ci/aptcache-wip1
  • fix/moebius-32bit
  • fix/parform-runtime-terminate-wip1
  • fix/parform-runtime-terminate-wip3
  • fix/parform-runtime-terminate-wip4
  • fix/parform-runtime-terminate-wip4b
  • fix/parform-runtime-terminate-wip5
  • fix/parform-runtime-terminate-wip6
  • fix/parform-runtime-terminate-wip7
  • fix_exit-20200717
  • fllor_master
  • gcc-warnings
  • gettimeofday
  • github-actions-10
  • github-actions-12
  • github-actions-13
  • github-actions-14
  • github-actions-2
  • github-actions-6
  • github-actions-7
  • github-actions-8
  • github-actions-9
  • github-actions-doc
  • github-actions-macos
  • github-actions-macos-test
  • github-actions-macos-test2
  • github-actions-parform-2
  • improve-form5
  • improve-form5-2
  • improve-form5-3
  • improve-get_variables
  • improve-test-suite-wip1
  • improve-test-suite-wip2
  • improve-test-suite-wip4
  • improve-test-suite-wip7
  • jodavies-check-hyperform
  • jodavies-flint-cleanup-deploy
  • jodavies-preproc-subsubversion-wip1
  • jodavies-test-color
  • jodavies_issue-508_rebased
  • loosedecl
  • master
  • mreininghaus-ftime-clock_gettime
  • package-manager
  • package-manager-dev
  • package-manager-v1
  • package-manager-v2
  • package-manager-v3
  • pedantic
  • pr-fix-topologies-1
  • pr-improve-test-suite-1
  • 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.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-445
  • 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
  • refactor-heap
  • refactor/remove-kr1-wip1
  • refs/tags/v4.3.1
  • refs/tags/v9.9.12
  • remove-travis
  • runtime-deprecation-warning
  • setup-lint-1
  • stdin
  • stdin-appveyor
  • stdin_20180423
  • test-20200718
  • test-20200718v2
  • test-20200810
  • test-20200811
  • test-260
  • test-470
  • test-check-more-pretty
  • test-check-on-windows
  • test-check-on-windows-1
  • test-check-on-windows-2
  • test-check-on-windows-3
  • test-check-on-windows-debug-1
  • test-check-on-windows-wip1
  • test-checkpoint
  • test-checkpoint-2
  • test-checkpoint-3
  • test-color-1
  • test-diagrams
  • test-expected-message
  • test-expected-message-improved
  • test-extra_args
  • test-fake-valgrind
  • test-fix-forcer-cache
  • test-github-actions-windows
  • test-include
  • test-msvc-1
  • test-msvc-2
  • test-pre-commit-wip1
  • test-qgraf
  • test-ulimit
  • test-w2
  • test-w2-1
  • test-windows-3
  • test-windows-4
  • test-windows-6
  • test-windows-7
  • test/diagram-comparison
  • test/diagram-comparison-wip4
  • test/diagram-comparison-wip6
  • test/diagram-comparison-wip7
  • test/diagram-comparison-wip7-cov
  • test/diagram-comparison-wip8
  • test/moebius_3
  • test/total_physical_memory-wip1
  • test/triple-dot-operator
  • test211
  • test211b
  • test258
  • test43
  • tests-20200717
  • tests-20200729
  • tmp4
  • v4.2.1
  • v4.2.1-rc1
  • v5.0.0
  • v9.9.9-dev.2
  • v9.9.9-dev.3
  • v99.98.97
  • v99.99.1
  • v99.99.100
  • v99.99.2
  • v99.99.99
  • v99.99.99-dev.1

07 Jul 2026 08:46AM UTC coverage: 63.186% (+0.04%) from 63.151%
28859272471

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%)

1064 existing lines in 6 files now uncovered.

52341 of 82836 relevant lines covered (63.19%)

10526607.69 hits per line

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

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
28859272471 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 10:35AM UTC jodavies github
63.19
28846096946 pr/ci/update-dependabot-config ci: include composite actions in Dependabot updates push 07 Jul 2026 06:37AM UTC tueda github
63.15
28845822541 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 #15 07 Jul 2026 06:22AM UTC web-flow github
63.15
28843804131 pr/ci/flint-3.6.0 ci: update FLINT to 3.6.0 push 07 Jul 2026 05:38AM UTC tueda github
63.15
28833211988 ci/flint-3.6.0 ci: update FLINT to 3.6.0 push 07 Jul 2026 12:50AM UTC tueda github
63.15
28662897253 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 #12 03 Jul 2026 01:27PM UTC web-flow github
63.16
28182220822 pr/ci/stale-workflow ci: add stale issue workflow push 25 Jun 2026 03:46PM UTC tueda github
63.14
28134523839 pr/ci/stale-workflow ci: add stale issue workflow push 24 Jun 2026 11:11PM UTC tueda github
63.14
28134053400 pr/ci/stale-workflow ci: add stale issue workflow push 24 Jun 2026 10:44PM UTC tueda github
63.16
28132932081 ci/test-dependabot ci: [test] update dependabot configuration push 24 Jun 2026 10:15PM UTC tueda github
63.15
See All Builds (841)
  • 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