projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix unif trace (#2550)
[cvc5.git] / contrib / run-script-casc24-fnt
2013-09-30 Liana Hadareanmerged golden blob | commitdiff | raw
2013-08-26 Kshitij BansalMerge branch '1.2.x' blob | commitdiff | raw
2013-06-25 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw
2013-06-19 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw
2013-06-04 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw
2013-06-03 Morgan DetersMerge tag 'casc24' blob | commitdiff | raw
2013-06-03 Morgan DetersUpdated CASC scripts, as provided to Geoff Sutcliffe blob | commitdiff | raw
2013-05-29 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-22 Andrew ReynoldsMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-05-21 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-21 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-20 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-20 Andrew ReynoldsPossible final version of run scripts for casc. blob | commitdiff | raw | diff to current
2013-05-14 Andrew ReynoldsUpdate casc24-fnt run script. Add casc24-fof run script. blob | commitdiff | raw | diff to current
2013-05-11 Andrew ReynoldsPreliminary version of finite model finding over bounde... blob | commitdiff | raw | diff to current
2013-05-10 Andrew ReynoldsUpdate casc run script. Work on compliance for SZS... blob | commitdiff | raw | diff to current
2013-05-10 Andrew ReynoldsAdd simplification option --fo-prop-quant. Add model... blob | commitdiff | raw | diff to current