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 15 of 62 Search / Filter on:
move table definitions to subdir	Daniel Dietsch	More...				about 4 years ago
add some set files, move things into subfolders, rename bv-intitial-experiments.xml to defs/bv-initial-experiments.xml	Daniel Dietsch	More...				about 4 years ago
benchexec files	Tanja Schindler	More...				about 4 years ago
More SMT-LIB conform way to normalize rationals	Jochen Hoenicke	More...				over 4 years ago
improve cycle detection performance and readability	Moritz Mohr	More...				over 4 years ago
add casting of hashfunction argument	Moritz Mohr	More...				over 4 years ago
add additional tests	Moritz Mohr	More...				over 4 years ago
add new functions to reduce complexity in cycle detection	Moritz Mohr	More...				over 4 years ago
TermCompiler: simplify select-over-store for nested stores.	Tanja Schindler	More...				over 4 years ago
fix nullpointer exception in dtReverseTrigger	Moritz Mohr	More...				over 4 years ago
add missing comments	Moritz Mohr	More...				over 4 years ago
replace isInfinite with a non recursive computation	Moritz Mohr	More...				over 4 years ago
add explaining comments and remove unneeded code	Moritz Mohr	More...				over 4 years ago
handle default cases and duplicate cases in match terms	Moritz Mohr	More...				over 4 years ago
print indices of function symbol for easier distinction	Moritz Mohr	More...				over 4 years ago
fix nullpointer exception in insertReverseTrigger	Moritz Mohr	More...				over 4 years ago
color skolem function	henkele	More...				over 4 years ago
assert purification equalities in all partitions	henkele	More...				over 4 years ago
fix cycle detection	Moritz Mohr	More...				over 4 years ago
fix rule 6 and 7	Moritz Mohr	More...				over 4 years ago
add term axioms for match terms	Moritz Mohr	More...				over 4 years ago
extend cycle detection to detect cycles via selectors	Moritz Mohr	More...				over 4 years ago
only propagate equalities which do not yet exist	Moritz Mohr	More...				over 4 years ago
check if argument of constructor is equal to the cons	Moritz Mohr	More...				over 4 years ago
prevent creating equalities of the same term	Moritz Mohr	More...				over 4 years ago
fix bugs caused by FunctionSymbol hash and wrong creation of CCEQualities	Moritz Mohr	More...				over 4 years ago
detect cycles and build less is-Terms in rule5	Moritz Mohr	More...				over 4 years ago
rework Rule6 & getUnitClause and fix backTrackComplete	Moritz Mohr	More...				over 4 years ago
add rule 8 and 9 and remove (not working) rule 6	Moritz Mohr	More...				over 4 years ago
rework decision procedure if a datatype sort is infinite	Moritz Mohr	More...				over 4 years ago

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