Age | Commit message (Collapse) | 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 ↵ | Morgan Deters | |
StarExec infrastructure for testing. | |||
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 ↵ | Morgan Deters | |
--tear-down-incremental. Not yet tested. | |||
2014-05-30 | Run script updates: no --stats, also application-track version. | Morgan Deters | |