Age | Commit message (Collapse) | 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 ↵ | Andrew Reynolds | |
(was missing for simple triggers). Minor updates to scripts. | |||
2014-05-15 | Minor fixes. Add SMTCOMP 2014 script. | 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 | |
assertions). Bug fix for ambqi : simplify correctly for multi-sorted case. Bug fix for fmc : only do exh-simplification for uninterpreted sorts, ensure reps are enumerated for quantification over Real. | |||
2014-05-09 | Initial draft of run scripts for CASC j7 | Andrew Reynolds | |