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

2010-06-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw
2010-05-04	Christopher L. Conway	Disabling semantic checks in competition mode.	blob \| commitdiff \| raw \| diff to current
2010-04-06	Morgan Deters	* Add some protected ContextObj accessors for ContextOb...	blob \| commitdiff \| raw \| diff to current
2010-02-27	Christopher L. Conway	Adding --mmap option to use memory-mapped file input...	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-16	Christopher L. Conway	Adding --parse-only option	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	src/expr/kind.h is now automatically generated.	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-12-17	Morgan Deters	addressed some concerns raised by Clark in bug #6 ...	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
2009-11-23	Morgan Deters	fixups, file comments	blob \| commitdiff \| raw \| diff to current
2009-11-19	Morgan Deters	testing framework, configure fixes, incorporations...	blob \| commitdiff \| raw \| diff to current
2009-11-18	Morgan Deters	work on exprs, driver, util	blob \| commitdiff \| raw \| diff to current

RSS Atom