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
Aug 16, 2024 — Aug 16, 2025 Showing page 31 of 62 Search / Filter on:
Fix NullPointerException on timeout	Jochen Hoenicke	More...				over 6 years ago
Handle quantifiers in AddAsAxiom	Jochen Hoenicke	More...				over 6 years ago
Fix bug in DER.	Tanja Schindler	More...				over 6 years ago
Added check for termination requested	Jochen Hoenicke	More...				over 6 years ago
QuantifierTheory not limited to almost uninterpreted literals anymore.	Tanja Schindler	More...				over 6 years ago
Website updates	Jochen Hoenicke	More...				over 6 years ago
Added MatchTerm to term transformer/walker	Jochen Hoenicke	More...				over 6 years ago
Fixes for generic match terms	Jochen Hoenicke	More...				over 6 years ago
added match tests, error handling for match	Joanna Greulich	More...				over 6 years ago
Added interface ILiteral, improved DER.	Tanja Schindler	More...				over 6 years ago
Parser for match	Joanna Greulich	More...				over 6 years ago
Destructive equality reasoning.	Tanja Schindler	More...				over 6 years ago
Improved computeConflictClause() for QuantifierTheory.	Tanja Schindler	More...				over 6 years ago
Evaluate inequality instances.	Tanja Schindler	More...				over 6 years ago
Better terminology for quantified inequality literals.	Tanja Schindler	More...				over 6 years ago
Unit Propagation for QuantifierTheory.	Tanja Schindler	More...				over 6 years ago
Added getUpperBound() function.	Jochen Hoenicke	More...				over 6 years ago
Simplified LinTerm	Jochen Hoenicke	More...				over 6 years ago
More simplification, lazy propagation	Jochen Hoenicke	More...				over 6 years ago
Simplified bound propagation.	Jochen Hoenicke	More...				over 6 years ago
Bug fix: bitLength doesn't count sign bit	Jochen Hoenicke	More...				over 6 years ago
Performance fix.	Jochen Hoenicke	More...				over 6 years ago
New Tableaux structure.	Jochen Hoenicke	More...				over 6 years ago
Started decision (unfinished)	Jochen Hoenicke	More...				over 6 years ago
Added support for parametric data types	Jochen Hoenicke	More...				over 6 years ago
If tied, prefer variable with smallest index.	Jochen Hoenicke	More...				over 6 years ago
Store int in MatrixEntry, use iterators.	Jochen Hoenicke	More...				over 6 years ago
Ground propagation implemented again.	Jochen Hoenicke	More...				over 6 years ago
Simplified EprDecideStack logic	Jochen Hoenicke	More...				over 6 years ago
Improve cache hit rate	Jochen Hoenicke	More...				over 6 years ago

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