| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-07-01 | Fix path in CASC J7 scripts, and distribute them with tarball. | Morgan Deters |
| 2014-06-23 | Make language explicit in casc scripts | ajreynol |
| 2014-05-28 | Minor changes to script. Disable cbqi sat. | ajreynol |
| 2014-05-25 | Improve quantifier instantiation: always use original terms when matching (wa... | Andrew Reynolds |
| 2014-05-15 | Minor fixes. Add SMTCOMP 2014 script. | Andrew Reynolds |
| 2014-05-14 | Finish --dump-instantiations option. Update scripts. | Andrew Reynolds |
| 2014-05-12 | Minor updates/fix to --cbqi-recurse | Andrew Reynolds |
| 2014-05-11 | More preparation for CASC proofs. Minor fix for sort inference (rewrite new ... | Andrew Reynolds |
| 2014-05-10 | Bug fixes to CBQI. Add first draft of CASC j7 TFF script. Add regression, m... | Andrew Reynolds |
 |
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