projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 616a0b8) | patch
adding statistics about how many different kinds of expressions we have created in...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Sat, 26 Feb 2011 05:40:55 +0000 (05:40 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Sat, 26 Feb 2011 05:40:55 +0000 (05:40 +0000)
commit03a1f6a890027fa11cb0b00713757bc115debeb4
tree70e22e01967911ced232593e692ea134769e84aatree
parent616a0b85d1abd20f173890025585c640525f07cccommit | diff
adding statistics about how many different kinds of expressions we have created in the expression manager.
this is useful, for example, with --parse-only, to figure out a bit of problem structure
src/expr/expr_manager_template.cpp diff | blob | history
src/expr/expr_manager_template.h diff | blob | history