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

form-dev / form
54%

Build:
DEFAULT BRANCH: master
Repo Added 05 Jun 2025 10:19AM UTC
Files 70
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
  • backtrace
  • badges
  • chainin-symm
  • ci-setup-build-action
  • ci-windows-2022
  • ci/build-arm64-windows
  • ci/deploy-enable-flint
  • cmp-counter
  • comp-native
  • endsort-leak
  • evaluate-fun
  • factarg-vec
  • findloop-replaceloop
  • fix-649
  • fix-endsort
  • fix-issue-646
  • fix-issue-695
  • flint-cleanup
  • flint-reserve
  • flintv2
  • float-tests
  • formlib
  • humanstats
  • humanstats-test
  • inside-dollar
  • intohide
  • make-dollar-warning-default
  • polynomial-tests
  • pr/flint-version-check
  • putfirst-neg
  • repeat-sum
  • series-tst
  • stdint
  • test-color
  • test-coverage-fixes
  • test-extra-cov-fix
  • timeout
  • timeout-fix
  • transform-noargs
  • void

05 Sep 2025 12:39PM UTC coverage: 53.718% (+0.02%) from 53.7%
17493402962

push

github

jodavies
flint: reserve vector capacity to reduce allocations

We mostly know the required vector size for the expression pointers. Reserve
their size to avoid unnecessary allocations.

I don't measure a performance improvement from this, but it is good practice.

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

1 existing line in 1 file now uncovered.

44674 of 83164 relevant lines covered (53.72%)

2235758.56 hits per line

Relevant lines Covered
Build:
Build:
83164 RELEVANT LINES 44674 COVERED LINES
2235758.56 HITS PER LINE
Source Files on master
  • Tree
  • List 70
  • 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
17493402962 master flint: reserve vector capacity to reduce allocations We mostly know the required vector size for the expression pointers. Reserve their size to avoid unnecessary allocations. I don't measure a performance improvement from this, but it is good pr... push 05 Sep 2025 12:42PM UTC jodavies github
53.72
17488665070 master readme: fix coveralls badge Also update the URL for the GitHub Actions badge. push 05 Sep 2025 09:02AM UTC jodavies github
53.7
17320174462 master feat: #startfloat and Format floatprecision syntax - #StartFloat <precision>(b/d), MZV = <weight>, with precision either in bits (b) or digits (d). - Format floatprecision <precision>(b/d). fix: PrintFloat - PrintFloat returns correct number of c... push 29 Aug 2025 09:33AM UTC cbmarini github
53.7
17319517069 master test: add float example from the Madrid workshop push 29 Aug 2025 09:04AM UTC jodavies github
53.65
17135780053 master perf: tform: remove default-enabled compare count For scripts which are dominated by level-0 sorting, counting the compares (and not even printing the result) leads to a large performance impact. Disable the counting by default. The per-thread ... push 21 Aug 2025 06:37PM UTC jodavies github
53.44
16970525903 master fix: many small bug fixes related to the evaluation of the floating point functions. In particular: - this resolves #646 - this resolves #683 test: added a test for the evaluation of every float function. push 14 Aug 2025 04:11PM UTC cbmarini github
53.44
16969834499 master fix: resolves #646 for euler sums without arguments. push 14 Aug 2025 03:43PM UTC cbmarini github
52.87
16800283938 master Simplify 32-bit detection using stdint.h push 07 Aug 2025 09:17AM UTC jodavies github
52.87
16779512407 master test: update test with dollar-var moduleoption Avoid the now-default parallel veto warning in test 615. push 06 Aug 2025 02:18PM UTC jodavies github
52.85
16300918052 master fix: this resolves #695. push 15 Jul 2025 06:11PM UTC cbmarini github
52.79
See All Builds (136)
  • 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

© 2025 Coveralls, Inc