J

JavaSMT

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 13 hours ago. based on code collected about 13 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 13, 2024 — Aug 13, 2025 Showing page 3 of 22 Search / Filter on:
Merge pull request #479 from sosy-lab/opensmt-proofs	Karlheinz Friedberger	More...				4 months ago
OpenSMT: Update build documentation for publishing v2.9.0 of OpenSMT with the new Docker image.	Karlheinz Friedberger	More...				4 months ago
Docker: set some labels for our development images.	Karlheinz Friedberger	More...				4 months ago
Docker: update start-script to work in more places.	Karlheinz Friedberger	More...				4 months ago
Docker: include JDK for Linux arm64 in image.	Karlheinz Friedberger	More...				4 months ago
CVC5: Simplify CVC5SolverContext.getVersion	Daniel Raffler	More...				4 months ago
CVC5: Add a comment about the crashes in TimeoutTest	Daniel Raffler	More...				4 months ago
Merge pull request #478 from sosy-lab/update_maintainers_and_contributors	Karlheinz Friedberger	More...				4 months ago
improve documentation	Karlheinz Friedberger	More...				4 months ago
cleanup former maintainers.	Karlheinz Friedberger	More...				4 months ago
CVC5: Fix two native tests that depend on specific toString() outputs	Daniel Raffler	More...				4 months ago
CVC5: Update debug mode tests	Daniel Raffler	More...				4 months ago
CVC5: Fix the closing sequence when destroying a CVC5 SolverContext	Daniel Raffler	More...				4 months ago
CVC5: Reenable concurrency tests	Daniel Raffler	More...				4 months ago
CVC5: Update to daily release 2025-04-24-39b3bbc	Daniel Raffler	More...				4 months ago
OpenSMT: Update release instructions	Daniel Raffler	More...				4 months ago
OpenSMT: Update OpenSMT to 2.9.0	Daniel Raffler	More...				4 months ago
Update contributor name	BaierD	More...				4 months ago
Update maintainers and add some contributors	BaierD	More...				4 months ago
Merge pull request #466 from sosy-lab/461-z3-fails-when-given-mixed-integer-real-arguments-for-division	Karlheinz Friedberger	More...				4 months ago
fix typo, ... to trigger broken CI again	Karlheinz Friedberger	More...				4 months ago
CVC5: fix Int/Rational conversion for mixed theories.	Karlheinz Friedberger	More...				4 months ago
fix typo	Karlheinz Friedberger	More...				4 months ago
Merge remote-tracking branch 'origin/master' into 461-z3-fails-when-given-mixed-integer-real-arguments-for-division	Karlheinz Friedberger	More...				4 months ago
Merge pull request #447 from sosy-lab/fix_yices2_quantifier	Karlheinz Friedberger	More...				4 months ago
Remove irrelevant casting methods that return only a BooleanFormula and do not depend on RationalFormula.	Karlheinz Friedberger	More...				4 months ago
more tests on Integer and Rational numbers.	Karlheinz Friedberger	More...				4 months ago
Z3: fix memory management	Karlheinz Friedberger	More...				4 months ago
Yices2 and Z3: fix array initialization	Karlheinz Friedberger	More...				4 months ago
Yices2 and Z3: provide a clean body for formula-visitor.	Karlheinz Friedberger	More...				4 months ago

←
1
2
3
4
5
6
7
8
9
…
21
22
→