Searched refs:SFloatingPoint (Results 1 – 9 of 9) sorted by relevance
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Basics/ |
| H A D | ArbFloats.hs | 27 …rt $ (== fromIntegral (count 2 2)) <$> numberOfModels (const sTrue :: SFloatingPoint 2 2 -> SBool))
28 …rt $ (== fromIntegral (count 2 3)) <$> numberOfModels (const sTrue :: SFloatingPoint 2 3 -> SBool))
29 …rt $ (== fromIntegral (count 2 4)) <$> numberOfModels (const sTrue :: SFloatingPoint 2 4 -> SBool))
31 …rt $ (== fromIntegral (count 3 2)) <$> numberOfModels (const sTrue :: SFloatingPoint 3 2 -> SBool))
32 …rt $ (== fromIntegral (count 3 3)) <$> numberOfModels (const sTrue :: SFloatingPoint 3 3 -> SBool))
33 …rt $ (== fromIntegral (count 3 4)) <$> numberOfModels (const sTrue :: SFloatingPoint 3 4 -> SBool))
35 …rt $ (== fromIntegral (count 4 2)) <$> numberOfModels (const sTrue :: SFloatingPoint 4 2 -> SBool))
36 …rt $ (== fromIntegral (count 4 3)) <$> numberOfModels (const sTrue :: SFloatingPoint 4 3 -> SBool))
37 …rt $ (== fromIntegral (count 4 4)) <$> numberOfModels (const sTrue :: SFloatingPoint 4 4 -> SBool))
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/ |
| H A D | Floating.hs | 843 -> (Maybe SRoundingMode -> SFloatingPoint eb sb -> SFloatingPoint eb sb)
845 -> SFloatingPoint eb sb
846 -> SFloatingPoint eb sb
859 … -> (Maybe SRoundingMode -> SFloatingPoint eb sb -> SFloatingPoint eb sb -> SFloatingPoint eb sb)
861 -> SFloatingPoint eb sb
862 -> SFloatingPoint eb sb
863 -> SFloatingPoint eb sb
877 …-> (Maybe SRoundingMode -> SFloatingPoint eb sb -> SFloatingPoint eb sb -> SFloatingPoint eb sb ->…
879 -> SFloatingPoint eb sb
880 -> SFloatingPoint eb sb
[all …]
|
| H A D | Data.hs | 31 , SFloatingPoint, SFPHalf, SFPSingle, SFPDouble, SFPQuad
152 type SFloatingPoint (eb :: Nat) (sb :: Nat) = SBV (FloatingPoint eb sb) type
|
| H A D | Model.hs | 571 sFloatingPoint :: ValidFloat eb sb => String -> Symbolic (SFloatingPoint eb sb)
575 sFloatingPoint_ :: ValidFloat eb sb => Symbolic (SFloatingPoint eb sb)
579 sFloatingPoints :: ValidFloat eb sb => [String] -> Symbolic [SFloatingPoint eb sb]
1410 instance {-# OVERLAPPING #-} ValidFloat eb sb => Floating (SFloatingPoint eb sb) where
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/Misc/ |
| H A D | Floating.hs | 217 fp54Bounds = optimize Independent $ do x :: SFloatingPoint 5 4 <- sFloatingPoint "x"
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Client/ |
| H A D | BaseIO.hs | 28 SFPHalf, SFPSingle, SFPDouble, SFPQuad, SFloatingPoint,
633 sFloatingPoint :: ValidFloat eb sb => String -> Symbolic (SFloatingPoint eb sb)
639 sFloatingPoint_ :: ValidFloat eb sb => Symbolic (SFloatingPoint eb sb)
645 sFloatingPoints :: ValidFloat eb sb => [String] -> Symbolic [SFloatingPoint eb sb]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/ |
| H A D | Trans.hs | 34 , SFloat, SDouble, SFloatingPoint
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/ |
| H A D | SBV.hs | 162 , SFloatingPoint, FloatingPoint
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/ |
| H A D | CHANGES.md | 14 significand sizes. The type is `SFloatingPoint eb sb`, where `eb`
26 and all floats (SDouble, SFloat, and the new SFloatingPoint) in models in detail,
|