projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a25b07c) | patch
separate new-theory components into a "theoryskel" directory so that new files can...
authorMorgan Deters <mdeters@gmail.com>
Sun, 12 Feb 2012 20:59:13 +0000 (20:59 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sun, 12 Feb 2012 20:59:13 +0000 (20:59 +0000)
commit76d8ab99b0a44a318e4bc49bd6203f6464d20d8e
tree24b7df3085cbb3376e7b0366000540c134b91c65tree
parenta25b07cd09b7723009acf4e95fe6575bac553fffcommit | diff
separate new-theory components into a "theoryskel" directory so that new files can be added to it without modifying the script.
configure.ac diff | blob | history
contrib/Makefile.am diff | blob | history
contrib/new-theory diff | blob | history
contrib/theoryskel/Makefile [new file with mode: 0644] blob
contrib/theoryskel/Makefile.am [new file with mode: 0644] blob
contrib/theoryskel/README.WHATS-NEXT [new file with mode: 0644] blob
contrib/theoryskel/kinds [new file with mode: 0644] blob
contrib/theoryskel/theory_DIR.cpp [new file with mode: 0644] blob
contrib/theoryskel/theory_DIR.h [new file with mode: 0644] blob
contrib/theoryskel/theory_DIR_rewriter.h [new file with mode: 0644] blob
contrib/theoryskel/theory_DIR_type_rules.h [new file with mode: 0644] blob