projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 755c90b) | patch
adding THEORY_QUANTIFIERS and THEORY_REWRITERULES to the theory enumeration manually...
authorMorgan Deters <mdeters@gmail.com>
Fri, 27 Apr 2012 23:03:33 +0000 (23:03 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 27 Apr 2012 23:03:33 +0000 (23:03 +0000)
commit6be51b6ca979db872b63b4903d4bdd932845bfe2
treeabdc7ac3c1c30bf6f0469ee245379469fc6568c9tree
parent755c90b722f3182343f1d8603ab63a2dad1f001ecommit | 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