git.libre-soc.org Git - cvc5.git/history - contrib/run-script-smtcomp2015-experimental

2015-06-11	ajreynol	Update experimental scripts. Support top-level non...	blob \| commitdiff \| raw
2015-06-09	Kshitij Bansal	bump thread stack size to 1 GB	blob \| commitdiff \| raw \| diff to current
2015-06-09	ajreynol	Bug fix instantiations for fmf-bound-int. Disable...	blob \| commitdiff \| raw \| diff to current
2015-06-04	Kshitij Bansal	sync exerimental scripts with regular ones	blob \| commitdiff \| raw \| diff to current
2015-06-03	Kshitij Bansal	experimental run scripts	blob \| commitdiff \| raw \| diff to current