S

SMTInterpol

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 20, 2024 — Jul 20, 2025 Showing page 17 of 62 Search / Filter on:
deal wth TermVariable in getNestingDepth	henkele	More...				almost 5 years ago
fix: assertion is wrong, as we do not use fresh variables	henkele	More...				almost 5 years ago
handle quantified formulae in getTermVariables	henkele	More...				almost 5 years ago
Add info to SourceAnnotation if it is from Quant.	Tanja Schindler	More...				almost 5 years ago
Revert "Store term depth instead of age in CCTerms."	Tanja Schindler	More...				almost 5 years ago
Only use complete substitutions in E-matching related instantiation.	Tanja Schindler	More...				almost 5 years ago
Fix handling of E-matching literals.	Tanja Schindler	More...				almost 5 years ago
Use all literals with top-level arithmetic for conflict E-matching-	Tanja Schindler	More...				almost 5 years ago
Merge branch 'master' into MUSes	Leonard Fichtner	More...				almost 5 years ago
Tiny Refactoring	Leonard Fichtner	More...				almost 5 years ago
Fixed a bug, that luckily had no chance to take effect yet	Leonard Fichtner	More...				almost 5 years ago
E-Matching: Always add empty subs dawg.	Tanja Schindler	More...				almost 5 years ago
Store term depth instead of age in CCTerms.	Tanja Schindler	More...				almost 5 years ago
Simplify unit clause handling	Jochen Hoenicke	More...				almost 5 years ago
Fix counting of DER instances.	Tanja Schindler	More...				almost 5 years ago
Change instantiation order in final check:	Tanja Schindler	More...				almost 5 years ago
Fix bugs related to E-matching.	Tanja Schindler	More...				almost 5 years ago
color @AUX symbols	henkele	More...				almost 5 years ago
modify treetest	henkele	More...				almost 5 years ago
use mSymbolOccurrenceInfo instead of mSymbolPartition when computing occurrence	henkele	More...				almost 5 years ago
Remove mLastInfo	Jochen Hoenicke	More...				almost 5 years ago
More tests	Leonard Fichtner	More...				almost 5 years ago
Changed, that unnamed terms do no longer appear in UnsatCores, and are also not minimized wrt. the MUS Enumeration	Leonard Fichtner	More...				almost 5 years ago
Watcher-handling and backtracking reworked	Jochen Hoenicke	More...				almost 5 years ago
Don't build unit instances if conflict instances exist.	Tanja Schindler	More...				almost 5 years ago
Eager/lazy E-matching uses option propagate-unknown-aux.	Tanja Schindler	More...				almost 5 years ago
Add instantiation method: lazy E-matching-based conflict/unit search.	Tanja Schindler	More...				almost 5 years ago
Statistics: count instances produced by the different methods.	Tanja Schindler	More...				almost 5 years ago
Fix statistics: move checkpoint counter.	Tanja Schindler	More...				almost 5 years ago
Use all literals with top-level arithmetic for eager/lazy E-matching.	Tanja Schindler	More...				almost 5 years ago

←
1
2
…
13
14
15
16
17
18
19
20
21
…
61
62
→