git.libre-soc.org Git - cvc5.git/history - src/expr/metakind

[cvc5.git] / src / expr / metakind_template.h

2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw
2013-12-05	Morgan Deters	Update copyrights, add missing file-level documentation...	blob \| commitdiff \| raw \| diff to current
2013-11-21	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2013-11-20	Tim King	Changing the number of bits allocated per field in...	blob \| commitdiff \| raw \| diff to current
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-09-13	Morgan Deters	Documentation fixes, some code typo fixes, file perms...	blob \| commitdiff \| raw \| diff to current
2013-09-09	Morgan Deters	Fix some line-numbering in auto-generated metakind...	blob \| commitdiff \| raw \| diff to current
2013-08-26	Kshitij Bansal	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-07-29	Morgan Deters	Fix numerous compiler warnings on various platforms	blob \| commitdiff \| raw \| diff to current
2013-07-11	Morgan Deters	Support for TPTP's TFF0 (with arithmetic)	blob \| commitdiff \| raw \| diff to current
2013-04-30	lianah	fixed merge conflicts	blob \| commitdiff \| raw \| diff to current
2013-04-24	Morgan Deters	Theory "alternates" support	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	Regenerated copyrights: canonicalized names, no emails	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	update copyrights	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2012-09-28	Morgan Deters	rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert...	blob \| commitdiff \| raw \| diff to current
2012-08-29	Morgan Deters	* Numerous documentation fixes (fix doxygen warnings...	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2011-03-14	Morgan Deters	Fix to bug 251 (non-spurious warnings in builds) by...	blob \| commitdiff \| raw \| diff to current
2010-12-16	Morgan Deters	minor fixes for correct doxygen output	blob \| commitdiff \| raw \| diff to current
2010-11-15	Morgan Deters	Pretty-printer infrastructure created (in src/printer...	blob \| commitdiff \| raw \| diff to current
2010-10-12	Morgan Deters	Merge from cc-memout branch. Here are the main points	blob \| commitdiff \| raw \| diff to current
2010-10-05	Morgan Deters	parser and core support for SMT-LIBv2 commands get...	blob \| commitdiff \| raw \| diff to current
2010-07-02	Morgan Deters	re-generated comment headers of source files	blob \| commitdiff \| raw \| diff to current
2010-06-30	Morgan Deters	* theory "tree" rewriting implemented and works	blob \| commitdiff \| raw \| diff to current
2010-06-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw \| diff to current
2010-06-03	Morgan Deters	resolving bug 139: metaKindOf() warnings still exist...	blob \| commitdiff \| raw \| diff to current
2010-05-31	Christopher L. Conway	First draft implementation of mkAssociative	blob \| commitdiff \| raw \| diff to current
2010-05-27	Morgan Deters	Remove isAtomic() as per 4/27/2010 meeting. Add commen...	blob \| commitdiff \| raw \| diff to current
2010-04-30	Dejan Jovanović	Fix for bug 115, mapping was going in the wrong direction.	blob \| commitdiff \| raw \| diff to current
2010-04-29	Dejan Jovanović	Added the capability to construct expressions by passin...	blob \| commitdiff \| raw \| diff to current
2010-04-09	Morgan Deters	added experimental "make lcov" target (it runs only...	blob \| commitdiff \| raw \| diff to current
2010-04-04	Morgan Deters	* Node::isAtomic() now looks at an "atomic" attribute...	blob \| commitdiff \| raw \| diff to current
2010-04-01	Morgan Deters	PARSER STUFF:	blob \| commitdiff \| raw \| diff to current
2010-03-30	Morgan Deters	Highlights of this commit are:	blob \| commitdiff \| raw \| diff to current

RSS Atom