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-05	Christopher L. Conway	Typos and renames for code review	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-25	Christopher L. Conway	Adding comments to NodeManager	blob \| commitdiff \| raw \| diff to current
2010-03-23	Tim King	Fixed some memory cleanup and destruction issues with...	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-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-03-02	Morgan Deters	* NodeBuilder work: specifically, convenience builders...	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-26	Morgan Deters	* test/unit/context/context_black.h: Test CDList<>...	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-23	Dejan Jovanović	cosmetic changes, comments, and renaming of Expr relate...	blob \| commitdiff \| raw \| diff to current
2010-02-22	Dejan Jovanović	Merging from branch branches/Liana r241	blob \| commitdiff \| raw \| diff to current
2010-02-19	Morgan Deters	* Attribute infrastructure -- static design. Documenta...	blob \| commitdiff \| raw \| diff to current
2010-02-12	Dejan Jovanović	Changes to hashing that solve the xinetd boolean benchm...	blob \| commitdiff \| raw \| diff to current
2010-02-04	Morgan Deters	remove -- c++ -- emacs tag from source files (it...	blob \| commitdiff \| raw \| diff to current
2010-02-04	Morgan Deters	minor fix for update-copyright.pl; ran update-copyright...	blob \| commitdiff \| raw \| diff to current
2010-01-29	Morgan Deters	fixed CNF conversion, and more modular; CNF conversion...	blob \| commitdiff \| raw \| diff to current
2010-01-26	Morgan Deters	cnf conversion	blob \| commitdiff \| raw \| diff to current
2010-01-26	Morgan Deters	fixes to build structure, util classes, lots of fixes...	blob \| commitdiff \| raw \| diff to current
2009-12-18	Morgan Deters	numerous fixes to nodes; more coming	blob \| commitdiff \| raw \| diff to current
2009-12-17	Morgan Deters	update-copyright.pl now retrieves and incorporates...	blob \| commitdiff \| raw \| diff to current
2009-12-16	Morgan Deters	+ refactoring fixes for expr package based on code...	blob \| commitdiff \| raw \| diff to current
2009-12-16	Morgan Deters	Fixes to the build system:	blob \| commitdiff \| raw \| diff to current

RSS Atom