summaryrefslogtreecommitdiff
path: root/src/util/floatingpoint.h
AgeCommit message (Expand)Author
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-25FP: Refactor FloatingPointLiteral in preparation for MPFR. (#6206)Aina Niemetz
2021-03-16cmake: Generate cvc4_export.h and set visibility to hidden. (#6139)Mathias Preiner
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2020-11-30floatingpoint: Use unique_ptr for FloatingPointLiteral pointer. (#5503)Aina Niemetz
2020-11-20Rename floatingpoint.h.in -> floatingpoin.h. (#5500)Aina Niemetz
2018-06-20Resolve CVC4_USE_SYMFPU in headers at config-time (#2077)Andres Noetzli
2018-05-15Floating point theory solver based on SymFPU (#1895)Martin
2017-09-18Floating point symfpu support (#1103)Martin
2017-07-07Update copyright headers.Mathias Preiner
2016-10-13Initializes RoundingMode::roundNearestTiesToAway to a distinct value.Tim King
2016-04-20update from the masterPaulMeng
2015-12-30Shuffling around public vs. private headersTim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2014-12-03Floating point infrastructure.Martin Brain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback