Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-07-05 | Add options --partial-triggers, --elim-taut-quant, improve robustness of ↵ | ajreynol | |
--purify-triggers. Enable --quant-alpha-equiv by default. Fix fairness issue when combining cbqi+E-matching. Avoid unecessary delta lemmas. Update casc scripts. | |||
2015-07-01 | Add options --qcf-all-conflict, --ite-dtt-split-quant, refactor ↵ | ajreynol | |
--ite-lift-quant. Minor bug fixes for internalReps, alpha equivalence. Update casc 25 FOF script. | |||
2015-05-10 | Minor improvements to infrastructure. Minor changes to default options. Add ↵ | ajreynol | |
tff script. Minor additions to sygus. | |||
2015-05-02 | Minor fix for corner cases of fmf-fun, fix for --dt-rewrite-error-sel. Add ↵ | ajreynol | |
competition scripts (in progress). |