projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03a1f6a) | patch
adding the variables count to the statistics in the expr manager
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Sat, 26 Feb 2011 07:13:01 +0000 (07:13 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Sat, 26 Feb 2011 07:13:01 +0000 (07:13 +0000)
commit956689a007e6ae107a47a3b5ea4ea683d3bce673
tree7a62bd10c5e7781e7dd6fa1366fd192155d3e5d7tree
parent03a1f6a890027fa11cb0b00713757bc115debeb4commit | diff
adding the variables count to the statistics in the expr manager
src/expr/expr_manager_template.cpp diff | blob | history
src/expr/expr_manager_template.h diff | blob | history
src/theory/bv/kinds diff | blob | history