projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0daac05) | patch
SymFPU: Automatically apply patch from 2020-11-14. (#6471)
authorAina Niemetz <aina.niemetz@gmail.com>
Mon, 3 May 2021 17:48:06 +0000 (10:48 -0700)
committerGitHub <noreply@github.com>
Mon, 3 May 2021 17:48:06 +0000 (17:48 +0000)
commitfc98e575192e6a07e0cb56118d8800ee7c98c6a0
tree8527068312c9c48c6346116d922fbe91ada64b60tree
parent0daac05ab78459a3f3d773daea41e5eee9aa78f2commit | diff
SymFPU: Automatically apply patch from 2020-11-14. (#6471)

This automatically applies @martin-cs's working patch from 2020-11-14.
It fixes several issues, all covered open issues are added as
regression tests.

Fixes #3582.
Fixes #5511.
Fixes #6164.
.github/workflows/ci.yml diff | blob | history
cmake/FindSymFPU.cmake diff | blob | history
cmake/deps-utils/SymFPU-patch-20201114.patch [new file with mode: 0644] blob
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/fp/from_ubv.smt2 [new file with mode: 0644] blob
test/regress/regress0/fp/issue3582.smt2 [new file with mode: 0644] blob
test/regress/regress0/fp/issue5511.smt2 [new file with mode: 0644] blob
test/regress/regress0/fp/issue6164.smt2 [new file with mode: 0644] blob