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

2014-01-08	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw
2014-01-08	Morgan Deters	Switch license default back to BSD, and add --best...	blob \| commitdiff \| raw
2013-12-17	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-12-17	Morgan Deters	Merge branch '1.3.x'	blob \| commitdiff \| raw \| diff to current
2013-12-17	Morgan Deters	some config changes: new --bsd option, readline gives...	blob \| commitdiff \| raw \| diff to current
2012-11-27	Morgan Deters	more mac fixes	blob \| commitdiff \| raw \| diff to current
2012-11-27	Morgan Deters	fix for some Mac builds	blob \| commitdiff \| raw \| diff to current
2012-10-24	Morgan Deters	Includes many fixes to build system for Solaris (thanks...	blob \| commitdiff \| raw \| diff to current
2012-10-06	Morgan Deters	* Clean up some options documentation	blob \| commitdiff \| raw \| diff to current
2012-09-21	Morgan Deters	SMT-LIBv2 compliance updates:	blob \| commitdiff \| raw \| diff to current
2012-03-30	Dejan Jovanović	fixing some build systme warnings	blob \| commitdiff \| raw \| diff to current
2012-02-22	Morgan Deters	make sure to clear out READLINE_LIBS if readline causes...	blob \| commitdiff \| raw \| diff to current
2012-02-20	Morgan Deters	readline links in -ltermcap -ltinfo too (fixes breakage...	blob \| commitdiff \| raw \| diff to current
2011-10-19	Morgan Deters	fix bug #264: competition / other static library builds...	blob \| commitdiff \| raw \| diff to current
2011-05-02	Morgan Deters	fix for configure	blob \| commitdiff \| raw \| diff to current
2011-05-02	Morgan Deters	more minor fixes related to last few commits	blob \| commitdiff \| raw \| diff to current
2011-05-01	Morgan Deters	minor fixes, plus experimental readline support in...	blob \| commitdiff \| raw \| diff to current

RSS Atom