projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
BV strategy for SMT-EVAL
[cvc5.git] / contrib / new-theory
2013-04-30 lianahfixed merge conflicts blob | commitdiff | raw
2013-04-24 Morgan DetersTheory "alternates" support blob | commitdiff | raw
2012-02-27 Morgan Detersfixes to new-theory script; resolves bug #307 blob | commitdiff | raw | diff to current
2012-02-12 Morgan Detersseparate new-theory components into a "theoryskel"... blob | commitdiff | raw | diff to current
2012-02-11 Morgan Detersensure using bash for new-theory script blob | commitdiff | raw | diff to current
2012-02-10 Morgan Detersscript to ease creating a new theory from scratch ... blob | commitdiff | raw | diff to current