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-28 | Add option to avoid dumping partial models/proofs. | Andrew Reynolds |
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 |
2014-05-09 | Initial draft of run scripts for CASC j7 | Andrew Reynolds |