projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3ba7ed6) | patch
New, uniform checkTime statistic for all theories (as discussed in meeting).
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 13 Nov 2014 00:42:23 +0000 (19:42 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 17 Nov 2014 21:21:40 +0000 (16:21 -0500)
commita64af5c3903cbe75214016aef4b5a3994256e6f8
tree1d5d8ee15a53d2576cf61ffbbc3efb2aaf962f53tree
parent3ba7ed6b1b09739385ae2ffb77a5c7ccd18b40a5commit | diff
New, uniform checkTime statistic for all theories (as discussed in meeting).
18 files changed:
contrib/alttheoryskel/theory_DIR.cpp diff | blob | history
contrib/theoryskel/theory_DIR.cpp diff | blob | history
src/theory/arith/theory_arith_private.cpp diff | blob | history
src/theory/arrays/theory_arrays.cpp diff | blob | history
src/theory/arrays/theory_arrays.h diff | blob | history
src/theory/bv/theory_bv.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/example/theory_uf_tim.cpp diff | blob | history
src/theory/idl/theory_idl.cpp diff | blob | history
src/theory/quantifiers/theory_quantifiers.cpp diff | blob | history
src/theory/quantifiers/theory_quantifiers.h diff | blob | history
src/theory/sets/theory_sets.cpp diff | blob | history
src/theory/sets/theory_sets_private.cpp diff | blob | history
src/theory/sets/theory_sets_private.h diff | blob | history
src/theory/strings/theory_strings.cpp diff | blob | history
src/theory/theory.cpp diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/uf/theory_uf.cpp diff | blob | history