PropaFP-0.1.2.0: Auto-active verification of floating-point programs

Safe Haskell	Safe-Inferred
Language	Haskell2010

PropaFP.EliminateFloats

Synopsis

removeFloats :: E -> E
eliminateFloatsF :: F -> VarMap -> Bool -> FilePath -> IO F
findAbsoluteErrorUsingFPTaylor :: E -> VarMap -> FilePath -> IO Rational

Documentation

removeFloats :: E -> E Source #

eliminateFloatsF :: F -> VarMap -> Bool -> FilePath -> IO F Source #

findAbsoluteErrorUsingFPTaylor :: E -> VarMap -> FilePath -> IO Rational Source #

Made for Float32/64 expressions