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 12, 2025 — Feb 12, 2026 Showing page 9 of 188 Search / Filter on:
Arrays: more tests on larger arrays.	Karlheinz Friedberger	More...				3 months ago
CVC5 Model: replace recursive STORE unfolding with simpler while-loop.	Karlheinz Friedberger	More...				3 months ago
Merge pull request #536 from leventeBajczi/z3-4.5.0	Baier D.	More...				3 months ago
CVC5 Model: simplify signatures	Karlheinz Friedberger	More...				3 months ago
CVC5 Model: simplify class by not catching CVCApiException to eagerly, but throw them until a common method.	Karlheinz Friedberger	More...				3 months ago
CVC5 Model: simplify class by replacing one (of several) recursive methods.	Karlheinz Friedberger	More...				3 months ago
CVC5 Model: simplify class by avoiding unneeded field.	Karlheinz Friedberger	More...				3 months ago
Merge pull request #514 from sosy-lab/use_solver_native_bv_to_ieee-fp_CVC4_CVC5	Baier D.	More...				3 months ago
FP: improve error message and add test for it.	Karlheinz Friedberger	More...				3 months ago
Merge remote-tracking branch 'origin/master' into use_solver_native_bv_to_ieee-fp_CVC4_CVC5	Karlheinz Friedberger	More...				3 months ago
Merge pull request #508 from sosy-lab/roundingMode	Karlheinz Friedberger	More...				3 months ago
fix CI warnings.	Karlheinz Friedberger	More...				3 months ago
fix CI warnings.	Karlheinz Friedberger	More...				3 months ago
make API backward-compatible.	Karlheinz Friedberger	More...				3 months ago
extend API with method for retrieving RoundingMode from the corresponding formula.	Karlheinz Friedberger	More...				3 months ago
Merge remote-tracking branch 'origin/master' into roundingMode	Karlheinz Friedberger	More...				3 months ago
CVC5 parser: make JavaDoc of parser creation more descriptive	BaierD	More...				3 months ago
CVC5 parser: add more doc for options used	BaierD	More...				3 months ago
Merge pull request #506 from sosy-lab/update_z3-4.15.3	Karlheinz Friedberger	More...				3 months ago
Merge remote-tracking branch 'origin/master' into update_z3-4.15.3	Karlheinz Friedberger	More...				3 months ago
Merge pull request #544 from sosy-lab/503-update-mathsat-5-6-12	Karlheinz Friedberger	More...				3 months ago
Merge remote-tracking branch 'origin/master' into update_z3-4.15.3	Karlheinz Friedberger	More...				3 months ago
MathSAT5: update Readme.	Karlheinz Friedberger	More...				3 months ago
Z3: update solver Z3 to v4.15.4	Karlheinz Friedberger	More...				3 months ago
Uniformly use sign + mantissa + significand wo hidden bit for precision documentations for FPs + some cleanup	BaierD	More...				3 months ago
MathSAT5: replace MPIR with GMP.	Karlheinz Friedberger	More...				3 months ago
MathSAT5: update MathSAT5 to v5.6.12., which comes with updated dependencies:	Karlheinz Friedberger	More...				3 months ago
Docker/Podman: add scripts for building Ubuntu24-based development image.	Karlheinz Friedberger	More...				4 months ago
nullable -> optional	Levente Bajczi	More...				4 months ago
Z3_4_5_0 in enum	Levente Bajczi	More...				4 months ago

←
1
2
…
5
6
7
8
9
10
11
12
13
…
187
188
→