projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 753e84e) | patch
More misc. arithmetic cleanup. Removing unused files and functions. Also removing...
authorTim King <taking@cs.nyu.edu>
Fri, 3 May 2013 19:52:11 +0000 (15:52 -0400)
committerTim King <taking@cs.nyu.edu>
Fri, 3 May 2013 19:52:11 +0000 (15:52 -0400)
commit4c20ab57d70c4812d75af037e95c371c65418333
tree88ae9d4ca928a5bb8536819ccbdbd9031b63684atree
parent753e84e5b3068efe973be1871b6456abf9b9470bcommit | diff
More misc. arithmetic cleanup. Removing unused files and functions. Also removing an ugly forward declaration that was needed to get error set bound information on basic variables.
16 files changed:
src/theory/arith/Makefile.am diff | blob | history
src/theory/arith/bound_counts.cpp [deleted file] blob | history
src/theory/arith/bound_counts.h diff | blob | history
src/theory/arith/callbacks.cpp diff | blob | history
src/theory/arith/callbacks.h diff | blob | history
src/theory/arith/error_set.h diff | blob | history
src/theory/arith/fc_simplex.cpp diff | blob | history
src/theory/arith/linear_equality.cpp diff | blob | history
src/theory/arith/linear_equality.h diff | blob | history
src/theory/arith/pure_update_simplex.cpp [deleted file] blob | history
src/theory/arith/pure_update_simplex.h [deleted file] blob | history
src/theory/arith/simplex-converge.cpp [deleted file] blob | history
src/theory/arith/simplex-converge.h [deleted file] blob | history
src/theory/arith/soi_simplex.cpp diff | blob | history
src/theory/arith/theory_arith_private.cpp diff | blob | history
src/theory/arith/theory_arith_private.h diff | blob | history