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

2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw
2014-07-02	Morgan Deters	Fix cut-release script for new configure rules.	blob \| commitdiff \| raw
2013-04-03	Morgan Deters	Pre-release versioning	blob \| commitdiff \| raw \| diff to current
2013-04-03	Morgan Deters	Some final minor changes before cutting 1.1.	blob \| commitdiff \| raw \| diff to current
2013-03-20	Liana Hadarean	merged master with dejan's constant evaluating equality...	blob \| commitdiff \| raw \| diff to current
2013-03-19	Morgan Deters	Remove PropositionalQuery class and all CUDD-related...	blob \| commitdiff \| raw \| diff to current
2012-12-01	Morgan Deters	Cutting release 1.0.	blob \| commitdiff \| raw \| diff to current
2012-12-01	Morgan Deters	fix cut-release sanity checks	blob \| commitdiff \| raw \| diff to current
2012-11-30	Morgan Deters	minor fix to release script	blob \| commitdiff \| raw \| diff to current
2012-10-08	Morgan Deters	* Models' SubstitutionMaps are now attached to the...	blob \| commitdiff \| raw \| diff to current
2012-10-06	Morgan Deters	* Clean up some options documentation	blob \| commitdiff \| raw \| diff to current
2012-06-16	Morgan Deters	updated build script for smt-comp submission	blob \| commitdiff \| raw \| diff to current
2011-11-01	Morgan Deters	Improvements to header installation on user machines...	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current