projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
removes unsound cases, adds unrolling
[cvc5.git] / contrib / theoryskel /
2013-09-13 Morgan DetersDocumentation fixes, some code typo fixes, file perms... tree | commitdiff
2013-08-26 Kshitij BansalMerge branch '1.2.x' tree | commitdiff
2013-06-25 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-19 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-08 Morgan DetersFix typos in alttheoryskel tree | commitdiff
2013-04-30 lianahfixed merge conflicts tree | commitdiff
2013-04-24 Morgan DetersTheory "alternates" support tree | commitdiff
2012-07-07 Morgan DetersVarious fixes to documentation---typos, some incomplete... tree | commitdiff
2012-02-27 Morgan Detersfixes to new-theory script; resolves bug #307 tree | commitdiff
2012-02-13 François Bobotprecision in theoryskel tree | commitdiff
2012-02-12 Morgan Detersseparate new-theory components into a "theoryskel"... tree | commitdiff