projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a6ce4fb) | patch
Add utilities for arith/proof_checker and build it (#5157)
authorAlex Ozdemir <aozdemir@hmc.edu>
Tue, 29 Sep 2020 03:14:47 +0000 (20:14 -0700)
committerGitHub <noreply@github.com>
Tue, 29 Sep 2020 03:14:47 +0000 (22:14 -0500)
commitb830fb6747b5a5304100217e91481d9cc6c4f1c5
tree543bec0e587e5e9e81a3f4620ffa9f6864b69d90tree
parenta6ce4fb305e95d8956dcb2bdb57d801b8d092206commit | diff
Add utilities for arith/proof_checker and build it (#5157)

The arith proof checker was not being built (not in cmake). Now it is. A
few dependencies were missing.
src/CMakeLists.txt diff | blob | history
src/theory/arith/arith_utilities.cpp diff | blob | history
src/theory/arith/arith_utilities.h diff | blob | history