git.libre-soc.org Git - cvc5.git/history - test/unit/expr/node_builder

[cvc5.git] / test / unit / expr / node_builder_black.h

2010-04-26	Dejan Jovanović	Adding the intermediary TypeNode to represent (and...	blob \| commitdiff \| raw
2010-04-14	Dejan Jovanović	Marging from types 404:415, changes: Massive	blob \| commitdiff \| raw \| diff to current
2010-04-08	Morgan Deters	A handful of build system fixes:	blob \| commitdiff \| raw \| diff to current
2010-04-04	Morgan Deters	* Addressed issues brought up in Chris's review of...	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-04	Morgan Deters	Recommit revision 365 (undoing revision 375, which...	blob \| commitdiff \| raw \| diff to current
2010-04-01	Morgan Deters	reran update-copyright.pl to get new contributors and...	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
2010-03-12	Morgan Deters	* src/context/cdmap.h: rename orderedIterator to iterat...	blob \| commitdiff \| raw \| diff to current
2010-03-05	Morgan Deters	* public/private code untangled (smt/smt_engine.h no...	blob \| commitdiff \| raw \| diff to current
2010-03-02	Morgan Deters	* NodeBuilder work: specifically, convenience builders...	blob \| commitdiff \| raw \| diff to current
2010-03-01	Tim King	Node builder tests that targetted properly detecting...	blob \| commitdiff \| raw \| diff to current
2010-02-27	Morgan Deters	A bag of unrelated fixes to bring trunk more in-line...	blob \| commitdiff \| raw \| diff to current
2010-02-25	Morgan Deters	* src/expr/node.h: add a copy constructor. Apparently...	blob \| commitdiff \| raw \| diff to current
2010-02-25	Tim King	Created basic node builder and kind tests. Also fixed...	blob \| commitdiff \| raw \| diff to current

RSS Atom