S

SMTInterpol

Settings | Report Duplicate

0

I Use This!

Very Low 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
Jul 22, 2024 — Jul 22, 2025 Showing page 28 of 62 Search / Filter on:
BugFix: removeReverseTrigger needs to support find	Jochen Hoenicke	More...				almost 6 years ago
More bug fixes in QuantifierTheory	Tanja Schindler	More...				almost 6 years ago
Bug fixes in QuantifierTheory	Jochen Hoenicke	More...				almost 6 years ago
Optimized GetUpperBound	Jochen Hoenicke	More...				almost 6 years ago
Optimize setLiteral	Jochen Hoenicke	More...				almost 6 years ago
Some changes in the use of InstanceValue.UNKNOWN_TERM.	Tanja Schindler	More...				almost 6 years ago
Check if a clause dawg is constantly true more efficient.	Tanja Schindler	More...				almost 6 years ago
More deterministic	Tanja Schindler	More...				almost 6 years ago
More deterministic	Jochen Hoenicke	More...				almost 6 years ago
Add solver options for E-Matching and InstanceValues for literal dawgs.	Tanja Schindler	More...				almost 6 years ago
Recompute interesting substitution terms in QuantClause.	Tanja Schindler	More...				almost 6 years ago
Fix bug in SimpleList.undoPrependIntoJoined	Jochen Hoenicke	More...				almost 6 years ago
Add helper class for quantified terms.	Tanja Schindler	More...				almost 6 years ago
Fix bug in E-Matching: backtrack todo stack.	Tanja Schindler	More...				almost 6 years ago
More uses of LinkedHashMap	Jochen Hoenicke	More...				almost 6 years ago
Improve dawg construction for arithmetical literals.	Tanja Schindler	More...				almost 6 years ago
Add compare trigger into all pair infos.	Jochen Hoenicke	More...				almost 6 years ago
Bug fix: NullPointer in createDawg	Jochen Hoenicke	More...				almost 6 years ago
Use substitution dawgs that can be evaluated for instantiation.	Tanja Schindler	More...				almost 6 years ago
Some minor changes and optimizations in quantifier reasoning.	Tanja Schindler	More...				almost 6 years ago
Unquote literals when interpolating trichotomy.	Jochen Hoenicke	More...				almost 6 years ago
slightly better fix	danieldietsch	More...				almost 6 years ago
fix String vs BigInteger in fp constr check	danieldietsch	More...				almost 6 years ago
Bugfix in read-over-weakeq interpolation	Jochen Hoenicke	More...				almost 6 years ago
Fix debugging output	Jochen Hoenicke	More...				almost 6 years ago
fix comparison for bv function extract (use BigInteger.compareTo, not String.compareTo), use toNumeral consistently	danieldietsch	More...				almost 6 years ago
Fix last commit	Jochen Hoenicke	More...				almost 6 years ago
Allow reserved symbols in S-expressions.	Jochen Hoenicke	More...				almost 6 years ago
Added Locale.ROOT for logging	Jochen Hoenicke	More...				almost 6 years ago
Added more timing statistics	Jochen Hoenicke	More...				almost 6 years ago

←
1
2
…
24
25
26
27
28
29
30
31
32
…
61
62
→