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

2014-01-18	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw
2014-01-17	Kshitij Bansal	Merge branch '1.3.x'	blob \| commitdiff \| raw
2014-01-17	Kshitij Bansal	enable search for html doc	blob \| commitdiff \| raw
2013-09-30	Liana Hadarean	merged golden	blob \| commitdiff \| raw \| diff to current
2013-08-26	Kshitij Bansal	Merge branch '1.2.x'	blob \| commitdiff \| raw \| diff to current
2013-07-29	Morgan Deters	Fix numerous compiler warnings on various platforms	blob \| commitdiff \| raw \| diff to current
2012-08-29	Morgan Deters	* Numerous documentation fixes (fix doxygen warnings...	blob \| commitdiff \| raw \| diff to current
2012-07-08	Morgan Deters	Bugs resolved by this commit: #314, #322, #359, #364...	blob \| commitdiff \| raw \| diff to current
2011-09-16	Morgan Deters	final(?) documentation fixes	blob \| commitdiff \| raw \| diff to current
2011-09-16	Morgan Deters	new, improved doxygen config file	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2011-05-23	Morgan Deters	fixes for "make dist" and "make doc", minor cleanups	blob \| commitdiff \| raw \| diff to current
2011-04-04	Morgan Deters	Add documentation to Node and TNode (closes bug #201).	blob \| commitdiff \| raw \| diff to current
2010-04-13	Christopher L. Conway	Doxygen fixes	blob \| commitdiff \| raw \| diff to current
2010-02-18	Christopher L. Conway	Adding doxygen configuration parameters and doxygen...	blob \| commitdiff \| raw \| diff to current

RSS Atom