projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
remove runscripts from master meant for experimental submission
[cvc5.git] / contrib / alttheoryskel /
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-11-17 Morgan DetersNew, uniform checkTime statistic for all theories ... tree | commitdiff
2014-04-06 Tim KingMerge pull request #21 from pcc/ite-fix tree | commitdiff
2014-04-01 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-04-01 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-03-31 Morgan DetersTravis-CI test for new-theory script, also related... tree | commitdiff
2013-11-12 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-11-12 Morgan DetersFix new-theory script for new, flattened build system. tree | commitdiff
2013-04-30 lianahfixed merge conflicts tree | commitdiff
2013-04-24 Morgan DetersTheory "alternates" support tree | commitdiff