projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2cc033) | patch
Add documentation to Node and TNode (closes bug #201).
authorMorgan Deters <mdeters@gmail.com>
Mon, 4 Apr 2011 18:59:33 +0000 (18:59 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 4 Apr 2011 18:59:33 +0000 (18:59 +0000)
commit97f2f155ad238f48b35050088c3cf60cc326b1f3
treeec531843fb8a5ff2fd354ebaf87dfaa87db70c8btree
parenta2cc0337aa53cfb686e26d68f98f2ae176ff1337commit | diff
Add documentation to Node and TNode (closes bug #201).
Also, only build doxygen documentation on stuff in src/,
not test/ or contrib/ or anywhere else.  Hopefully this
turns our 3000+ page user manual into something a little
more useful!
config/doxygen.cfg diff | blob | history
src/expr/node.h diff | blob | history
src/expr/node_value.h diff | blob | history
src/main/main.h diff | blob | history
src/theory/output_channel.h diff | blob | history
test/unit/theory/theory_black.h diff | blob | history