J

JavaSMT

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Feb 06, 2025 — Feb 06, 2026 Showing page 10 of 188 Search / Filter on:
CVC5 Parser: switch parser tests for CVC5 into lenient category that allows symbols to be parsed multiple times	BaierD	More...				3 months ago
Bitwuzla: Print a more descriptive error message when we can't parse an array value for the model	Daniel Raffler	More...				3 months ago
CVC5 Parser: remove unneeded check for push/pop and add a note instead	BaierD	More...				3 months ago
CVC5 Parser: improve named term TODO w infos from Daniel Raffler	BaierD	More...				3 months ago
CVC5 Parser: don't use replace(), but substring() to remove newline from internal output before adding to the input	BaierD	More...				3 months ago
Merge branch 'master' into fix_floating-point_mantissa_not_including_sign_bit	BaierD	More...				3 months ago
Merge pull request #542 from sosy-lab/add_mathsat5_extended_parsing	Baier D.	More...				3 months ago
Improve JavaDoc for FP precision total size and fix typos	BaierD	More...				3 months ago
Add options for MathSAT5 to use the extended SMTLIB2 dump with and without let-expressions and extend the dump with it	BaierD	More...				3 months ago
Merge pull request #535 from sosy-lab/fix_Z3_bound_variable_substitution	Baier D.	More...				3 months ago
Require array model generation for the tests	Daniel Raffler	More...				3 months ago
Fix CI	Daniel Raffler	More...				3 months ago
Simplify usage of stream in CVC5FormulaManager.java	BaierD	More...				3 months ago
Use (_.getKey(), _.getValue()) when building new map instead of the entry as checkstyle thinks WRONGLY that we use only the keys	BaierD	More...				3 months ago
CVC5 parser: add to more strict test branch in SolverFormulaIODeclarationsTest.java	BaierD	More...				3 months ago
CVC5 parser: also check for present declarations present with declare-const before adding them to the input if known already	BaierD	More...				3 months ago
CVC5 parser: remove allowed invoke error msg, as it fails later (variables and UFs are not allowed to be defined twice)	BaierD	More...				3 months ago
CVC5: refactor parsing to be more readable and understandable	BaierD	More...				3 months ago
CVC5: move newly added set of internal UF names and add doc	BaierD	More...				3 months ago
CVC5: add CVC5 to more strict test category for parsing test	BaierD	More...				3 months ago
CVC5 parser: only add declarations from the cache if they are really needed (UFs fail for double declaration, variables actually work) and only declare UFs once, even if used multiple times, when dumping	BaierD	More...				3 months ago
CVC5: allow parsing to skip double declarations and add constants to check this error + improve dumping by properly using function return and input types for our smtlib2 output	BaierD	More...				3 months ago
CVC5: add creator method to get all cached variables and UFs	BaierD	More...				3 months ago
Removed UF test again	Daniel Raffler	More...				3 months ago
CVC5 dump: refactor collecting and transformation of variables and UFs to SMTLIB2	BaierD	More...				3 months ago
CVC5 parser: properly track number of actually parsed assertions + re-substitute function-definitions that are added as assertions into the assertion	BaierD	More...				3 months ago
Apply error-prone patch	Daniel Raffler	More...				3 months ago
Add tests for 3d arrays with a single stored value	Daniel Raffler	More...				3 months ago
CVC5 parser: disallow multiple sorts for the same term name	BaierD	More...				3 months ago
CVC5 parser: catch CVC5ParseExeception and rethrow as IllegalArgumentException instead	BaierD	More...				3 months ago

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