projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02b58a8) | patch
Set proper system processor for arm64 toolchain (#7665)
authorGereon Kremer <gkremer@stanford.edu>
Mon, 22 Nov 2021 18:54:19 +0000 (10:54 -0800)
committerGitHub <noreply@github.com>
Mon, 22 Nov 2021 18:54:19 +0000 (18:54 +0000)
commite2c3258683d9eba669995149a686cf6b207596a6
tree0bdb0085ba9c43412b218526475fdd84a26a0f3btree
parent02b58a86eb90b2c21fcdf5aabbe8094016a7705fcommit | diff
Set proper system processor for arm64 toolchain (#7665)
cmake/Toolchain-aarch64.cmake diff | blob | history