projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 200a0b7) | patch
This commit merges the decaying-rows branch into the main trunk.
authorTim King <taking@cs.nyu.edu>
Tue, 29 Jun 2010 22:01:30 +0000 (22:01 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 29 Jun 2010 22:01:30 +0000 (22:01 +0000)
commitb1200db566d19132a3f0861eeef35f3c0aaa0a08
tree9d7855232f833230ca5d92cb8948e5b894dff197tree
parent200a0b748085004595a948fdea7c73a5ab45bdcfcommit | diff
This commit merges the decaying-rows branch into the main trunk.
src/theory/arith/Makefile.am diff | blob | history
src/theory/arith/arith_activity.h [new file with mode: 0644] blob
src/theory/arith/partial_model.cpp diff | blob | history
src/theory/arith/partial_model.h diff | blob | history
src/theory/arith/tableau.h diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arith/theory_arith.h diff | blob | history