projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91ab039) | patch
script to ease creating a new theory from scratch (will go along with new reference...
authorMorgan Deters <mdeters@gmail.com>
Fri, 10 Feb 2012 23:36:07 +0000 (23:36 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 10 Feb 2012 23:36:07 +0000 (23:36 +0000)
commit008b88abd1d1c2a4b44053bad71654fbade787b2
tree8c4ee41079c3f1bf36422a5b5e68535d572b4d95tree
parent91ab0391fe69419726448d634f8050c105035232commit | diff
script to ease creating a new theory from scratch (will go along with new reference documentation)
contrib/Makefile.am diff | blob | history
contrib/new-theory [new file with mode: 0755] blob