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

form-dev / form / 15733137437

Builds Branch Commit Type Ran Committer Via Coverage
15733137437 master fix: putfirst_ for un-equally sized args Store a pointer to the argument which trails the selected one. The pointer to the selected argument can not be advanced, as it is written over if the terms are different sizes (which accidentally worked pr... push 18 Jun 2025 01:04PM UTC jodavies github
50.47
15733112413 master fix: check function symmetry properties after ChainIn The result of a ChainIn might vanish due to a repeated argument in an antisymmetric function, for eg. Normalize the output of ChainIn to check this. push 18 Jun 2025 12:50PM UTC jodavies github
50.47
15733093904 master Cleanup: change VOID into void push 18 Jun 2025 12:43PM UTC jodavies github
50.4
15732656416 master fix(flint): resolve WORD macro conflict on Windows push 18 Jun 2025 12:21PM UTC jodavies github
50.41
15728281779 test-coverage-fixes Merge 6f794dca3 into 6abc477a2 Pull #667 18 Jun 2025 08:50AM UTC web-flow github
50.42
15704941260 master fix: memory leak in InsideDollar Working inside dollar variables leaked memory, specifically when the dollar variable is 0. push 17 Jun 2025 10:37AM UTC jodavies github
50.4
15701338753 void Merge f1f68c050 into 207386593 Pull #662 17 Jun 2025 07:51AM UTC web-flow github
50.38
15692301851 factarg-vec Merge d0f981753 into 207386593 Pull #661 16 Jun 2025 09:26PM UTC web-flow github
50.44
15691726985 findloop-replaceloop Merge 477a84e79 into 207386593 Pull #660 16 Jun 2025 08:56PM UTC web-flow github
50.38
15685388480 putfirst-neg Merge 46519053f into 207386593 Pull #658 16 Jun 2025 03:42PM UTC web-flow github
50.41
15682417083 chainin-symm Merge 95f673331 into 207386593 Pull #657 16 Jun 2025 01:39PM UTC web-flow github
50.47
15677296947 make-dollar-warning-default Merge a5fe32332 into 207386593 Pull #649 16 Jun 2025 09:42AM UTC web-flow github
50.45
15676169172 inside-dollar Merge c2c969ddb into 207386593 Pull #652 16 Jun 2025 08:48AM UTC web-flow github
50.4
15674035445 ci/deploy-enable-flint Merge 0cfc36380 into 207386593 Pull #654 16 Jun 2025 07:01AM UTC web-flow github
50.39
15673592411 ci/deploy-enable-flint Merge 61213a938 into 207386593 Pull #654 16 Jun 2025 06:35AM UTC web-flow github
50.39
  • ← Previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • Next →
  • Back to Repo
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