summaryrefslogtreecommitdiff
path: root/src/expr/metakind_template.h
AgeCommit message (Expand)Author
2013-04-23Theory "alternates" supportMorgan Deters
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-09-28rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to mak...Morgan Deters
2012-08-29* Numerous documentation fixes (fix doxygen warnings, add missing documentati...Morgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-03-14Fix to bug 251 (non-spurious warnings in builds) by shifting metakind array b...Morgan Deters
2010-12-16minor fixes for correct doxygen outputMorgan Deters
2010-11-15Pretty-printer infrastructure created (in src/printer) and SMT-LIBv2 printerMorgan Deters
2010-10-12Merge from cc-memout branch. Here are the main pointsMorgan Deters
2010-10-05parser and core support for SMT-LIBv2 commands get-info, set-option, get-opti...Morgan Deters
2010-07-02re-generated comment headers of source filesMorgan Deters
2010-06-30* theory "tree" rewriting implemented and worksMorgan Deters
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-06-03resolving bug 139: metaKindOf() warnings still exist, but it's probably a g++...Morgan Deters
2010-05-31First draft implementation of mkAssociativeChristopher L. Conway
2010-05-27Remove isAtomic() as per 4/27/2010 meeting. Add comments about its potential...Morgan Deters
2010-04-30Fix for bug 115, mapping was going in the wrong direction.Dejan Jovanović
2010-04-29Added the capability to construct expressions by passing the operator instead...Dejan Jovanović
2010-04-09added experimental "make lcov" target (it runs only unit tests); better cover...Morgan Deters
2010-04-04* Node::isAtomic() now looks at an "atomic" attribute of argumentsMorgan Deters
2010-04-01PARSER STUFF:Morgan Deters
2010-03-30Highlights of this commit are:Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback