projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69d6fcb) | patch
resolve bug 32; public-facing interface functions in expr package must set current...
authorMorgan Deters <mdeters@gmail.com>
Mon, 22 Feb 2010 07:40:23 +0000 (07:40 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 22 Feb 2010 07:40:23 +0000 (07:40 +0000)
commit6bdd652a8511df2f341b30daec60d5402986ed5b
tree0f506a4d2993f9d9cae70420af3cb58b3ca6b784tree
parent69d6fcbf56ed823461189f2488e5c2b2f44dca02commit | diff
resolve bug 32; public-facing interface functions in expr package must set current NodeManager
src/expr/expr.cpp diff | blob | history
src/expr/expr.h diff | blob | history
src/expr/expr_manager.h diff | blob | history
src/expr/node_manager.h diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/bug32.cvc [new file with mode: 0644] blob