Age | Commit message (Expand) | Author |
---|---|---|
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 |