J

JavaSMT

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Feb 06, 2025 — Feb 06, 2026 Showing page 6 of 188 Search / Filter on:
Merge pull request #549 from sosy-lab/z3_legacy	Karlheinz Friedberger	More...				about 2 months ago
Merge pull request #559 from sosy-lab/genericEquality	Karlheinz Friedberger	More...				about 2 months ago
fix Checkstyle/Refaster warning.	Karlheinz Friedberger	More...				about 2 months ago
Equal and Distinct in the API: extend List-only to Collection in the API, and also allow zero or one argument.	Karlheinz Friedberger	More...				about 2 months ago
Yices: Add support for `distinct` in the visitor	Daniel Raffler	More...				about 2 months ago
Add more tests for mgr.equal and mgr.distinct	Daniel Raffler	More...				about 2 months ago
Add generic equality and distinct to the API	Daniel Raffler	More...				about 2 months ago
LegacyZ3: disable FLOOR for Rational theory in tests.	Karlheinz Friedberger	More...				about 2 months ago
LegacyZ3: make solvers enum-name version-independent.	Karlheinz Friedberger	More...				about 2 months ago
LegacyZ3: support Linux with ARM64 architecture.	Karlheinz Friedberger	More...				about 2 months ago
LegacyZ3: remove unneded rpath ORIGIN from library	Karlheinz Friedberger	More...				about 2 months ago
Merge pull request #557 from sosy-lab/556-incorporate-newly-published-mathsat5-version-5615	Karlheinz Friedberger	More...				2 months ago
MathSAT: update to v5.6.15	Karlheinz Friedberger	More...				2 months ago
LegacyZ3: update documentation	Karlheinz Friedberger	More...				2 months ago
LegacyZ3: disable most parser tests for LegacyZ3.	Karlheinz Friedberger	More...				2 months ago
LegacyZ3: disable most parser tests for LegacyZ3.	Karlheinz Friedberger	More...				2 months ago
LegacyZ3: disable tests for ARM64.	Karlheinz Friedberger	More...				2 months ago
LegacyZ3: improve interpolation behaviour and disable some related test.	Karlheinz Friedberger	More...				2 months ago
LegacyZ3: update to newly compiled dev1-version	Karlheinz Friedberger	More...				2 months ago
Z3Legacy: update patch-file to also include the JavaSMT-specific option for not loading native libraries, and update rpath.	Karlheinz Friedberger	More...				2 months ago
Z3Legacy: update bindings or disable tests that are not satisfied by LegacyZ3.	Karlheinz Friedberger	More...				2 months ago
Merge remote-tracking branch 'origin/master' into z3_legacy	Karlheinz Friedberger	More...				2 months ago
LegacyZ3: replace Optional by Nullable.	Karlheinz Friedberger	More...				2 months ago
Merge pull request #555 from sosy-lab/547-sigsegvs-in-mathsat5-when-requesting-models	Karlheinz Friedberger	More...				2 months ago
MathSAT: improve version number by replacing certain hash-based versions with a proper version string.	Karlheinz Friedberger	More...				2 months ago
MathSAT: update to version 5.6.14	Karlheinz Friedberger	More...				2 months ago
Enable some interpolation tests again that were disabled for LegacyZ3.	Karlheinz Friedberger	More...				2 months ago
LegacyZ3: fix compiler warning	Karlheinz Friedberger	More...				2 months ago
LegacyZ3: add symlinks for dependencies on Linux	Karlheinz Friedberger	More...				2 months ago
LegacyZ3: add license-info for patch-file and documentation.	Karlheinz Friedberger	More...				2 months ago

←
1
2
3
4
5
6
7
8
9
10
…
187
188
→