git.libre-soc.org Git - cvc5.git/history

2011-03-25	Morgan Deters	This is a merge from the "theoryfixes+cdattrhash" branc...	blob \| commitdiff \| raw
2010-10-02	Morgan Deters	revert a workaround fix to CDMap that was committed...	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-04-26	Dejan Jovanović	Adding the intermediary TypeNode to represent (and...	blob \| commitdiff \| raw \| diff to current
2010-04-14	Dejan Jovanović	Marging from types 404:415, changes: Massive	blob \| commitdiff \| raw \| diff to current
2010-04-06	Morgan Deters	* Add some protected ContextObj accessors for ContextOb...	blob \| commitdiff \| raw \| diff to current
2010-04-01	Morgan Deters	PARSER STUFF:	blob \| commitdiff \| raw \| diff to current
2010-03-30	Morgan Deters	I think this finishes off the CDMap<>/Attribute leaks	blob \| commitdiff \| raw \| diff to current
2010-03-16	Morgan Deters	* test/unit/Makefile.am, test/unit/expr/attribute_white.h,	blob \| commitdiff \| raw \| diff to current
2010-03-08	Morgan Deters	This fixes regressions at levels >= 1 which were failing	blob \| commitdiff \| raw \| diff to current
2010-02-19	Morgan Deters	specialized implementation for boolean node attributes...	blob \| commitdiff \| raw
2010-02-19	Morgan Deters	* Attribute infrastructure -- static design. Documenta...	blob \| commitdiff \| raw \| diff to current