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

2013-02-26	lianah	Merge branch '1.0.x'	blob \| commitdiff \| raw
2013-02-24	Andrew Reynolds	added option --model-u-dt-enum for outputting uninterpr...	blob \| commitdiff \| raw
2012-11-30	Tim King	Adding smtname level options for tlimit, rlimit, etc...	blob \| commitdiff \| raw \| diff to current
2012-11-12	Andrew Reynolds	minor bug fixes for quantifiers, added sort inference...	blob \| commitdiff \| raw \| diff to current
2012-10-10	Morgan Deters	Abstract values for SMT-LIB.	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-09-28	Morgan Deters	some fixes to build system	blob \| commitdiff \| raw \| diff to current
2012-09-28	Morgan Deters	Public interface review items:	blob \| commitdiff \| raw \| diff to current
2012-09-15	Morgan Deters	minor interface improvements, compliance fixes	blob \| commitdiff \| raw \| diff to current
2012-09-14	Morgan Deters	Fix a few minor issues in options processing, improving...	blob \| commitdiff \| raw \| diff to current
2012-09-12	Morgan Deters	Adding model assertions after SAT responses.	blob \| commitdiff \| raw \| diff to current
2012-08-31	Andrew Reynolds	merge from fmf-devel branch. more updates to models...	blob \| commitdiff \| raw \| diff to current
2012-08-28	Morgan Deters	Improved compatibility layer, now supports quantifiers...	blob \| commitdiff \| raw \| diff to current
2012-08-06	Morgan Deters	Support setting :regular-output-channel and :diagnostic...	blob \| commitdiff \| raw \| diff to current
2012-07-31	Morgan Deters	Options merge. This commit:	blob \| commitdiff \| raw \| diff to current

RSS Atom