projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f1a30b3) | patch
adding THEORY_QUANTIFIERS and THEORY_REWRITERULES to the theory enumeration manually...
authorMorgan Deters <mdeters@gmail.com>
Sat, 28 Apr 2012 00:15:52 +0000 (00:15 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 28 Apr 2012 00:15:52 +0000 (00:15 +0000)
commit1706ab1f4f485f42b3fce78490a0b39bc0b06d63
treeabdc7ac3c1c30bf6f0469ee245379469fc6568c9tree
parentf1a30b3fcd4afd2f69e2b2c8a748213f28676752commit | diff
adding THEORY_QUANTIFIERS and THEORY_REWRITERULES to the theory enumeration manually; this will make the LogicInfo commit coming up much easier to integrate into trunk, and will anyway be cleaned up when quantifiers2 branch is merged into trunk.
src/expr/kind_template.h diff | blob | history