summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/macros.cpp
AgeCommit message (Expand)Author
2014-07-01Update copyrights.Morgan Deters
2014-05-09Add variable ordering to ambqi. Bug fix to macros. More preparation for CASC...Andrew Reynolds
2014-05-08Major simplifications to macros module.ajreynol
2014-04-17simplify mkSkolem naming system: don't use $$Kshitij Bansal
2014-01-24Simplify the QCF algorithm by more aggressive flattening, removes EqRegistry ...Andrew Reynolds
2014-01-10Add new method --quant-cf for finding conflicts eagerly for quantified formul...Andrew Reynolds
2013-11-26Bug fix for E-matching select terms, minor fix for bounded integers, bug fix ...Andrew Reynolds
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-02-16Some cleanup and copyright updatingMorgan Deters
2013-02-04fixed files with DOS newlines; fixed contrib/ scripts to use gitMorgan Deters
2012-11-18support for quantifiers macros, bug fix for bug 454 involving E-matching Arra...Andrew Reynolds
2012-11-14replaced all static member data from rewrite rule triggers, added infrastruct...Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback