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

2010-10-06	Morgan Deters	declare-sort, define-sort working but not thoroughly...	blob \| commitdiff \| raw
2010-06-30	Morgan Deters	* theory "tree" rewriting implemented and works	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-05-04	Dejan Jovanović	Type-checking classes and hooks (not tested yet).	blob \| commitdiff \| raw \| diff to current
2010-03-30	Morgan Deters	Highlights of this commit are:	blob \| commitdiff \| raw \| diff to current
2010-02-26	Tim King	TheoryUFWhite tests are added. There are also accompany...	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-22	Dejan Jovanović	finally works	blob \| commitdiff \| raw
2010-02-22	Dejan Jovanović	Merging from branch branches/Liana r241	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-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-22	Morgan Deters	fix bug 22 (remove tracing from non-trace builds; remov...	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	Dejan Jovanović	beautification of the prop engine	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-04	Tim King	Fixes to the cnf converter. Also a barebones utility...	blob \| commitdiff \| raw \| diff to current
2010-02-03	Dejan Jovanović	simple ITE parsing	blob \| commitdiff \| raw \| diff to current
2010-02-03	Tim King	Within node I added printAst(..) for general purpose...	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	Tim King	Small refactoring changes for the expr package.	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