0
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 10 hours ago. based on code collected about 11 hours ago.
Jul 24, 2024 — Jul 24, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Quantifier Theory: Avoid true instances in final check. More... over 5 years ago
Evaluate non-ematching literals More... over 5 years ago
Added and implemented option :propagate-unknown-aux More... over 5 years ago
Added and implemented option :propagate-unknown-terms More... over 5 years ago
more proof fixes More... over 5 years ago
Check forallExists rewrite rule More... over 5 years ago
Bugfix in proof generation. More... over 5 years ago
Added another missing getProvedTerm More... over 5 years ago
Extend E-Matching, proofs for DER instances. More... over 5 years ago
Literal dawgs: handle value unknown_term correctly. More... over 5 years ago
Fix bug in LA literal evaluation. More... over 5 years ago
More stats, bug fix in QuantClause. More... over 5 years ago
Normalize affine terms when substituting. More... over 5 years ago
Partial proof and model handling in quantified logics More... over 5 years ago
Report error for quantifiers in qf-theories More... over 5 years ago
InstantiationManager: reset interesting terms after backtracking. More... over 5 years ago
Timeout check in QuantifierTheory.getPropagatedLiteral() More... over 5 years ago
Another timeout check. More... almost 6 years ago
Handle outofmemory gracefully More... almost 6 years ago
Added Termination check in ematching More... almost 6 years ago
Fix bug in QuantifierTheory. More... almost 6 years ago
Fix unit test for congruences More... almost 6 years ago
Do not unify dawgs. More... almost 6 years ago
Skip congruent terms in reverse trigger More... almost 6 years ago
Optimize dawgs for arithmetical literals. More... almost 6 years ago
More timeout checks. More... almost 6 years ago
BugFix: find congruent term when creating new term More... almost 6 years ago
Fix previous commit. More... almost 6 years ago
Reverted some patch partly from August. More... almost 6 years ago
Simplify finding test subdirectory More... almost 6 years ago