diff options
author | Martin <martin.brain@diffblue.com> | 2017-09-19 01:14:05 +0100 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2017-09-18 17:14:05 -0700 |
commit | 61a846a4998be697867292924454893271eb6496 (patch) | |
tree | 7d1c5a5cadb8a5c538efea00abdd82b5681b809a /src/util/regexp.cpp | |
parent | 053003a64bde91aa32f688d248d83c3d4f271250 (diff) |
Floating point symfpu support (#1103)
- Update the parser to the new constant construction
- Fix the problem with parsing +/-zero and remove some dead code
- Extend the interface for literal floating-point values.
- Add a constructor so that a parameteric operator structure can be created from a type
- Add constructors so parametric operator constants can be easily converted
- Update SMT2 printing so that it uses the informative output
Diffstat (limited to 'src/util/regexp.cpp')
0 files changed, 0 insertions, 0 deletions