Age | Commit message (Expand) | Author |
---|---|---|
2014-01-24 | Simplify the QCF algorithm by more aggressive flattening, removes EqRegistry ... | Andrew Reynolds |
2014-01-10 | Add new method --quant-cf for finding conflicts eagerly for quantified formul... | Andrew Reynolds |
2013-11-26 | Bug fix for E-matching select terms, minor fix for bounded integers, bug fix ... | Andrew Reynolds |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-02-16 | Some cleanup and copyright updating | Morgan Deters |
2013-02-04 | fixed files with DOS newlines; fixed contrib/ scripts to use git | Morgan Deters |
2012-11-18 | support for quantifiers macros, bug fix for bug 454 involving E-matching Arra... | Andrew Reynolds |
2012-11-14 | replaced all static member data from rewrite rule triggers, added infrastruct... | Andrew Reynolds |