projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ecdd098) | patch
Minor cleanup. No performance difference expected.
authorMorgan Deters <mdeters@gmail.com>
Mon, 13 Aug 2012 19:46:27 +0000 (19:46 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 13 Aug 2012 19:46:27 +0000 (19:46 +0000)
commitdb2c74345f23b68a2421c15878311414a71cf210
tree650340a3bc6e5f11c31942a5d4eef27a45adf2e7tree
parentecdd09877ecc4c07a22cc27cd2dd5441134476bacommit | diff
Minor cleanup.  No performance difference expected.
src/expr/node_manager.h diff | blob | history
src/theory/builtin/theory_builtin_type_rules.h diff | blob | history