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 14 of 62 Search / Filter on:
Added new proof simplifier and rules	Jochen Hoenicke	More...				about 4 years ago
Some proof rule updates:	Jochen Hoenicke	More...				about 4 years ago
Prepared for new proof production in Clausifier.	Jochen Hoenicke	More...				about 4 years ago
fix bug in LitInfo constructor	henkele	More...				about 4 years ago
more cleanup, new xor rules, some description	Jochen Hoenicke	More...				about 4 years ago
symbol and term coloring	henkele	More...				about 4 years ago
New minimal proof format	Jochen Hoenicke	More...				about 4 years ago
Fix nullpointer in Interpolator.	Tanja Schindler	More...				about 4 years ago
Updated logics for ReMUS, authors, Makefile	Jochen Hoenicke	More...				about 4 years ago
added version numbers for both branches	Jochen Hoenicke	More...				about 4 years ago
System description	Tanja Schindler	More...				about 4 years ago
more logics	Jochen Hoenicke	More...				about 4 years ago
omit model keyword	Jochen Hoenicke	More...				about 4 years ago
Return unsat-core in correct format	Jochen Hoenicke	More...				about 4 years ago
new option for using remus	Jochen Hoenicke	More...				about 4 years ago
set options using the solver interface	Jochen Hoenicke	More...				about 4 years ago
Enable proof-check-mode in competition.	Jochen Hoenicke	More...				about 4 years ago
Merge pull request #124 from ultimate-pa/datatype	Jochen Hoenicke	More...				about 4 years ago
Small clean-ups	Jochen Hoenicke	More...				about 4 years ago
Fix MatchTerm axioms, add proof checker.	Jochen Hoenicke	More...				about 4 years ago
Unify MatchTerms.	Jochen Hoenicke	More...				about 4 years ago
Added lemma proof production, enable unit tests	Jochen Hoenicke	More...				about 4 years ago
Proof production for match terms	Jochen Hoenicke	More...				about 4 years ago
First step towards proof production	Jochen Hoenicke	More...				about 4 years ago
Implement getStatistics	Jochen Hoenicke	More...				about 4 years ago
Some small code clean-ups	Jochen Hoenicke	More...				about 4 years ago
Auto-reformatted files	Jochen Hoenicke	More...				about 4 years ago
QuantClause: simplify collecting interesting terms.	Tanja Schindler	More...				about 4 years ago
StarExec: Use static memory setting for java, remove old java options	Jochen Hoenicke	More...				about 4 years ago
Added new logics with SMT-LIB benchmarks	Jochen Hoenicke	More...				about 4 years ago

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