Age | Commit message (Expand) | Author |
---|---|---|
2016-07-05 | Merge branch 'master' of https://github.com/CVC4/CVC4.git | PaulMeng |
2016-04-20 | update from the master | PaulMeng |
2016-04-10 | More work on instantiation propagation. Enable external filtering of instanti... | ajreynol |
2016-04-03 | Updating the copyright headers and scripts. | Tim King |
2016-03-02 | Work towards complete instantiation for datatypes. | ajreynol |
2016-01-08 | Removing StatisticsRegistry's static functions current() and registerStat(). | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
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 |