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

[cvc5.git] / src / expr / node_manager.cpp

2010-06-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw
2010-05-28	Tim King	Moving the ITE removal from CnfStream to TheoryEngine...	blob \| commitdiff \| raw \| diff to current
2010-05-27	Morgan Deters	fix bug #134: infinite deallocation loop	blob \| commitdiff \| raw \| diff to current
2010-05-27	Christopher L. Conway	Adding NodeManager::prepareToBeDestroyed() (Fixes:...	blob \| commitdiff \| raw \| diff to current
2010-05-04	Dejan Jovanović	Type-checking classes and hooks (not tested yet).	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-05	Christopher L. Conway	Adding black-box tests for NodeManager (Closes bug...	blob \| commitdiff \| raw \| diff to current
2010-04-05	Christopher L. Conway	Typos and renames for code review	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-01	Morgan Deters	reran update-copyright.pl to get new contributors and...	blob \| commitdiff \| raw \| diff to current
2010-03-30	Morgan Deters	Highlights of this commit are:	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-16	Morgan Deters	* test/unit/Makefile.am, test/unit/expr/attribute_white.h,	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-02-25	Christopher L. Conway	Adding Node::getOperator()	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	Christopher L. Conway	Minor optimizations to parser (use const string& for...	blob \| commitdiff \| raw \| diff to current
2010-02-22	Christopher L. Conway	Switching to types-as-attributes in parser	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-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-02-01	Morgan Deters	fix node manager code (bugzilla #15, comment #2) in...	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	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-17	Morgan Deters	+ test infrastructure fixes	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
2009-12-11	Dejan Jovanović	Extracted the public Expr and ExprManager interface...	blob \| commitdiff \| raw \| diff to current
2009-12-10	Dejan Jovanović	killing expr into node...	blob \| commitdiff \| raw \| diff to current

RSS Atom