S

SMTInterpol

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 6 hours ago. based on code collected about 7 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 19, 2024 — Jul 19, 2025 Showing page 13 of 62 Search / Filter on:
Added some more quantifier rules	Jochen Hoenicke	More...				almost 4 years ago
Updated to jh-javacup-1.2	Jochen Hoenicke	More...				almost 4 years ago
Some bug fixes	Jochen Hoenicke	More...				almost 4 years ago
Implemented forall/exists, fixed unit tests	Jochen Hoenicke	More...				almost 4 years ago
Use LambdaTerms in TermWalker/Transformer	Jochen Hoenicke	More...				almost 4 years ago
Started new LambdaTerm	Jochen Hoenicke	More...				almost 4 years ago
changed proves to mainly annotations	Jochen Hoenicke	More...				almost 4 years ago
New proof conversions, bug fixes unit test	Jochen Hoenicke	More...				almost 4 years ago
Function to compute proved clause, xor print	Jochen Hoenicke	More...				almost 4 years ago
New FunctionalMaps	Jochen Hoenicke	More...				almost 4 years ago
More proof rules working	Jochen Hoenicke	More...				almost 4 years ago
Two new rewrite rules	Jochen Hoenicke	More...				almost 4 years ago
More proofs working	Jochen Hoenicke	More...				almost 4 years ago
Added minimal proofchecker, fixed proof simplifier	Jochen Hoenicke	More...				almost 4 years ago
Remove instantiate rule, fix forall/exists tauts	Jochen Hoenicke	More...				almost 4 years ago
Changed format of @clause	Jochen Hoenicke	More...				almost 4 years ago
Don't convert and/=> to or.	Jochen Hoenicke	More...				almost 4 years ago
Don't report model-check-mode errors	Jochen Hoenicke	More...				almost 4 years ago
Added TeaVM link	Jochen Hoenicke	More...				almost 4 years ago
Added mccarthy examples	Jochen Hoenicke	More...				almost 4 years ago
error message if produce-interpolants is not set	Jochen Hoenicke	More...				almost 4 years ago
Fix coloring of terms (exposed by unit test)	Jochen Hoenicke	More...				almost 4 years ago
Reworked proof production	Jochen Hoenicke	More...				almost 4 years ago
fix overflow in html page	Jochen Hoenicke	More...				almost 4 years ago
Web-Interface for SMTInterpol based on teavm (#128)	Jochen Hoenicke	More...				almost 4 years ago
Updated to HTML5, fix validator links	Jochen Hoenicke	More...				almost 4 years ago
Update website.	Tanja Schindler	More...				almost 4 years ago
SMT-COMP slides 2021	Tanja Schindler	More...				almost 4 years ago
Optimization: switch data structure from List to Set.	Karlheinz Friedberger	More...				about 4 years ago
BuildClause rework	Jochen Hoenicke	More...				about 4 years ago

←
1
2
…
9
10
11
12
13
14
15
16
17
…
61
62
→