Age | Commit message (Expand) | Author |
---|---|---|
2015-01-20 | Handle miniscoping of conjunctions in synthesis properties. Refactor constru... | ajreynol |
2015-01-16 | Allow uninterpreted/defined functions in Sygus grammars. Fix bug regarding de... | ajreynol |
2014-11-07 | Properly distinguish which EQC to assign values in datatypes, use assertRepre... | ajreynol |
2014-11-01 | Fix cegqi for synthesis without syntax. | ajreynol |
2014-10-16 | Add dt.size to datatypes theory. Add option for fairness strategy used by CE... | ajreynol |
2014-10-13 | CEGQI uses model. Enforce fairness in CEGQI natively. | ajreynol |
2014-10-13 | Refactor model builder from model engine to quant engine. Work on fairness s... | ajreynol |
2014-10-10 | Initial draft of CEGQI. | ajreynol |
2014-10-10 | Add owner map to better manage QuantifiersModules. Initial infrastructure fo... | ajreynol |