S

SMTInterpol

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 16, 2024 — Aug 16, 2025 Showing page 26 of 62 Search / Filter on:
Fix bug related to E-matching triggers in incremental mode.	Tanja Schindler	More...				over 5 years ago
Remove InstClauses after pop command.	Tanja Schindler	More...				over 5 years ago
Fix control flow in removeCCEquality	Jochen Hoenicke	More...				over 5 years ago
Redirect stderr to dev/null for starexec	Jochen Hoenicke	More...				over 5 years ago
Always setup cclosure for quantified logics	Jochen Hoenicke	More...				over 5 years ago
Fix nullpointerexception in system tests	Jochen Hoenicke	More...				over 5 years ago
Fix compile problem	Jochen Hoenicke	More...				over 5 years ago
Simplified push/pop handling in DPLL engine	Jochen Hoenicke	More...				over 5 years ago
QuantifierTheory: new InstantiationInfo	Tanja Schindler	More...				over 5 years ago
Bug Fix: decrease decision level on reset	Jochen Hoenicke	More...				over 5 years ago
Minor Bug fix: Use equals for final values.	Jochen Hoenicke	More...				over 5 years ago
Added a mapKeys() function to the Dawgs	Jochen Hoenicke	More...				over 5 years ago
More statistics in Quantifier Theory.	Tanja Schindler	More...				over 5 years ago
Reset quick-check heuristic counter on reset	Jochen Hoenicke	More...				over 5 years ago
Bug Fix: Congruence Closure	Jochen Hoenicke	More...				over 5 years ago
Quantifier Theory: remember where instances where created.	Tanja Schindler	More...				over 5 years ago
SharedTerm rewrite (#49)	Jochen Hoenicke	More...				over 5 years ago
Fix assertion.	Tanja Schindler	More...				over 5 years ago
InstantiationManager: minor changes in literal evaluation methods.	Tanja Schindler	More...				over 5 years ago
InstantiationManager: restrict values in checkpoint.	Tanja Schindler	More...				over 5 years ago
Fix assertion in QuantifierTheory.	Tanja Schindler	More...				over 5 years ago
Bugfix in instantiationManager: InstClauses can be null.	Tanja Schindler	More...				over 5 years ago
bugfix propagate congruences.	Jochen Hoenicke	More...				over 5 years ago
Quant final check first builds instances over known terms.	Tanja Schindler	More...				over 5 years ago
Bugfix in new recheckOnBacktrack	Jochen Hoenicke	More...				over 5 years ago
QuantifierTheory: introduce InstanceValue.OTHER	Tanja Schindler	More...				over 5 years ago
Propagate newly created literals after backtrack	Jochen Hoenicke	More...				over 5 years ago
Bugfix in QuantifierTheory.	Tanja Schindler	More...				over 5 years ago
Quant: don't search new conflicts if still in queue.	Tanja Schindler	More...				over 5 years ago
Bugfix: use return value of Dawg.insert.	Jochen Hoenicke	More...				over 5 years ago

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