projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cbd51a7) | patch
moving built-in kinds out of the kind.h prologue/middle for uniformity; added TUPLE...
authorMorgan Deters <mdeters@gmail.com>
Tue, 9 Feb 2010 19:20:32 +0000 (19:20 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 9 Feb 2010 19:20:32 +0000 (19:20 +0000)
commit05fd8c08ecbe4b9056833d10b4a15061dba00a57
tree780b10f3b96a3c848766d4f7dbda590e352a3b30tree
parentcbd51a7c0219f7ced9d48ef3810c440dda1fe8e5commit | diff
moving built-in kinds out of the kind.h prologue/middle for uniformity; added TUPLE built-in
src/expr/Makefile.am diff | blob | history
src/expr/builtin_kinds [new file with mode: 0644] blob
src/expr/kind_middle.h diff | blob | history
src/expr/kind_prologue.h diff | blob | history