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

2010-10-03	Morgan Deters	file header documentation regenerated with contributors...	blob \| commitdiff \| raw
2010-09-21	Morgan Deters	fix statistics-registry-related memory leaks	blob \| commitdiff \| raw \| diff to current
2010-08-20	Dejan Jovanović	updating the minisat restart parameters after running...	blob \| commitdiff \| raw \| diff to current
2010-08-15	Dejan Jovanović	(no commit message)	blob \| commitdiff \| raw \| diff to current
2010-07-07	Clark Barrett	Added shared term manager. Basic mechanism for identif...	blob \| commitdiff \| raw \| diff to current
2010-07-04	Morgan Deters	Considerably simplified the way output streams are...	blob \| commitdiff \| raw \| diff to current
2010-07-02	Morgan Deters	re-generated comment headers of source files	blob \| commitdiff \| raw \| diff to current
2010-06-29	Tim King	Merging the unate-propagator branch into the trunk...	blob \| commitdiff \| raw \| diff to current
2010-06-18	Tim King	Merging the statistics branch into the main trunk....	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-25	Dejan Jovanović	Some initial changes to allow for lemmas on demand.	blob \| commitdiff \| raw \| diff to current
2010-05-14	Christopher L. Conway	Adding debugging code in PropEngine/CnfStream	blob \| commitdiff \| raw \| diff to current
2010-05-14	Christopher L. Conway	Virtualizing interface between CnfStream and SatSolver	blob \| commitdiff \| raw \| diff to current
2010-05-13	Christopher L. Conway	Minor refactorings to PropEngine, SatSolver	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-12	Dejan Jovanović	Fixing unnecessary construction of NOT nodes when...	blob \| commitdiff \| raw \| diff to current
2010-03-12	Morgan Deters	* Added shutdown() functions to SmtEngine, TheoryEngine...	blob \| commitdiff \| raw \| diff to current
2010-03-11	Dejan Jovanović	Changing const TNode& to TNode in the CNF conversion...	blob \| commitdiff \| raw \| diff to current
2010-03-11	Dejan Jovanović	Fix for the main bug that was bugging me -- Bug 49...	blob \| commitdiff \| raw \| diff to current
2010-03-08	Dejan Jovanović	adding simple-uf to the regressions, and the code that...	blob \| commitdiff \| raw \| diff to current
2010-03-08	Dejan Jovanović	some more sat stuff for tim: assertions now go to theory_uf	blob \| commitdiff \| raw \| diff to current
2010-03-04	Dejan Jovanović	Adding phase-caching to minisat.	blob \| commitdiff \| raw \| diff to current
2010-03-03	Dejan Jovanović	Some SAT stuff, not doing anything special yet, just...	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-22	Morgan Deters	* configure.ac: Remove doc/ from search path for Makefi...	blob \| commitdiff \| raw \| diff to current
2010-02-13	Dejan Jovanović	simplification minisat	blob \| commitdiff \| raw \| diff to current
2010-02-09	Dejan Jovanović	Changes to the CNF conversion and the SAT solver. All...	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
2009-12-17	Morgan Deters	update-copyright.pl now retrieves and incorporates...	blob \| commitdiff \| raw \| diff to current
2009-11-19	Morgan Deters	testing framework, configure fixes, incorporations...	blob \| commitdiff \| raw \| diff to current
2009-11-17	Morgan Deters	from meeting	blob \| commitdiff \| raw \| diff to current

RSS Atom