| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-06-22 | Final fixes for smtcomp2014-application. | Morgan Deters |
| 2014-06-22 | Another updated submission strategy. | Morgan Deters |
| 2014-06-21 | Run in application track with --check-models. | Morgan Deters |
| 2014-06-18 | Version of the run script that works with trace executor; waiting on StarExec... | Morgan Deters |
| 2014-06-17 | Some fixes for tear-down-incremental and "success" output. | Morgan Deters |
| 2014-06-15 | minor update to application track config in QF_BVsmtcomp2014 | Morgan Deters |
| 2014-06-15 | Application trace executor (if they end up using that) requires --print-success. | Morgan Deters |
| 2014-06-13 | update application track script too | Morgan Deters |
| 2014-06-13 | Adjust incremental run script for QF_AX too. | Morgan Deters |
| 2014-06-12 | New application track script, new heuristics and all --tear-down-incremental.... | Morgan Deters |
| 2014-05-30 | Run script updates: no --stats, also application-track version. | Morgan Deters |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback