projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6edbfc9) | patch
Rename floatingpoint.h.in -> floatingpoin.h. (#5500)
authorAina Niemetz <aina.niemetz@gmail.com>
Sat, 21 Nov 2020 00:32:03 +0000 (16:32 -0800)
committerGitHub <noreply@github.com>
Sat, 21 Nov 2020 00:32:03 +0000 (16:32 -0800)
commit729e5f91dd6979cf529e449fa9217e1007d13349
treed04f5f7a6bb573c969544bb5d3cbe07b8e88dd6btree
parent6edbfc98df1e9302f5051e33accc328ad7250c2bcommit | diff
Rename floatingpoint.h.in -> floatingpoin.h. (#5500)
src/CMakeLists.txt diff | blob | history
src/util/CMakeLists.txt diff | blob | history
src/util/floatingpoint.h [new file with mode: 0644] blob
src/util/floatingpoint.h.in [deleted file] blob | history