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

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-06	Morgan Deters	* Add some protected ContextObj accessors for ContextOb...	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-25	Christopher L. Conway	Adding comments to NodeManager	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-03-05	Morgan Deters	* public/private code untangled (smt/smt_engine.h no...	blob \| commitdiff \| raw \| diff to current
2010-02-26	Morgan Deters	* test/unit/context/context_black.h: Test CDList<>...	blob \| commitdiff \| raw \| diff to current
2010-02-26	Dejan Jovanović	Changing the hashing in attributes to what Nodes do...	blob \| commitdiff \| raw \| diff to current
2010-02-25	Morgan Deters	* src/expr/node_builder.h: fixed some overly-aggressive...	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-24	Tim King	Committing small changes to attribute, and theory to...	blob \| commitdiff \| raw \| diff to current
2010-02-22	Morgan Deters	* src/expr/attribute.h: fixed an issue with "const...	blob \| commitdiff \| raw \| diff to current
2010-02-22	Morgan Deters	* configure.ac: Remove doc/ from search path for Makefi...	blob \| commitdiff \| raw \| diff to current
2010-02-22	Morgan Deters	Re-committing revision 232 properly:	blob \| commitdiff \| raw \| diff to current
2010-02-22	Morgan Deters	undoing improperly-committed revision 232; will re...	blob \| commitdiff \| raw \| diff to current
2010-02-22	Cesare Tinelli	* Add virtual destructors to CnfStream, Theory, OutputC...	blob \| commitdiff \| raw \| diff to current
2010-02-19	Morgan Deters	specialized implementation for boolean node attributes...	blob \| commitdiff \| raw \| diff to current
2010-02-19	Morgan Deters	* Attribute infrastructure -- static design. Documenta...	blob \| commitdiff \| raw \| diff to current

RSS Atom