projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce0e796) | patch
specialized implementation for boolean node attributes ("flags"): they now share...
authorMorgan Deters <mdeters@gmail.com>
Fri, 19 Feb 2010 23:10:02 +0000 (23:10 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 19 Feb 2010 23:10:02 +0000 (23:10 +0000)
commit7697b5218118d71800318472a7423a5b42bee469
tree28f910c4cb5475a3bd70e5669420d55caee4f6d8tree
parentce0e796ad92f040fb75435bd7880bc28a60b0374commit | diff
specialized implementation for boolean node attributes ("flags"): they now share memory words properly; also, implementations of some output functionality
src/expr/Makefile.am diff | blob | history
src/expr/attribute.cpp [deleted file] blob | history
src/expr/attribute.h diff | blob | history
src/util/output.cpp diff | blob | history
src/util/output.h diff | blob | history
test/unit/expr/node_white.h diff | blob | history