| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/CodeGeneration/ |
| H A D | Floats.hs | 107 , test1 "d_FP_Abs" (abs :: SDouble -> SDouble)
110 , test1 "d_FP_Neg" (negate :: SDouble -> SDouble)
113 …, test2 "d_FP_Add" (fpAdd sRoundNearestTiesToEven :: SDouble -> SDouble -> SDouble)
116 …, test2 "d_FP_Sub" (fpSub sRoundNearestTiesToEven :: SDouble -> SDouble -> SDouble)
119 …, test2 "d_FP_Mul" (fpMul sRoundNearestTiesToEven :: SDouble -> SDouble -> SDouble)
122 …, test2 "d_FP_Div" (fpDiv sRoundNearestTiesToEven :: SDouble -> SDouble -> SDouble)
125 …FP_FMA" (fpFMA sRoundNearestTiesToEven :: SDouble -> SDouble -> SDouble -> SDouble)
131 , test2 "d_FP_Rem" (fpRem :: SDouble -> SDouble -> SDouble)
137 , test2 "d_FP_Min" (fpMin :: SDouble -> SDouble -> SDouble)
140 , test2 "d_FP_Max" (fpMax :: SDouble -> SDouble -> SDouble)
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/GoldFiles/ |
| H A D | floats_cgen.gold | 740 SDouble d_FP_Add(const SDouble a, const SDouble b)
768 SDouble d_FP_Sub(const SDouble a, const SDouble b)
796 SDouble d_FP_Mul(const SDouble a, const SDouble b)
824 SDouble d_FP_Div(const SDouble a, const SDouble b)
853 SDouble d_FP_FMA(const SDouble a, const SDouble b, const SDouble c)
908 SDouble d_FP_Rem(const SDouble a, const SDouble b)
963 SDouble d_FP_Min(const SDouble a, const SDouble b)
993 SDouble d_FP_Max(const SDouble a, const SDouble b)
1314 SDouble d_FP_Add(const SDouble a, const SDouble b);
1316 SDouble d_FP_Sub(const SDouble a, const SDouble b);
[all …]
|
| H A D | tgen_c.gold | 17 typedef double SDouble;
|
| H A D | selUnchecked.gold | 48 typedef double SDouble;
|
| H A D | selChecked.gold | 48 typedef double SDouble;
|
| H A D | addSub.gold | 48 typedef double SDouble;
|
| H A D | cgUninterpret.gold | 48 typedef double SDouble;
|
| H A D | fib2.gold | 48 typedef double SDouble;
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/QuickCheck/ |
| H A D | QC.hs | 32 ++ qc1 (nm ++ ".SDouble" ) op (op :: SDouble -> SDouble)
46 ++ qc2 (nm ++ ".SDouble" ) op (op :: SDouble -> SDouble -> SDouble)
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/ |
| H A D | Floating.hs | 257 fromSDouble :: SRoundingMode -> SDouble -> SBV a
291 toSDouble :: SRoundingMode -> SBV a -> SDouble
294 default toSDouble :: Integral a => SRoundingMode -> SBV a -> SDouble
603 sDoubleAsSWord64 :: SDouble -> SWord64
627 blastSDouble :: SDouble -> (SBool, [SBool], [SBool])
649 sWord64AsSDouble :: SWord64 -> SDouble
679 sDoubleAsComparableSWord64 :: SDouble -> SWord64
690 sComparableSWord64AsSDouble :: SWord64 -> SDouble
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Optimization/ |
| H A D | Floats.hs | 43 doubleMinMax :: (SDouble -> Symbolic ()) -> Bool -> Goal
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Basics/ |
| H A D | ArithSolver.hs | 454 …++ [("fromFP_Float_ToDouble", show x, mkThm1 (m fromSFloat :: SFloat -> SDouble) x ( …
459 …++ [("fromFP_Double_ToInt8", show x, mkThmC' (m fromSDouble :: SDouble -> SInt8) x ((round :…
460 …++ [("fromFP_Double_ToInt16", show x, mkThmC' (m fromSDouble :: SDouble -> SInt16) x ((round :…
461 …++ [("fromFP_Double_ToInt32", show x, mkThmC' (m fromSDouble :: SDouble -> SInt32) x ((round :…
462 …++ [("fromFP_Double_ToInt64", show x, mkThmC' (m fromSDouble :: SDouble -> SInt64) x ((round :…
463 …++ [("fromFP_Double_ToWord8", show x, mkThmC' (m fromSDouble :: SDouble -> SWord8) x ((round :…
464 …++ [("fromFP_Double_ToWord16", show x, mkThmC' (m fromSDouble :: SDouble -> SWord16) x ((round :…
465 …++ [("fromFP_Double_ToWord32", show x, mkThmC' (m fromSDouble :: SDouble -> SWord32) x ((round :…
466 …++ [("fromFP_Double_ToWord64", show x, mkThmC' (m fromSDouble :: SDouble -> SWord64) x ((round :…
468 …++ [("fromFP_Double_ToFloat", show x, mkThm1 (m fromSDouble :: SDouble -> SFloat) x ( …
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Client/ |
| H A D | BaseIO.hs | 27 SymVal, SBool, SBV, SChar, SDouble, SFloat,
615 sDouble :: String -> Symbolic SDouble
621 sDouble_ :: Symbolic SDouble
627 sDoubles :: [String] -> Symbolic [SDouble]
|
| /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/devel/git-town/git-town-7.6.0/vendor/google.golang.org/protobuf/protobuf-go-1.21.0/encoding/prototext/ |
| H A D | encode_test.go | 96 SDouble: 0,
159 SDouble: math.NaN(),
165 SDouble: math.Inf(1),
171 SDouble: math.Inf(-1),
|
| /dports/net/gscloud/gscloud-0.11.0/vendor/google.golang.org/protobuf/encoding/prototext/ |
| H A D | encode_test.go | 127 SDouble: 0,
197 SDouble: math.NaN(),
203 SDouble: math.Inf(1),
209 SDouble: math.Inf(-1),
|
| /dports/net-mgmt/bind_exporter/bind_exporter-0.4.0/vendor/google.golang.org/protobuf/encoding/prototext/ |
| H A D | encode_test.go | 127 SDouble: 0,
197 SDouble: math.NaN(),
203 SDouble: math.Inf(1),
209 SDouble: math.Inf(-1),
|
| /dports/net/rclone/rclone-1.57.0/vendor/google.golang.org/protobuf/encoding/prototext/ |
| H A D | encode_test.go | 127 SDouble: 0,
197 SDouble: math.NaN(),
203 SDouble: math.Inf(1),
209 SDouble: math.Inf(-1),
|
| /dports/security/lego/lego-4.5.3/vendor/google.golang.org/protobuf/encoding/prototext/ |
| H A D | encode_test.go | 127 SDouble: 0,
197 SDouble: math.NaN(),
203 SDouble: math.Inf(1),
209 SDouble: math.Inf(-1),
|
| /dports/security/vault/vault-1.8.2/vendor/google.golang.org/protobuf/encoding/prototext/ |
| H A D | encode_test.go | 127 SDouble: 0,
197 SDouble: math.NaN(),
203 SDouble: math.Inf(1),
209 SDouble: math.Inf(-1),
|
| /dports/net/drive/drive-0.4.0/vendor/google.golang.org/protobuf/encoding/prototext/ |
| H A D | encode_test.go | 127 SDouble: 0,
197 SDouble: math.NaN(),
203 SDouble: math.Inf(1),
209 SDouble: math.Inf(-1),
|
| /dports/net/evans/evans-0.9.1/vendor/google.golang.org/protobuf/encoding/prototext/ |
| H A D | encode_test.go | 127 SDouble: 0,
197 SDouble: math.NaN(),
203 SDouble: math.Inf(1),
209 SDouble: math.Inf(-1),
|
| /dports/databases/redis_exporter/redis_exporter-1.33.0/vendor/google.golang.org/protobuf/encoding/prototext/ |
| H A D | encode_test.go | 127 SDouble: 0,
197 SDouble: math.NaN(),
203 SDouble: math.Inf(1),
209 SDouble: math.Inf(-1),
|
| /dports/www/gitlab-workhorse/gitlab-foss-0a901d60f8ae4a60c04ae82e6e9c3a03e9321417/workhorse/vendor/google.golang.org/protobuf/encoding/prototext/ |
| H A D | encode_test.go | 127 SDouble: 0,
197 SDouble: math.NaN(),
203 SDouble: math.Inf(1),
209 SDouble: math.Inf(-1),
|
| /dports/dns/prometheus-dnssec-exporter/prometheus-dnssec-exporter-caa7d89/vendor/google.golang.org/protobuf/encoding/prototext/ |
| H A D | encode_test.go | 127 SDouble: 0,
197 SDouble: math.NaN(),
203 SDouble: math.Inf(1),
209 SDouble: math.Inf(-1),
|