projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a779d33) | patch
Refactor SymFPU dependency (#6218)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 31 Mar 2021 19:16:05 +0000 (21:16 +0200)
committerGitHub <noreply@github.com>
Wed, 31 Mar 2021 19:16:05 +0000 (19:16 +0000)
commitb7210ed60d517aebb25c23a2f407ee59562587dd
tree082a225b399f5db85d3cda3dfe0c410090244433tree
parenta779d33c559e5e494e71ca1a0c744d0275b31b5ccommit | diff
Refactor SymFPU dependency (#6218)

This PR refactors the contrib script to download SymFPU to a cmake external project.
.github/workflows/ci.yml diff | blob | history
cmake/FindSymFPU.cmake diff | blob | history
contrib/get-symfpu [deleted file] blob | history
src/CMakeLists.txt diff | blob | history
src/main/CMakeLists.txt diff | blob | history
src/parser/CMakeLists.txt diff | blob | history
test/api/CMakeLists.txt diff | blob | history
test/unit/CMakeLists.txt diff | blob | history