projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8dae2b1) | patch
fixes to new-theory script; resolves bug #307
authorMorgan Deters <mdeters@gmail.com>
Mon, 27 Feb 2012 22:51:53 +0000 (22:51 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 27 Feb 2012 22:51:53 +0000 (22:51 +0000)
commite892d95b55fd93fb5b92c230447b5e135da8e07a
treed8ed93b8f472813a0e324df3e13919ac8c2aa745tree
parent8dae2b1d76de678be272df097259901463bdccbbcommit | diff
fixes to new-theory script; resolves bug #307
contrib/new-theory diff | blob | history
contrib/theoryskel/README.WHATS-NEXT diff | blob | history
contrib/theoryskel/theory_DIR.cpp diff | blob | history