summaryrefslogtreecommitdiff
path: root/src/theory/fp
AgeCommit message (Expand)Author
2020-03-05Enable -Wshadow and fix warnings. (#3909)Mathias Preiner
2020-02-26Initial work towards -Wshadow (#3817)Andrew Reynolds
2020-02-04--fp-exp: Better warning message. (#3709)Aina Niemetz
2019-12-18Avoid calling rewriter from type checker (#3548)Andres Noetzli
2019-12-12 FP converter: convert: Use std::vector as instead of std::stack. (#3563)Aina Niemetz
2019-12-09Make theory rewriters non-static (#3547)Andres Noetzli
2019-10-30Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)Mathias Preiner
2019-06-02Enable SymFPU assertions in production (#3036)Andres Noetzli
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-04-05fix fp issue (#2940)Haniel Barbosa
2019-04-04Ignoring FP benchmarks with "unsafe" sizes unless option (#2931)Haniel Barbosa
2019-04-03Update copyright headers.Aina Niemetz
2019-04-01FP: Fix wrong model due to partial assignment (#2910)Andres Noetzli
2019-03-26Update copyright headers.Aina Niemetz
2019-01-15 Fix unsound double abs rewrite rule for FP (#2792)Andrew Reynolds
2018-12-19Fix issues with REWRITE_DONE in floating point rewriter (#2762)Andrew Reynolds
2018-11-21Obvious rewrites to floating-point < and <=. (#2706)Martin
2018-11-21 Fix type enumerator for FP (#2717)Andrew Reynolds
2018-10-03Fix compiler warnings. (#2585)Aina Niemetz
2018-09-22cmake: Remove unused CMakeLists.txtMathias Preiner
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-08-28Remove throw specifiers in FP type checker (#2392)Andres Noetzli
2018-08-28Remove dead code in fp_converter (#2388)Andres Noetzli
2018-07-15Avoid ambiguous overloads in BitVector (#2169)Andres Noetzli
2018-07-06Feature/fp rewrite improvement (#2154)Martin
2018-06-25Updated copyright headers.Aina Niemetz
2018-06-10Fix equality conflicts reported by FP (#2064)Andrew Reynolds
2018-06-04Enable cegqi (with model values) for floating point by default (#2023)Andrew Reynolds
2018-05-24Fix compiler warnings (#1959)Andres Noetzli
2018-05-15Floating point theory solver based on SymFPU (#1895)Martin
2018-03-06Make statistics output consistent. (#1647)Mathias Preiner
2018-03-05Enable -Wsuggest-override by default. (#1643)Mathias Preiner
2018-02-07Fixing more inconsistent usages of override. (#1575)Tim King
2018-02-06Resolving warnings from -Winconsistent-missing-override on clang. (#1563)Tim King
2018-01-26Removing structurally dead code. (#1540)Tim King
2017-12-08Make collect model info return a Bool (#1421)Andrew Reynolds
2017-10-09Add skeleton of the FP theory solver (#1130)Martin
2017-10-02Add 5 FP kinds for partial to total fn conversion (#1128)Martin
2017-10-01Removing throw specifiers from TypeEnumeratorBase's operator* and isFinished....Tim King
2017-09-26Fix type checking of to_real (#1127)Martin Brain
2017-09-26Improve FP rewriter: const folding, other (#1126)Martin Brain
2017-09-19Add FP type enumerator and cardinality computer (#1104)Martin
2017-09-14Make floating-point comparison operators chainable (#1101)Martin
2017-09-13Floating point symfpu support (#1093)Martin
2017-07-07Update copyright headers.Mathias Preiner
2016-10-02Removing the throw specifiers from theory_fp_type_rules.h.Tim King
2016-04-03Updating the copyright headers and scripts.Tim King
2016-01-28Adding listeners to Options.Tim King
2016-01-05Add SmtGlobals ClassTim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback