summaryrefslogtreecommitdiff
path: root/src/theory/fp/theory_fp_rewriter.cpp
AgeCommit message (Expand)Author
2019-10-30Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)Mathias Preiner
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-07-06Feature/fp rewrite improvement (#2154)Martin
2018-06-25Updated copyright headers.Aina Niemetz
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-01-26Removing structurally dead code. (#1540)Tim King
2017-10-02Add 5 FP kinds for partial to total fn conversion (#1128)Martin
2017-09-26Improve FP rewriter: const folding, other (#1126)Martin Brain
2017-09-14Make floating-point comparison operators chainable (#1101)Martin
2017-07-07Update copyright headers.Mathias Preiner
2016-04-20update from the masterPaulMeng
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