J

JavaSMT

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Feb 25, 2025 — Feb 25, 2026 Showing page 5 of 188 Search / Filter on:
CVC5: split-off CVC5Parser into its own class	Karlheinz Friedberger	More...				about 2 months ago
CVC5: restructuring code for simplification and readability.	Karlheinz Friedberger	More...				about 2 months ago
CVC5: restructuring code for simplification and readability.	Karlheinz Friedberger	More...				about 2 months ago
CVC5: restructuring code for simplification and readability.	Karlheinz Friedberger	More...				about 2 months ago
CVC5: remove unused field	Karlheinz Friedberger	More...				about 2 months ago
CVC5: simplify dumping of declarations.	Karlheinz Friedberger	More...				about 2 months ago
Allow 'define-const' in the tokenizer	Daniel Raffler	More...				about 2 months ago
Reduce exponent size in a fp test to 50 bits	Daniel Raffler	More...				about 2 months ago
Bitwuzla: Update JNI bindings	Daniel Raffler	More...				about 2 months ago
Include MPFR 4.2.1 and GMP 6.3.0 in the build images	Daniel Raffler	More...				about 2 months ago
Remove generated code, docs and test files when `ant clean` is called (#568)	daniel-raffler	More...				about 2 months ago
Merge pull request #569 from sosy-lab/interpolationChecks	daniel-raffler	More...				about 2 months ago
Merge pull request #571 from sosy-lab/538-yices-model-improvements	Karlheinz Friedberger	More...				about 2 months ago
Model tests: improve documentation of failing tests.	Karlheinz Friedberger	More...				about 2 months ago
Yices: simplify model logic	Karlheinz Friedberger	More...				about 2 months ago
Fix CI	Daniel Raffler	More...				2 months ago
Add generic checks to AbstractProver to make sure the solver is in the right state before interpolants are calculated	Daniel Raffler	More...				2 months ago
Test error handling if interpolation is used, but the problem is SAT or (check-sat) was never called	Daniel Raffler	More...				2 months ago
Merge pull request #567 from sosy-lab/538-z3-model-improvements	Karlheinz Friedberger	More...				2 months ago
fix Refaster complaint.	Karlheinz Friedberger	More...				2 months ago
LegacyZ3: apply latest fixes from upstream model implementation.	Karlheinz Friedberger	More...				2 months ago
Z3: simplify and improve bindings for mdoel generation.	Karlheinz Friedberger	More...				2 months ago
Add annotation for Nullable.	Karlheinz Friedberger	More...				2 months ago
Merge pull request #566 from sosy-lab/520-add-support-for-arrays-with-multiple-indices-in-the-princess-model-2	Karlheinz Friedberger	More...				2 months ago
Enable more tests for model evaluation, mainly for Princess, but also for other solvers.	Karlheinz Friedberger	More...				2 months ago
Princess: improve and simplify model-evaluation for arrays.	Karlheinz Friedberger	More...				2 months ago
Merge pull request #528 from sosy-lab/princessPartialModel	Karlheinz Friedberger	More...				2 months ago
fix: remove unused import	Karlheinz Friedberger	More...				2 months ago
Merge remote-tracking branch 'origin/master' into princessPartialModel	Karlheinz Friedberger	More...				2 months ago
Merge pull request #564 from sosy-lab/example/fix-solver-table-format	Karlheinz Friedberger	More...				2 months ago

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