git.libre-soc.org Git - cvc5.git/history - test/regress/regress0/bug567.smt2

2014-09-03	ajreynol	Implement and enable --dt-var-exp-quant, cleanup trace...	blob \| commitdiff \| raw
2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Merge pull request #44 from mdeters/prio-queue-updates	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Merge pull request #45 from mdeters/turn-off-strings-exp	blob \| commitdiff \| raw \| diff to current
2014-06-30	Kshitij Bansal	Merge pull request #47 from kbansal/sets	blob \| commitdiff \| raw \| diff to current
2014-06-26	Morgan Deters	Merge tag 'smtcomp2014-resubmission'	blob \| commitdiff \| raw \| diff to current
2014-06-22	Kshitij Bansal	Renaming of SMT2 operator names, kinds for set theory	blob \| commitdiff \| raw \| diff to current
2014-06-22	Morgan Deters	Merge tag 'smtcomp2014-application'	blob \| commitdiff \| raw \| diff to current
2014-06-19	Kshitij Bansal	forgot to add the test with fix	blob \| commitdiff \| raw \| diff to current
2014-06-18	Kshitij Bansal	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2014-06-18	Kshitij Bansal	forgot to add the test with fix	blob \| commitdiff \| raw \| diff to current