CVC4

Settings | Report Duplicate

1

I Use This!

High Activity

Commits : Listings

Analyzed about 21 hours ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 27, 2025 — Aug 27, 2026 Showing page 1 of 469 Search / Filter on:
Do not rely on dynamic behavior in cpc tester (#12880)	Andrew Reynolds	More...				3 days ago
Add proveEqualityWithRewriteSteps utility (#12655)	Andrew Reynolds	More...				4 days ago
Minor fixes to CPC (#12883)	Andrew Reynolds	More...				4 days ago
Make CaDiCaL the default SAT solver (#12701)	Andrew Reynolds	More...				4 days ago
Stop leftover portfolio workers after a successful solve (#12836)	Sebastien Tardif	More...				6 days ago
Update cpc tester to ensure we have a proof of false (#12879)	Andrew Reynolds	More...				7 days ago
bv abstract: Add regression test for issue #9874. (#12873)	Aina Niemetz	More...				8 days ago
Java API: Fix equals/hashCode contract violations (#12878)	Daniel Larraz	More...				8 days ago
Java API: Avoid truncating hash values in hashCode (#12874)	Pedro Saccomani	More...				8 days ago
Fix assertion failure in exponential monotonicity check (#12877)	Daniel Larraz	More...				8 days ago
Fix non-deterministic node ID assignments (#12876)	Daniel Larraz	More...				8 days ago
Do not fully normalize arithmetic equalities by default (#12833)	Andrew Reynolds	More...				9 days ago
Disable competition on regression (#12866)	Andrew Reynolds	More...				9 days ago
Remaining changes to CPC+Eunoia for Lean/Logos (#12840)	Andrew Reynolds	More...				9 days ago
PyPI: Use GH action to install Windows dependencies (#12847)	Daniel Larraz	More...				9 days ago
Fix non-deterministic node ID assignments (#12844)	Daniel Larraz	More...				9 days ago
Fixes for regression lists (#12846)	Andrew Reynolds	More...				10 days ago
bv abstract: Plug abstraction module into BVSolverBitblast. (#12789)	Aina Niemetz	More...				10 days ago
Miscellaneous changes in preparation for changing arithmetic equality rewriting. (#12843)	Andrew Reynolds	More...				10 days ago
license: Describe the GLPK dependency as the patched release cvc5 actually builds (#12862)	Andrew Teylu	More...				10 days ago
license: Fix the dangling GPL cross-references in INSTALL.rst (#12861)	Andrew Teylu	More...				10 days ago
license: Document the MPFR dependency in COPYING (#12860)	Andrew Teylu	More...				10 days ago
test: Add a per-test ctest timeout for unit tests (#12855)	Daniel Larraz	More...				10 days ago
test: Reduce MPFR cross-check test budget when slow tests are disabled (#12856)	Daniel Larraz	More...				10 days ago
ci: Install cross-compilation tools only when needed (#12853)	Daniel Larraz	More...				10 days ago
Temporarily disable apt-get update in CI (#12857)	Daniel Larraz	More...				10 days ago
news: MPFR is default FP constant-folding back end. (#12854)	Aina Niemetz	More...				10 days ago
Set up preprocess and extended rewrites for arithmetic equality (#12842)	Andrew Reynolds	More...				10 days ago
Bump Pythonic API version (#12845)	Daniel Larraz	More...				11 days ago
Do not use mixed arithmetic for to_real in proofs, CPC (#12824)	Andrew Reynolds	More...				11 days ago

←
1
2
3
4
5
6
7
8
9
…
468
469
→