git.libre-soc.org Git - cvc5.git/history - src/smt/modal

2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw
2013-04-02	Morgan Deters	Regenerated copyrights: canonicalized names, no emails	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	update copyrights	blob \| commitdiff \| raw \| diff to current
2012-10-11	Morgan Deters	Standardizing copyright notice. Touches ALL source...	blob \| commitdiff \| raw \| diff to current
2011-09-02	Morgan Deters	Merge from my post-smtcomp branch. Includes:	blob \| commitdiff \| raw \| diff to current
2010-10-07	Morgan Deters	type checking for define-fun in production builds;...	blob \| commitdiff \| raw \| diff to current