| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-10-03 | Add initial version of the SMTCOMP2018 run scripts (#1185) | Andres Noetzli | |
| This commit is a preparation step for removing the --thread-stack option (and, ultimately, the dependency on Boost). It just copies the 2017 version of the scripts and changes the --fs-inst flag to --fs-interleave, following the renaming in commit 7766f0ba088ad6d6c58ea9678477b255c9e52fee. | |||
 |
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