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

2010-10-03	Morgan Deters	file header documentation regenerated with contributors...	blob \| commitdiff \| raw
2010-07-06	Morgan Deters	Fixes for doubled-statistics (bug 171), a fix to muzzle...	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-04	Morgan Deters	fix to production build	blob \| commitdiff \| raw \| diff to current
2010-07-04	Morgan Deters	With "-d extra-checking", rewrites are now checked...	blob \| commitdiff \| raw \| diff to current
2010-06-29	Morgan Deters	add --default-expr-depth=N command line parameter,...	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	Christopher L. Conway	Disabling semantic checks in competition mode.	blob \| commitdiff \| raw \| diff to current
2010-04-09	Morgan Deters	added experimental "make lcov" target (it runs only...	blob \| commitdiff \| raw \| diff to current
2010-04-01	Morgan Deters	PARSER STUFF:	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-15	Morgan Deters	This checkin resolves bug #57.	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	fix bug 22 (remove tracing from non-trace builds; remov...	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-12	Dejan Jovanović	Fix to compile out Debug(...) << ... statements in...	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-03	Morgan Deters	Addressed many of the concerns of bug 10 (build system...	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-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-08	Morgan Deters	work on propositional layer, expression builder support...	blob \| commitdiff \| raw \| diff to current
2009-12-03	Morgan Deters	parsing/expr/command/result/various other fixes	blob \| commitdiff \| raw \| diff to current
2009-11-24	Morgan Deters	configure option adjustments as per 11/24 meeting;...	blob \| commitdiff \| raw \| diff to current

RSS Atom