J

JavaSMT

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 15, 2024 — Aug 15, 2025 Showing page 6 of 22 Search / Filter on:
CVC5: Remove old build dependencies for CVC5 from the Docker images	Daniel Raffler	More...				5 months ago
OpenSMT: Clean up all build files	Daniel Raffler	More...				5 months ago
OpenSMT: Revert the API patch when the build process for the libraries is aborted with an error	Daniel Raffler	More...				5 months ago
Include GMP for arm64-linux in the build container	Daniel Raffler	More...				5 months ago
OpenSMT: Enable proof support in the JNI bindings	Daniel Raffler	More...				5 months ago
CVC5: Use the official CVC5 binaries	Daniel Raffler	More...				5 months ago
CVC5: added test for methods that handle proofs in `CVC5NativeAPITest`	Gabriel Carpio	More...				5 months ago
fix documentation for CVC5 on Windows.	Karlheinz Friedberger	More...				5 months ago
simplify build-steps for compiling and publishing CVC5 via Ant.	Karlheinz Friedberger	More...				5 months ago
simplify Dockerfiles for development: do not hardcode versions.	Karlheinz Friedberger	More...				5 months ago
Merge remote-tracking branch 'origin/master' into 410-update-cvc5-to-version-120-or-newer	Karlheinz Friedberger	More...				5 months ago
AppVeyor: increase clone depth.	Karlheinz Friedberger	More...				5 months ago
Merge pull request #460 from sosy-lab/extend_mathsat_wrapper_for_proofs	Karlheinz Friedberger	More...				5 months ago
OptiMathSAT: update to compiled version in v1.7.3.	Karlheinz Friedberger	More...				5 months ago
MathSAT5: update to compiled version in v 5.6.11.	Karlheinz Friedberger	More...				5 months ago
MathSAT5: fix compilation warning.	Karlheinz Friedberger	More...				5 months ago
MathSAT5: remove redundant code documentation.	Karlheinz Friedberger	More...				5 months ago
Merge pull request #459 from sosy-lab/mathsat-support-integer-mod	Karlheinz Friedberger	More...				5 months ago
Merge branch 'trivial-distinct' into 'master'	Karlheinz Friedberger	More...				5 months ago
Merge pull request #464 from sosy-lab/empty-sum-z3	Karlheinz Friedberger	More...				5 months ago
Fix empty sums in Z3	Daniel Raffler	More...				5 months ago
Add special-case handling for distinct() with fewer than 2 arguments	Daniel Raffler	More...				5 months ago
Use IntegerFormulaManager in testSubTypes() so that the arguments don't get casted to Rational	Daniel Raffler	More...				5 months ago
Add explicit casts for integer arguments	Daniel Raffler	More...				5 months ago
CVC5: Update build documentation	Daniel Raffler	More...				5 months ago
Switch int return to bool return for boolean Mathsat5 5 native call in the wrapper	BaierD	More...				5 months ago
Revert "CVC5: Removed CVC5 from the blacklist in concurrent tests."	Daniel Raffler	More...				5 months ago
Add tests for division by zero	Daniel Raffler	More...				5 months ago
Add tests for mixed integer-real arithmetics	Daniel Raffler	More...				5 months ago
Add native test for Mathsat5 proof API	BaierD	More...				5 months ago

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