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 17, 2024 — Jul 17, 2025 Showing page 16 of 62 Search / Filter on:
recheck created sel and is functions for eq after backtrack	Moritz Mohr	More...				over 4 years ago
add Rule8a/b inside DTRevTrigger; fix Rule3 and UnitClause	Moritz Mohr	More...				over 4 years ago
add rule6	Moritz Mohr	More...				over 4 years ago
add rule5() and fixes	Moritz Mohr	More...				over 4 years ago
fix ConcurrentModificationException while calling Rule4	Moritz Mohr	More...				over 4 years ago
fix Rule 4	Moritz Mohr	More...				over 4 years ago
add function to build missing selector applications	Moritz Mohr	More...				over 4 years ago
add DataTypeTheory and DTReverseTrigger	Moritz Mohr	More...				over 4 years ago
add getter function for declaredSorts	Moritz Mohr	More...				over 4 years ago
add and set a flag for selectorfunctions	Moritz Mohr	More...				over 4 years ago
Add all ground terms from quantified literals to CC (if applicable).	Tanja Schindler	More...				over 4 years ago
Remove mAppTermAge from CClosure, adapt Quant final check.	Tanja Schindler	More...				over 4 years ago
Fix coloring in Interpolator, part 2.	Tanja Schindler	More...				over 4 years ago
Fix coloring in Interpolator.	Tanja Schindler	More...				over 4 years ago
Fix bug in ArrayInterpolator.	Tanja Schindler	More...				over 4 years ago
Fix bug in interpolant deep check.	Tanja Schindler	More...				over 4 years ago
Merge branch 'master' into MUSes	Leonard Fichtner	More...				over 4 years ago
More timeout checks in InstantiationManager.	Tanja Schindler	More...				over 4 years ago
Count time to find instances with E-matching correctly.	Tanja Schindler	More...				over 4 years ago
Added random permutation in unsat case of ReMus to create more different MUSes.	Leonard Fichtner	More...				over 4 years ago
A bit of documentation, also getting the other shrink version up to date	Leonard Fichtner	More...				over 4 years ago
Added (previously forgotten) blocking of explored set. This proobably impacts performance positively. On the other hand, I stumbled upon a (seemingly) rare case, where a bug would occur. I fixed it.	Leonard Fichtner	More...				over 4 years ago
Fix compile error due to rebasing.	Tanja Schindler	More...				over 4 years ago
fix bug ininductivity check: terms to which purification variables mapped were not purified and caused the closed-term error	henkele	More...				over 4 years ago
use mSymbolOccurence to compute occurrence of terms	henkele	More...				almost 5 years ago
benchmark files	henkele	More...				almost 5 years ago
print info FOUND VALID INTERPOLANT	henkele	More...				almost 5 years ago
Revert "use mSymbolOccurrenceInfo instead of mSymbolPartition when computing occurrence"	henkele	More...				almost 5 years ago
check for non-shared symbols after resolution step	henkele	More...				almost 5 years ago
deal with nested annotations and quantifiers	henkele	More...				almost 5 years ago

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