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
Aug 12, 2024 — Aug 12, 2025 Showing page 1 of 22 Search / Filter on:
Merge pull request #502 from sosy-lab/490-opensmt2-evaluate-simplification-of-interpolants	Karlheinz Friedberger	More...				11 days ago
update year in copyright notice of newer files.	Karlheinz Friedberger	More...				11 days ago
add more documentation about OpenSMT options.	Karlheinz Friedberger	More...				11 days ago
Merge pull request #499 from sosy-lab/cvc5/update_2025-07-24	Karlheinz Friedberger	More...				14 days ago
update CVC5 to latest version from 2025-07-29	Karlheinz Friedberger	More...				14 days ago
Merge pull request #500 from sosy-lab/bitwuzla/update-to-0.8.1	Karlheinz Friedberger	More...				15 days ago
Bitwuzla: update from version 0.8.0 to 0.8.1	Karlheinz Friedberger	More...				16 days ago
Bitwuzla: update from version 0.7.0 to 0.8.0	Karlheinz Friedberger	More...				16 days ago
Bitwuzla: add option AIGER into configuration	Karlheinz Friedberger	More...				16 days ago
ALLSAT computation: add detection of invalid model iteration during our ALLSAT loop.	Karlheinz Friedberger	More...				17 days ago
update CVC5 to latest version from 2025-07-24	Karlheinz Friedberger	More...				17 days ago
Merge pull request #497 from sosy-lab/z3/version-update-from-4.14.0	Karlheinz Friedberger	More...				17 days ago
fix tests for BV-rotation	Karlheinz Friedberger	More...				17 days ago
code style: JavaSMT is not yet ready for the latest Java features.	Karlheinz Friedberger	More...				17 days ago
BitvectorFormulaManager: improve slow rotation test.	Karlheinz Friedberger	More...				17 days ago
BitvectorFormulaManager: fix ROL/ROR for cases, where rotation is done by bitsize^2-1.	Karlheinz Friedberger	More...				17 days ago
Z3: update from version 4.15.1 to 4.15.2	Karlheinz Friedberger	More...				17 days ago
Z3: update from version 4.15.0 to 4.15.1	Karlheinz Friedberger	More...				17 days ago
Z3: update from version 4.14.1 to 4.15.0	Karlheinz Friedberger	More...				17 days ago
Z3: update from version 4.14.0. to 4.14.1	Karlheinz Friedberger	More...				17 days ago
OpenSMT: Add missing package-info file	Daniel Raffler	More...				17 days ago
OpenSMT: Limit the range for the new option to 0-4	Daniel Raffler	More...				17 days ago
OpenSMT: Use enums for the options that select an interpolation algorithm	Daniel Raffler	More...				17 days ago
OpenSMT: Improve description of the new option, as suggested by @kfriedberger	Daniel Raffler	More...				17 days ago
Merge pull request #431 from sosy-lab/412-inconsistent-handling-of-unicode-characters-in-string-theory	Karlheinz Friedberger	More...				18 days ago
StringFormulaManager: improve tests	Karlheinz Friedberger	More...				18 days ago
Merge pull request #491 from sosy-lab/feat/cleanup-bound-vars	Karlheinz Friedberger	More...				18 days ago
Merge remote-tracking branch 'origin/master' into 412-inconsistent-handling-of-unicode-characters-in-string-theory	Daniel Raffler	More...				21 days ago
Boolector: remove deprecated and unused method for formula visitor.	Karlheinz Friedberger	More...				26 days ago
Princess: fix usage of static methods from Scala.	Karlheinz Friedberger	More...				about 1 month ago

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