Age | Commit message (Collapse) | Author | |
---|---|---|---|
2017-01-04 | Setting the executable bit for the newer run scripts in contrib. | Tim King | |
2016-05-15 | Work on --sygus-direct-eval. Minor optimizations, updates to casc scripts. ↵ | ajreynol | |
Enable e-matching when --strings-exp is enabled. | |||
2016-05-12 | Add casc scripts. Improvements to qcf related to nested quantifiers and ↵ | ajreynol | |
variable ordering. |