Age | Commit message (Expand) | Author |
---|---|---|
2015-07-01 | Add options --qcf-all-conflict, --ite-dtt-split-quant, refactor --ite-lift-qu... | ajreynol |
2015-06-02 | Add casc 25 tfn script. Change tff script to output instantiations. Work tow... | ajreynol |
2015-05-11 | Allow sygus with no syntactic restrictions for LIA. Add regressions. | ajreynol |
2015-05-10 | Minor improvements to infrastructure. Minor changes to default options. Add t... | ajreynol |