projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 968f250) | patch
Merging the statistics branch into the main trunk. I'll go over how to use this Tuesd...
authorTim King <taking@cs.nyu.edu>
Fri, 18 Jun 2010 22:24:59 +0000 (22:24 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 18 Jun 2010 22:24:59 +0000 (22:24 +0000)
commitfd6af9181e763cd9564245114cfa47f3952484db
tree0b058ad4e0624f1bf11ed9c65d63a4cfbdbdc66etree
parent968f250b473d97db537aa7628bf111d15a2db299commit | diff
Merging the statistics branch into the main trunk. I'll go over how to use this Tuesday during the meeting. You'll need to run autogen and receonfigure after updating.
17 files changed:
configure.ac diff | blob | history
src/main/main.cpp diff | blob | history
src/prop/prop_engine.h diff | blob | history
src/prop/sat.h diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arith/theory_arith.h diff | blob | history
src/theory/theory_engine.h diff | blob | history
src/util/Makefile.am diff | blob | history
src/util/bitvector.cpp diff | blob | history
src/util/bitvector.h diff | blob | history
src/util/gmp_util.h diff | blob | history
src/util/hash.h diff | blob | history
src/util/integer.h diff | blob | history
src/util/rational.h diff | blob | history
src/util/sexpr.h diff | blob | history
src/util/stats.cpp [new file with mode: 0644] blob
src/util/stats.h [new file with mode: 0644] blob