Searched refs:s1354 (Results 1 – 11 of 11) sorted by relevance
/dports/math/sisl/SISL-SISL-4.6.0-44-g9114631/src/ |
H A D | s1340.c | 319 s1354(qc_kreg, qc_kreg, &ranking, eps, lepsco, startfix, endfix, 361 s1354(*newcurve, *newcurve, &ranking, eps, lepsco, startfix, 412 s1354(qc_kreg, *newcurve, &ranking, eps, lepsco,
|
H A D | s1354.c | 53 void s1354(SISLCurve *oldcurve,SISLCurve *rankcurve,rank_info *ranking, in s1354() function 57 void s1354(oldcurve, rankcurve, ranking, eps, epsco, in s1354()
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/GoldFiles/ |
H A D | aes128Lib.gold | 1217 const SWord8 s1354 = table3[s1346]; 1218 const SWord8 s1355 = s1353 ^ s1354; 2015 const SWord32 s1354 = s9 ^ s1353; 2016 const SWord8 s1355 = (SWord8) (s1354 >> 16); 2052 const SWord8 s1391 = (SWord8) (s1354 >> 24); 2075 const SWord8 s1414 = (SWord8) s1354; 2087 const SWord8 s1426 = (SWord8) (s1354 >> 8); 2848 const SWord32 s1354 = s11 ^ s1353; 2849 const SWord8 s1355 = (SWord8) (s1354 >> 16); 2908 const SWord8 s1414 = (SWord8) s1354; [all …]
|
H A D | aes128Enc.gold | 476 const SWord8 s1354 = (SWord8) (s778 >> 8); 477 const SWord32 s1355 = table3[s1354];
|
H A D | counts.gold | 1365 s1354 :: SWord8 = if s1347 then s1353 else s1352 1366 s1355 :: SWord8 = s33 + s1354 1367 s1356 :: SWord8 = if s1346 then s1355 else s1354
|
H A D | legato.gold | 1363 s1354 :: SBool = false == s1353 1388 s1379 :: SWord8 = if s1354 then s1370 else s1378 1409 s1400 :: SWord8 = if s1354 then s1391 else s1399 1435 s1426 :: SWord8 = if s1354 then s1417 else s1425 1456 s1447 :: SWord8 = if s1354 then s1438 else s1446 4818 s4809 :: SWord8 = if s1354 then s4805 else s4808 4831 s4822 :: SWord8 = if s1354 then s4818 else s4821 4851 s4842 :: SWord8 = if s1354 then s4838 else s4841 4864 s4855 :: SWord8 = if s1354 then s4851 else s4854
|
H A D | ccitt.gold | 1366 s1354 :: SBool = s5 /= s1353 1367 s1355 :: SBool = ~ s1354 1368 s1356 :: SBool = if s1232 then s1355 else s1354
|
H A D | sha256HashBlock.gold | 1438 const SWord32 s1354 = s1349 + s1353; 1439 const SWord32 s1355 = s1293 + s1354;
|
H A D | legato_c.gold | 1447 const SWord8 s1354 = (s1350 >> 1) | (s1350 << 7); 1448 const SWord8 s1355 = 128 | s1354; 1449 const SWord8 s1356 = 127 & s1354;
|
/dports/math/sisl/SISL-SISL-4.6.0-44-g9114631/include/ |
H A D | sislP.h | 885 void s1354(SISLCurve *,SISLCurve *,rank_info *,double [], 2972 void s1354();
|
/dports/lang/yap/yap-6.2.2/packages/CLPBN/clpbn/examples/School/ |
H A D | school_128.yap | 1764 student(s1354). 9096 registration(r4588,c28,s1354). 9097 registration(r4589,c218,s1354). 9098 registration(r4590,c85,s1354).
|