Home
last modified time | relevance | path

Searched defs:floatNeg (Results 1 – 3 of 3) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/Protocol/
H A DSMTLib2.hs496 floatNeg = un_app "fp.neg" function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/Solver/
H A DYices.hs292 floatNeg _ = floatFail function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/Expr/
H A DBuilder.hs3231 floatNeg sym (FloatExpr fpp x _) = floatLit sym fpp (BF.bfNeg x) function
3232 floatNeg sym x = floatIEEEArithUnOp FloatNeg sym x function