diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-11-20 17:30:43 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-20 17:30:43 -0800 |
commit | 2a1e97cb8bc0ce7ab102035c3e481465fc59ec12 (patch) | |
tree | e21abf8e29cc04b79498d11757b37904345c32a9 /src/util | |
parent | 729e5f91dd6979cf529e449fa9217e1007d13349 (diff) |
Rename symfpu_literal.(h.in|cpp) -> floatingpoint_literal_symfpu.(h.in|cpp). (#5502)
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/CMakeLists.txt | 4 | ||||
-rw-r--r-- | src/util/floatingpoint.cpp | 2 | ||||
-rw-r--r-- | src/util/floatingpoint_literal_symfpu.cpp (renamed from src/util/symfpu_literal.cpp) | 4 | ||||
-rw-r--r-- | src/util/floatingpoint_literal_symfpu.h.in (renamed from src/util/symfpu_literal.h.in) | 6 |
4 files changed, 8 insertions, 8 deletions
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt index a9b0b1dca..24e485f5e 100644 --- a/src/util/CMakeLists.txt +++ b/src/util/CMakeLists.txt @@ -8,7 +8,7 @@ ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. ## -configure_file(symfpu_literal.h.in symfpu_literal.h) +configure_file(floatingpoint_literal_symfpu.h.in floatingpoint_literal_symfpu.h) configure_file(rational.h.in rational.h) configure_file(integer.h.in integer.h) configure_file(real_algebraic_number.h.in real_algebraic_number.h) @@ -62,7 +62,7 @@ libcvc4_add_sources( statistics_registry.h string.cpp string.h - symfpu_literal.cpp + floatingpoint_literal_symfpu.cpp tuple.h unsafe_interrupt_exception.h utility.cpp diff --git a/src/util/floatingpoint.cpp b/src/util/floatingpoint.cpp index 4e4b076f0..c5ec4d0c6 100644 --- a/src/util/floatingpoint.cpp +++ b/src/util/floatingpoint.cpp @@ -23,8 +23,8 @@ #include <limits> #include "base/check.h" +#include "util/floatingpoint_literal_symfpu.h" #include "util/integer.h" -#include "util/symfpu_literal.h" #ifdef CVC4_USE_SYMFPU #include "symfpu/core/add.h" diff --git a/src/util/symfpu_literal.cpp b/src/util/floatingpoint_literal_symfpu.cpp index b916d62f9..fb5c0b7b5 100644 --- a/src/util/symfpu_literal.cpp +++ b/src/util/floatingpoint_literal_symfpu.cpp @@ -1,5 +1,5 @@ /********************* */ -/*! \file symfpu_literal.cpp +/*! \file floatingpoint_literal_symfpu.cpp ** \verbatim ** Top contributors (to current version): ** Martin Brain, Aina Niemetz @@ -11,7 +11,7 @@ ** ** \brief SymFPU glue code for floating-point values. **/ -#include "util/symfpu_literal.h" +#include "util/floatingpoint_literal_symfpu.h" #include "base/check.h" diff --git a/src/util/symfpu_literal.h.in b/src/util/floatingpoint_literal_symfpu.h.in index e477bb0c1..06a98b7ea 100644 --- a/src/util/symfpu_literal.h.in +++ b/src/util/floatingpoint_literal_symfpu.h.in @@ -1,5 +1,5 @@ /********************* */ -/*! \file symfpu_literal.h.in +/*! \file floatingpoint_literal_symfpu.h.in ** \verbatim ** Top contributors (to current version): ** Aina Niemetz, Martin Brain, Andres Noetzli @@ -15,8 +15,8 @@ **/ #include "cvc4_public.h" -#ifndef CVC4__SYMFPULITERAL__SYMFPU_LITERAL_H -#define CVC4__SYMFPULITERAL__SYMFPU_LITERAL_H +#ifndef CVC4__UTIL__FLOATINGPOINT_LITERAL_SYMFPU_H +#define CVC4__UTIL__FLOATINGPOINT_LITERAL_SYMFPU_H #include "util/bitvector.h" #include "util/roundingmode.h" |