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

2010-06-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw
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