/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/GoldFiles/ |
H A D | aes128Dec.gold | 526 const SWord8 s529 = (SWord8) s520; 543 const SWord8 s546 = (SWord8) s537; 560 const SWord8 s563 = (SWord8) s554; 577 const SWord8 s580 = (SWord8) s571; 594 const SWord8 s597 = (SWord8) s588; 611 const SWord8 s614 = (SWord8) s605; 628 const SWord8 s631 = (SWord8) s622; 645 const SWord8 s648 = (SWord8) s639; 662 const SWord8 s665 = (SWord8) s656; 679 const SWord8 s682 = (SWord8) s673; [all …]
|
H A D | legato.gold | 24 s13 :: SWord8 = s0 >>> 1 25 s15 :: SWord8 = s13 | s14 26 s17 :: SWord8 = s13 & s16 33 s24 :: SWord8 = s18 >>> 1 34 s25 :: SWord8 = s14 | s24 35 s26 :: SWord8 = s16 & s24 40 s31 :: SWord8 = s2 >>> 1 41 s32 :: SWord8 = s16 & s31 44 s35 :: SWord8 = s27 >>> 1 45 s36 :: SWord8 = s14 | s35 [all …]
|
H A D | legato_c.gold | 51 typedef uint8_t SWord8; 63 void legatoMult(const SWord8 x, const SWord8 y, SWord8 *hi, 64 SWord8 *lo); 77 SWord8 hi; 78 SWord8 lo; 94 void legatoMult(const SWord8 x, const SWord8 y, SWord8 *hi, 95 SWord8 *lo) 97 const SWord8 s0 = x; 98 const SWord8 s1 = y; 103 const SWord8 s8 = s6 & 127; [all …]
|
H A D | aes128Lib.gold | 132 const SWord8 s269 = (SWord8) s260; 149 const SWord8 s286 = (SWord8) s277; 166 const SWord8 s303 = (SWord8) s294; 183 const SWord8 s320 = (SWord8) s311; 200 const SWord8 s337 = (SWord8) s328; 217 const SWord8 s354 = (SWord8) s345; 234 const SWord8 s371 = (SWord8) s362; 251 const SWord8 s388 = (SWord8) s379; 268 const SWord8 s405 = (SWord8) s396; 285 const SWord8 s422 = (SWord8) s413; [all …]
|
H A D | counts.gold | 2 s0 :: SWord8 3 s1 :: SWord8 4 s2 :: SWord8 5 s3 :: SWord8 6 s4 :: SWord8 7 s5 :: SWord8 8 s6 :: SWord8 9 s7 :: SWord8 10 s8 :: SWord8 11 s9 :: SWord8 [all …]
|
H A D | aes128Enc.gold | 419 const SWord8 s1297 = (SWord8) s1296; 431 const SWord8 s1309 = (SWord8) s1300; 447 const SWord8 s1325 = (SWord8) s520; 463 const SWord8 s1341 = (SWord8) s778; 479 const SWord8 s1357 = (SWord8) s1037; 484 const SWord8 s1362 = (SWord8) s1361; 496 const SWord8 s1374 = (SWord8) s1365; 512 const SWord8 s1390 = (SWord8) s1314; 528 const SWord8 s1406 = (SWord8) s1329; 544 const SWord8 s1422 = (SWord8) s1345; [all …]
|
H A D | gcd.gold | 51 typedef uint8_t SWord8; 63 SWord8 sgcd(const SWord8 x, const SWord8 y); 88 SWord8 sgcd(const SWord8 x, const SWord8 y) 90 const SWord8 s0 = x; 91 const SWord8 s1 = y; 94 const SWord8 s5 = s3 ? s0 : s4; 97 const SWord8 s8 = s6 ? s1 : s7; 100 const SWord8 s11 = s9 ? s5 : s10; 135 const SWord8 s46 = s9 ? s5 : s45; 136 const SWord8 s47 = s6 ? s1 : s46; [all …]
|
H A D | merge.gold | 51 typedef uint8_t SWord8; 63 void merge(const SWord8 *xs, SWord8 *ys); 76 const SWord8 xs[5] = { 85 SWord8 ys[5]; 102 void merge(const SWord8 *xs, SWord8 *ys) 104 const SWord8 s0 = xs[0]; 105 const SWord8 s1 = xs[1]; 106 const SWord8 s2 = xs[2]; 107 const SWord8 s3 = xs[3]; 108 const SWord8 s4 = xs[4]; [all …]
|
H A D | popCount2.gold | 51 typedef uint8_t SWord8; 63 SWord8 popCount(const SWord64 x); 88 SWord8 popCount(const SWord64 x) 91 static const SWord8 table0[] = { 110 const SWord8 s17 = s12 + s16; 114 const SWord8 s21 = s17 + s20; 118 const SWord8 s25 = s21 + s24; 122 const SWord8 s29 = s25 + s28; 126 const SWord8 s33 = s29 + s32; 130 const SWord8 s37 = s33 + s36; [all …]
|
H A D | popCount1.gold | 51 typedef uint8_t SWord8; 63 SWord8 popCount(const SWord64 x); 88 SWord8 popCount(const SWord64 x) 91 static const SWord8 table0[] = { 110 const SWord8 s17 = s12 + s16; 114 const SWord8 s21 = s17 + s20; 118 const SWord8 s25 = s21 + s24; 122 const SWord8 s29 = s25 + s28; 126 const SWord8 s33 = s29 + s32; 130 const SWord8 s37 = s33 + s36; [all …]
|
H A D | addSub.gold | 51 typedef uint8_t SWord8; 63 void addSub(const SWord8 x, const SWord8 y, SWord8 *sum, 64 SWord8 *dif); 77 SWord8 sum; 78 SWord8 dif; 94 void addSub(const SWord8 x, const SWord8 y, SWord8 *sum, 95 SWord8 *dif) 97 const SWord8 s0 = x; 98 const SWord8 s1 = y; 99 const SWord8 s2 = s0 + s1; [all …]
|
H A D | selUnchecked.gold | 51 typedef uint8_t SWord8; 63 SWord8 selUnChecked(const SWord8 x); 76 const SWord8 __result = selUnChecked(65); 88 SWord8 selUnChecked(const SWord8 x) 90 const SWord8 s0 = x; 91 const SWord8 s3 = s0 + 2; 92 const SWord8 table0[] = { 95 const SWord8 s5 = table0[s0];
|
H A D | selChecked.gold | 51 typedef uint8_t SWord8; 63 SWord8 selChecked(const SWord8 x); 76 const SWord8 __result = selChecked(65); 88 SWord8 selChecked(const SWord8 x) 90 const SWord8 s0 = x; 91 const SWord8 s3 = s0 + 2; 92 const SWord8 table0[] = { 95 const SWord8 s5 = s0 >= 2 ? 3 : table0[s0];
|
H A D | basic-3_1.gold | 2 s0 :: SWord8, aliasing "x" 3 s1 :: SWord8, aliasing "y" 11 s2 :: SWord8 = s0 + s1 12 s3 :: SWord8 = s0 - s1 13 s4 :: SWord8 = s2 * s3
|
H A D | basic-3_2.gold | 2 s0 :: SWord8, aliasing "x" 3 s1 :: SWord8, aliasing "y" 11 s2 :: SWord8 = s0 * s0 12 s3 :: SWord8 = s1 * s1 13 s4 :: SWord8 = s2 - s3
|
H A D | basic-5_1.gold | 2 s0 :: SWord8, aliasing "x" 3 s1 :: SWord8, aliasing "q" 11 s2 :: SWord8 = s0 + s0 12 s3 :: SWord8 = s0 - s0 13 s4 :: SWord8 = s2 * s3
|
H A D | basic-3_3.gold | 2 s0 :: SWord8, aliasing "x" 3 s1 :: SWord8, aliasing "y" 11 s2 :: SWord8 = s0 + s1 12 s3 :: SWord8 = s2 * s2
|
H A D | basic-3_4.gold | 2 s0 :: SWord8, aliasing "x" 3 s1 :: SWord8, aliasing "y" 11 s2 :: SWord8 = s0 + s1 12 s3 :: SWord8 = s2 * s2
|
H A D | basic-4_1.gold | 2 s0 :: SWord8, aliasing "x" 10 s1 :: SWord8 = s0 + s0 11 s2 :: SWord8 = s0 - s0 12 s3 :: SWord8 = s1 * s2
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Basics/ |
H A D | Index.hs | 38 let r1 = (select :: [SWord8] -> SWord8 -> SInt8 -> SWord8) elts err ind 39 r2 = (select :: [SWord8] -> SWord8 -> SWord8 -> SWord8) elts err ind2 57 …let r1 = (select :: [(SWord8, SWord8)] -> (SWord8, SWord8) -> SInt8 -> (SWord8, SWord8)) elts err … 58 …r2 = (select :: [(SWord8, SWord8)] -> (SWord8, SWord8) -> SWord8 -> (SWord8, SWord8)) elts err ind2 73 …let r1 = (select :: [Either SWord8 SWord8] -> Either SWord8 SWord8 -> SInt8 -> Either SWord8 SWord…
|
H A D | Quantifiers.hs | 46 …t1 :: (String -> Symbolic SWord8) -> (String -> Symbolic SWord8) -> (SWord8 -> SWord8 -> SBool) ->… 49 …t2 :: (String -> Symbolic SWord8) -> (String -> Symbolic SWord8) -> (SWord8 -> SWord8 -> SBool) ->…
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/CodeGeneration/ |
H A D | GCD.hs | 35 sgcd :: SWord8 -> SWord8 -> SWord8 37 where go :: SWord8 -> SWord8 -> SWord8 -> SWord8 57 sgcdIsCorrect :: SWord8 -> SWord8 -> SWord8 -> SBool
|
H A D | PopulationCount.hs | 31 popCountSlow :: SWord64 -> SWord8 33 where go :: SWord64 -> Int -> SWord8 -> SWord8 45 popCountFast :: SWord64 -> SWord8 47 where go :: SWord64 -> Int -> SWord8 -> SWord8 54 pop8 :: [SWord8]
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/Crypto/ |
H A D | RC4.hs | 47 type Key = [SWord8] 51 type RC4 = (S, SWord8, SWord8) 58 swap :: SWord8 -> SWord8 -> S -> S 64 prga :: RC4 -> (SWord8, RC4) 83 mix :: (SWord8, S) -> SWord8 -> (SWord8, S) 88 keySchedule :: Key -> [SWord8] 90 where genKeys :: RC4 -> [SWord8] 94 keyScheduleString :: String -> [SWord8] 112 encrypt :: String -> String -> [SWord8] 126 decrypt :: String -> [SWord8] -> String
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/Uninterpreted/ |
H A D | Function.hs | 19 f :: SWord8 -> SWord8 -> SWord16 26 thmGood :: SWord8 -> SWord8 -> SWord8 -> SBool
|