S

SMTInterpol

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 31, 2024 — Aug 31, 2025 Showing page 30 of 62 Search / Filter on:
Fix bug in computation of interesting instantiation terms.	Tanja Schindler	More...				over 6 years ago
Fix AlmostUninterpreted-Flag for x=t for real term	Jochen Hoenicke	More...				over 6 years ago
Completeness checks only at the end.	Tanja Schindler	More...				over 6 years ago
Nonrecursive version of findEquivalentSharedTerm.	Tanja Schindler	More...				over 6 years ago
Moved comment.	Tanja Schindler	More...				over 6 years ago
Fix upperbound flag when negating inequality	Jochen Hoenicke	More...				over 6 years ago
Instantiate boolean variables only with true and false.	Tanja Schindler	More...				over 6 years ago
Call run in getSharedTerm but only if not running	Jochen Hoenicke	More...				over 6 years ago
Fix NullPointerException.	Jochen Hoenicke	More...				over 6 years ago
Fix bug in SubstitutionHelper.	Tanja Schindler	More...				over 6 years ago
Fix bugs in support for selects with quantified integer indices.	Tanja Schindler	More...				over 6 years ago
Added AUFNI*A logics	Jochen Hoenicke	More...				over 6 years ago
Reworked clause evaluation.	Tanja Schindler	More...				over 6 years ago
Learn conflict and unit clauses in QuantifierTheory.	Tanja Schindler	More...				over 6 years ago
Fix bug in CClosure.	Tanja Schindler	More...				over 6 years ago
Fix bug in clause evaluation.	Tanja Schindler	More...				over 6 years ago
Add support for select, and add lambda.	Tanja Schindler	More...				over 6 years ago
Fixes for checkpoint	Jochen Hoenicke	More...				over 6 years ago
Reworked variable substitution in QuantClauses.	Tanja Schindler	More...				over 6 years ago
Fix bug in LinArSolve.	Tanja Schindler	More...				over 6 years ago
Avoid separating quantifier and pattern annotation	Jochen Hoenicke	More...				over 6 years ago
Extend support for variable inequalities for reals.	Tanja Schindler	More...				over 6 years ago
Merge branch 'master' into quantifiers	Jochen Hoenicke	More...				over 6 years ago
Added support for select in QuantClause.	Tanja Schindler	More...				over 6 years ago
Fix features of logics, added new logics	Jochen Hoenicke	More...				over 6 years ago
Fix bug in Destructive Equality Reasoning.	Tanja Schindler	More...				over 6 years ago
Fix bug in QuantifierTheory.	Tanja Schindler	More...				over 6 years ago
Fix bug in SubstitutionHelper.	Tanja Schindler	More...				over 6 years ago
Handle TermVariables in CollectClause (quantified booleans)	Jochen Hoenicke	More...				over 6 years ago
Fix bug in computation of interesting terms for instantiation.	Tanja Schindler	More...				over 6 years ago

←
1
2
…
26
27
28
29
30
31
32
33
34
…
61
62
→