| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/boringssl/src/third_party/fiat/ |
| H A D | p256_32.h | 1008 fiat_p256_uint1 x597; in fiat_p256_mul() local
1009 fiat_p256_addcarryx_u32(&x596, &x597, x595, x548, x579); in fiat_p256_mul()
1012 fiat_p256_addcarryx_u32(&x598, &x599, x597, x550, x581); in fiat_p256_mul()
2015 fiat_p256_uint1 x597; in fiat_p256_square() local
2016 fiat_p256_addcarryx_u32(&x596, &x597, x595, x548, x579); in fiat_p256_square()
2019 fiat_p256_addcarryx_u32(&x598, &x599, x597, x550, x581); in fiat_p256_square()
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/boringssl/src/third_party/fiat/ |
| H A D | p256_32.h | 988 uint32_t x597; in fiat_p256_mul() local
990 fiat_p256_addcarryx_u32(&x597, &x598, x596, x589, x592); in fiat_p256_mul()
1017 fiat_p256_addcarryx_u32(&x615, &x616, x614, x597, x565); in fiat_p256_mul()
2037 uint32_t x597; in fiat_p256_square() local
2039 fiat_p256_addcarryx_u32(&x597, &x598, x596, x589, x592); in fiat_p256_square()
2066 fiat_p256_addcarryx_u32(&x615, &x616, x614, x597, x565); in fiat_p256_square()
|
| /dports/net/quiche/quiche-0.9.0/deps/boringssl/src/third_party/fiat/ |
| H A D | p256_32.h | 1008 fiat_p256_uint1 x597; in fiat_p256_mul() local
1009 fiat_p256_addcarryx_u32(&x596, &x597, x595, x548, x579); in fiat_p256_mul()
1012 fiat_p256_addcarryx_u32(&x598, &x599, x597, x550, x581); in fiat_p256_mul()
2015 fiat_p256_uint1 x597; in fiat_p256_square() local
2016 fiat_p256_addcarryx_u32(&x596, &x597, x595, x548, x579); in fiat_p256_square()
2019 fiat_p256_addcarryx_u32(&x598, &x599, x597, x550, x581); in fiat_p256_square()
|
| /dports/net/quiche/quiche-0.9.0/cargo-crates/boring-sys-1.1.1/deps/boringssl/src/third_party/fiat/ |
| H A D | p256_32.h | 1008 fiat_p256_uint1 x597; in fiat_p256_mul() local
1009 fiat_p256_addcarryx_u32(&x596, &x597, x595, x548, x579); in fiat_p256_mul()
1012 fiat_p256_addcarryx_u32(&x598, &x599, x597, x550, x581); in fiat_p256_mul()
2015 fiat_p256_uint1 x597; in fiat_p256_square() local
2016 fiat_p256_addcarryx_u32(&x596, &x597, x595, x548, x579); in fiat_p256_square()
2019 fiat_p256_addcarryx_u32(&x598, &x599, x597, x550, x581); in fiat_p256_square()
|
| /dports/security/boringssl/boringssl-6a71840/third_party/fiat/ |
| H A D | p256_32.h | 1008 fiat_p256_uint1 x597; in fiat_p256_mul() local
1009 fiat_p256_addcarryx_u32(&x596, &x597, x595, x548, x579); in fiat_p256_mul()
1012 fiat_p256_addcarryx_u32(&x598, &x599, x597, x550, x581); in fiat_p256_mul()
2015 fiat_p256_uint1 x597; in fiat_p256_square() local
2016 fiat_p256_addcarryx_u32(&x596, &x597, x595, x548, x579); in fiat_p256_square()
2019 fiat_p256_addcarryx_u32(&x598, &x599, x597, x550, x581); in fiat_p256_square()
|
| /dports/devel/pecl-grpc/grpc-1.42.0/third_party/boringssl-with-bazel/src/third_party/fiat/ |
| H A D | p256_32.h | 1008 fiat_p256_uint1 x597; in fiat_p256_mul() local
1009 fiat_p256_addcarryx_u32(&x596, &x597, x595, x548, x579); in fiat_p256_mul()
1012 fiat_p256_addcarryx_u32(&x598, &x599, x597, x550, x581); in fiat_p256_mul()
2015 fiat_p256_uint1 x597; in fiat_p256_square() local
2016 fiat_p256_addcarryx_u32(&x596, &x597, x595, x548, x579); in fiat_p256_square()
2019 fiat_p256_addcarryx_u32(&x598, &x599, x597, x550, x581); in fiat_p256_square()
|
| /dports/devel/py-grpcio/grpcio-1.43.0/third_party/boringssl-with-bazel/src/third_party/fiat/ |
| H A D | p256_32.h | 1008 fiat_p256_uint1 x597; in fiat_p256_mul() local
1009 fiat_p256_addcarryx_u32(&x596, &x597, x595, x548, x579); in fiat_p256_mul()
1012 fiat_p256_addcarryx_u32(&x598, &x599, x597, x550, x581); in fiat_p256_mul()
2015 fiat_p256_uint1 x597; in fiat_p256_square() local
2016 fiat_p256_addcarryx_u32(&x596, &x597, x595, x548, x579); in fiat_p256_square()
2019 fiat_p256_addcarryx_u32(&x598, &x599, x597, x550, x581); in fiat_p256_square()
|
| /dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/crypto/elliptic/internal/fiat/ |
| H A D | p521_fiat64.go | 960 var x597 uint64
962 x597, x598 = bits.Add64(x543, x578, uint64(p521Uint1(x596)))
1043 x652, x653 = bits.Add64(x597, x633, uint64(p521Uint1(x651)))
2481 var x597 uint64
2483 x597, x598 = bits.Add64(x543, x578, uint64(p521Uint1(x596)))
2564 x652, x653 = bits.Add64(x597, x633, uint64(p521Uint1(x651)))
4198 var x597 uint64
4199 …x596, x597 = bits.Add64((uint64(p521Uint1(x545)) + (uint64(p521Uint1(x529)) + (uint64(p521Uint1(x5…
4200 x598 := (uint64(p521Uint1(x597)) + (uint64(p521Uint1(x579)) + x547))
|
| /dports/devel/ppl/ppl-1.2/demos/ppl_lpsol/ |
| H A D | expected_int16 | 711 x597 = 0
|
| H A D | expected_int32 | 731 x597 = 0
|
| H A D | expected_int64 | 731 x597 = 0
|
| H A D | expected_mpz | 2333 x597 = 0
3105 x597 = 0
|
| /dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/ |
| H A D | PW92_ERF_correlation.F | 1112 &, x589, x590, x591, x592, x593, x594, x595, x596, x597, x598, x599
1775 x597 = x50*x565
1776 x598 = x102*x597
2033 &3424118566428d0*x401*x597 + x599 - x602 + x604 + x606 - 0.72684823
|
| H A D | TPSS_ERFGWS_correlation.F | 1454 x597 = x596*x83
1455 x598 = x595 - x597 + 0.2008125d0*x84
3254 x597 = 0.034943218589452d0*rho_s*x300*x6
3265 x608 = x280*x607*(x281*x282*x597 + x283*x591*x598 + x605)
4886 x597 = x593*x596
4887 x598 = x592*x597
5024 x732 = x32*x597
6088 x1750 = x1565*x597
6090 x1752 = x569*x597
10339 x597 = x346*x596
[all …]
|
| /dports/lang/scheme48/scheme48-1.9.2/scheme/big/ |
| H A D | check.scm | 15 …580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599
26 …580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599
|
| /dports/devel/ppl/ppl-1.2/demos/ppl_lpsol/examples/ |
| H A D | opt1217.mps | 674 x597 c13 4 c44 1
1470 UP bnd x597 1
|
| /dports/math/disco/DisCO-releases-1.0.0-33-g68720be/examples/data/hard/ |
| H A D | aflow30a.mps | 1674 x597 c36 -1 c49 1
1675 x597 c171 1
2783 UP bnd x597 88
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/arith/ |
| H A D | miplib-opt1217--27.smt | 1377 :extrapreds ((x597))
2267 ( implies ( and ( not x597 ) ( and ( not x549 ) true ) ) ( = tmp604 0 ) )
2268 ( implies ( and ( not x597 ) ( and x549 true ) ) ( = tmp604 1 ) )
2269 ( implies ( and x597 ( and ( not x549 ) true ) ) ( = tmp604 1 ) )
2270 ( implies ( and x597 ( and x549 true ) ) ( = tmp604 2 ) )
3455 ( implies ( and ( not x598 ) ( and ( not x597 ) true ) ) ( = tmp306 0 ) )
3456 ( implies ( and ( not x598 ) ( and x597 true ) ) ( = tmp306 4 ) )
3457 ( implies ( and x598 ( and ( not x597 ) true ) ) ( = tmp306 4 ) )
3458 ( implies ( and x598 ( and x597 true ) ) ( = tmp306 8 ) )
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress3/ |
| H A D | qwh.35.405.shuffled-as.sat03-1651.smt | 605 :extrapreds ((x597))
3021 (or x597 x948)
3490 (or x1530 x597)
4090 (or (not x1) x597)
4870 (or x1248 x597)
5134 (or (not x438) x597)
5590 (or x597 x1318)
7097 (or x886 x597)
10330 (or x597 x953)
11112 (or x269 x597)
[all …]
|
| /dports/misc/fq/fq-0.0.2/format/pcap/testdata/ |
| H A D | http_gzip.fqtest | 406 …| .P | destination_port: "http" (80) (World Wide Web HTTP) 0x597-0x598.7 (2)
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress4/ |
| H A D | C880mul.miter.shuffled-as.sat03-348.smt | 605 :extrapreds ((x597))
2652 (or x4 (not x597) x919 x1341 x1371)
3034 (or x1182 (not x780) x597 (not x976) (not x552))
3681 (or (not x4) x919 x597)
4663 (or x597 (not x1371) x919)
5059 (or x597 x1538)
5370 (or x976 (not x780) (not x597))
6325 (or (not x919) x597 x1371)
6951 (or x597 x976 x780)
8037 (or x597 (not x1341))
[all …]
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
| H A D | instance_1444.smt | 605 :extrapreds ((x597))
1516 (or x211 x597)
1517 (or (not x211) (not x597))
5031 (or (not x597) x126 x196)
5032 (or x597 (not x126) x196)
5033 (or x597 x126 (not x196))
5034 (or (not x597) (not x126) (not x196))
|
| /dports/math/yices/yices-2.6.2/tests/regress/arrays/ |
| H A D | frugal1000.smt | 1607 :extrafuns ((x597 Element))
2012 …0) i591 x591) i592 x592) i593 x593) i594 x594) i595 x595) i596 x596) i597 x597) i598 x598) i599 x5…
2013 …0) i591 x591) i592 x592) i593 x593) i594 x594) i595 x595) i596 x596) i597 x597) i598 x598) i599 x5…
|
| H A D | frugal1000.ys | 1606 (define x597::Element)
2011 …) (i592) x592) (i593) x593) (i594) x594) (i595) x595) (i596) x596) (i597) x597) (i598) x598) (i599…
2012 …) (i592) x592) (i593) x593) (i594) x594) (i595) x595) (i596) x596) (i597) x597) (i598) x598) (i599…
|
| /dports/math/yices/yices-2.6.2/examples/ |
| H A D | frugal1000.smt | 1607 :extrafuns ((x597 Element))
2012 …0) i591 x591) i592 x592) i593 x593) i594 x594) i595 x595) i596 x596) i597 x597) i598 x598) i599 x5…
2013 …0) i591 x591) i592 x592) i593 x593) i594 x594) i595 x595) i596 x596) i597 x597) i598 x598) i599 x5…
|