Age | Commit message (Expand) | Author |
---|---|---|
2015-11-18 | Option for midpoints in cbqi. | ajreynol |
2015-11-11 | Minor fixes to cbqi, purify-quant. Better error checking in addInstantiation. | ajreynol |
2015-11-10 | Fix infinite loop in datatype enumerator. Minor fixes and improvements to cbq... | ajreynol |
2015-11-04 | Better combination of UF with cbqi, refactor quantifiers intialization. | ajreynol |
2015-10-31 | Improvements to handling of mixed Int/Real quantifiers. | ajreynol |
2015-10-26 | Extend counterexample-guided instantiation to extended theory of Int/Real, mi... | ajreynol |
2015-10-22 | Enable counterexample-guided quantifier instantiation by default for quantifi... | ajreynol |