projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a077d27) | patch
Always compile RANs (#7979)
authorGereon Kremer <gkremer@stanford.edu>
Mon, 24 Jan 2022 21:43:28 +0000 (13:43 -0800)
committerGitHub <noreply@github.com>
Mon, 24 Jan 2022 21:43:28 +0000 (13:43 -0800)
commitef48e6f4385ef6ff914ad102287e1dc409703718
tree0125b8ae7208c6ec172db53ea389dd78f9fda5f1tree
parenta077d2781380c485cf5586a0107c8c943185a79bcommit | diff
Always compile RANs (#7979)

This PR makes sure that we always compile with real algebraic numbers, following #7976.
src/util/CMakeLists.txt diff | blob | history