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 24, 2024 — Jul 24, 2025 Showing page 27 of 62 Search / Filter on:
Quantifier Theory: Avoid true instances in final check.	Tanja Schindler	More...				over 5 years ago
Evaluate non-ematching literals	Jochen Hoenicke	More...				over 5 years ago
Added and implemented option :propagate-unknown-aux	Jochen Hoenicke	More...				over 5 years ago
Added and implemented option :propagate-unknown-terms	Jochen Hoenicke	More...				over 5 years ago
more proof fixes	Jochen Hoenicke	More...				over 5 years ago
Check forallExists rewrite rule	Jochen Hoenicke	More...				over 5 years ago
Bugfix in proof generation.	Jochen Hoenicke	More...				over 5 years ago
Added another missing getProvedTerm	Jochen Hoenicke	More...				over 5 years ago
Extend E-Matching, proofs for DER instances.	Tanja Schindler	More...				over 5 years ago
Literal dawgs: handle value unknown_term correctly.	Tanja Schindler	More...				over 5 years ago
Fix bug in LA literal evaluation.	Tanja Schindler	More...				over 5 years ago
More stats, bug fix in QuantClause.	Tanja Schindler	More...				over 5 years ago
Normalize affine terms when substituting.	Jochen Hoenicke	More...				over 5 years ago
Partial proof and model handling in quantified logics	Tanja Schindler	More...				over 5 years ago
Report error for quantifiers in qf-theories	Jochen Hoenicke	More...				over 5 years ago
InstantiationManager: reset interesting terms after backtracking.	Tanja Schindler	More...				over 5 years ago
Timeout check in QuantifierTheory.getPropagatedLiteral()	Tanja Schindler	More...				over 5 years ago
Another timeout check.	Tanja Schindler	More...				almost 6 years ago
Handle outofmemory gracefully	Jochen Hoenicke	More...				almost 6 years ago
Added Termination check in ematching	Jochen Hoenicke	More...				almost 6 years ago
Fix bug in QuantifierTheory.	Tanja Schindler	More...				almost 6 years ago
Fix unit test for congruences	Jochen Hoenicke	More...				almost 6 years ago
Do not unify dawgs.	Jochen Hoenicke	More...				almost 6 years ago
Skip congruent terms in reverse trigger	Jochen Hoenicke	More...				almost 6 years ago
Optimize dawgs for arithmetical literals.	Tanja Schindler	More...				almost 6 years ago
More timeout checks.	Tanja Schindler	More...				almost 6 years ago
BugFix: find congruent term when creating new term	Jochen Hoenicke	More...				almost 6 years ago
Fix previous commit.	Tanja Schindler	More...				almost 6 years ago
Reverted some patch partly from August.	Jochen Hoenicke	More...				almost 6 years ago
Simplify finding test subdirectory	Jochen Hoenicke	More...				almost 6 years ago

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