projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9678f58) | patch
Increase the minimum version of CMake due to the use of 'APPEND' with strings (#4702)
authorAndrew V. Jones <andrew.jones@vector.com>
Tue, 7 Jul 2020 17:06:09 +0000 (18:06 +0100)
committerGitHub <noreply@github.com>
Tue, 7 Jul 2020 17:06:09 +0000 (10:06 -0700)
commit55767b9620f18763b7b56ecefa954202d35fe2d3
tree0fdda51d228145ba8669a1390e6cd154b262de56tree
parent9678f58a7fedab4fc061761c58382f4023686108commit | diff
Increase the minimum version of CMake due to the use of 'APPEND' with strings (#4702)

Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>
CMakeLists.txt diff | blob | history
examples/CMakeLists.txt diff | blob | history