Performance History
Latest Results
Use a loop instead of recursion for printing
main
7 days ago
Use a loop instead of recursion for printing
print-def-loop
7 days ago
Add test for interpolants using smtcomp benchmarks
main
20 days ago
Add test for interpolants using smtcomp benchmarks
interpolant-test
20 days ago
Add test for interpolants using smtcomp benchmarks
interpolant-test
20 days ago
Fix but when theory produced costly conflict with duplicates
main
21 days ago
Fix but when theory produced costly conflict with duplicates
fix-conflict-dups
21 days ago
Implemented alternate delta debugger
main
27 days ago
Latest Branches
0%
7 days ago
891c39b
print-def-loop
0%
20 days ago
c3c282b
interpolant-test
0%
21 days ago
2c9a8cb
fix-conflict-dups