summaryrefslogtreecommitdiff
path: root/src/theory/fp
AgeCommit message (Expand)Author
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
2015-04-21Changes needed to compile at Google, plus some bug fixes from Google.Clark Barrett
2014-12-03Floating point infrastructure.Martin Brain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback