projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e4a3d7e) | patch
(proof-new) Add arith proof macros file to CMake (#5321)
authorAlex Ozdemir <aozdemir@hmc.edu>
Wed, 21 Oct 2020 18:53:20 +0000 (11:53 -0700)
committerGitHub <noreply@github.com>
Wed, 21 Oct 2020 18:53:20 +0000 (13:53 -0500)
commit3c68378f6a87d96b2baadb35988777c06f54727b
tree42265e33f942ea287ef98a7cab1b284ee0200f5dtree
parente4a3d7e78b72d4a8c6704f346540893bab4e00efcommit | diff
(proof-new) Add arith proof macros file to CMake (#5321)
src/CMakeLists.txt diff | blob | history