Home
last modified time | relevance | path

Searched refs:bfAbs (Results 1 – 5 of 5) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/libBF-0.6.2/src/
H A DLibBF.hs42 , bfNeg, bfAbs
201 bfAbs :: BigFloat -> BigFloat
202 bfAbs bf = function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/
H A DSizedFloats.hs194 abs = lift1 BF.bfAbs
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Backend/
H A DConcrete.hs347 fpAbs _ x = pure $! x { FP.bfValue = FP.bfAbs (FP.bfValue x) }
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/Expr/
H A DGroundEval.hs396 FloatAbs _fpp x -> BF.bfAbs <$> f x
H A DBuilder.hs3234 floatAbs sym (FloatExpr fpp x _) = floatLit sym fpp (BF.bfAbs x)