summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/macros.h
AgeCommit message (Expand)Author
2017-07-07Update copyright headers.Mathias Preiner
2016-10-13Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git"Tim King
2016-10-11Merge branch 'origin' of https://github.com/CVC4/CVC4.gitPaul Meng
2016-09-29Address some coverity warnings, add another stat.ajreynol
2016-07-05Merge branch 'master' of https://github.com/CVC4/CVC4.gitPaulMeng
2016-04-20update from the masterPaulMeng
2016-04-03Updating the copyright headers and scripts.Tim King
2015-08-16More optimizations to --macros-quant, add --macros-quant-mode=ground-uf. Clea...ajreynol
2015-08-12Improvements to --macros-quant. Enable --clause-split by default. Bug fix for...ajreynol
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
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan 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