| /dports/java/bouncycastle15/crypto-169/core/src/main/java/org/bouncycastle/math/ec/custom/sec/ |
| H A D | SecP224K1FieldElement.java | 185 int[] x191 = x23; in sqrt() local
186 SecP224K1Field.squareN(x107, 84, x191); in sqrt()
187 SecP224K1Field.multiply(x191, x84, x191); in sqrt()
189 int[] t1 = x191; in sqrt()
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress4/ |
| H A D | bug143.smt | 277 :extrapreds ((x191))
993 …( implies ( and ( not x189 ) ( and ( not x190 ) ( and x191 ( and x192 ( and x193 ( and x194 true )…
1009 …( implies ( and ( not x189 ) ( and x190 ( and x191 ( and x192 ( and x193 ( and x194 true ) ) ) ) )…
1025 …( implies ( and x189 ( and ( not x190 ) ( and x191 ( and x192 ( and x193 ( and x194 true ) ) ) ) )…
1033 …( implies ( and x189 ( and x190 ( and ( not x191 ) ( and x192 ( and x193 ( and x194 true ) ) ) ) )…
1037 …( implies ( and x189 ( and x190 ( and x191 ( and ( not x192 ) ( and x193 ( and x194 true ) ) ) ) )…
1039 …( implies ( and x189 ( and x190 ( and x191 ( and x192 ( and ( not x193 ) ( and x194 true ) ) ) ) )…
1040 …( implies ( and x189 ( and x190 ( and x191 ( and x192 ( and x193 ( and ( not x194 ) true ) ) ) ) )…
1041 …( implies ( and x189 ( and x190 ( and x191 ( and x192 ( and x193 ( and x194 true ) ) ) ) ) ) ( = t…
1396 ( implies ( and ( not x191 ) true ) ( = tmp15 0 ) )
[all …]
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/arith/ |
| H A D | miplib-pp08a-3000.smt | 280 :extrapreds ((x191))
996 …( implies ( and ( not x189 ) ( and ( not x190 ) ( and x191 ( and x192 ( and x193 ( and x194 true )…
1012 …( implies ( and ( not x189 ) ( and x190 ( and x191 ( and x192 ( and x193 ( and x194 true ) ) ) ) )…
1028 …( implies ( and x189 ( and ( not x190 ) ( and x191 ( and x192 ( and x193 ( and x194 true ) ) ) ) )…
1036 …( implies ( and x189 ( and x190 ( and ( not x191 ) ( and x192 ( and x193 ( and x194 true ) ) ) ) )…
1040 …( implies ( and x189 ( and x190 ( and x191 ( and ( not x192 ) ( and x193 ( and x194 true ) ) ) ) )…
1042 …( implies ( and x189 ( and x190 ( and x191 ( and x192 ( and ( not x193 ) ( and x194 true ) ) ) ) )…
1043 …( implies ( and x189 ( and x190 ( and x191 ( and x192 ( and x193 ( and ( not x194 ) true ) ) ) ) )…
1044 …( implies ( and x189 ( and x190 ( and x191 ( and x192 ( and x193 ( and x194 true ) ) ) ) ) ) ( = t…
1399 ( implies ( and ( not x191 ) true ) ( = tmp15 0 ) )
[all …]
|
| /dports/science/dalton/dalton-66052b3af5ea7225e31178bf9a8b031913c72190/DALTON/srdft/srfunctionals/ |
| H A D | VWN5_ERF_correlation.F | 533 x238 = x187 + x189 + x191
929 x191 = 0.0758081683534927d0*x171
1358 x196 = x191*x195
1369 x207 = 0.000307885761673592d0*x191
1405 x243 = 0.000131550169826529d0*x191
1411 x249 = 0.000714210536071954d0*x191
1483 x320 = 1.85745434535825d0*x191
1653 x483 = 7.42981738143299d0*x191
1718 x543 = -0.317728097665645d0*x191
2375 x191 = x19*x88
[all …]
|
| /dports/math/py-mip/mip-1.13.0/test/data/ |
| H A D | 1443_0-9.lp | 20 …-0.10000 x185 -0.10000 x186 -0.10000 x187 -0.10000 x188 -0.10000 x189 -0.10000 x191 -0.10000 x192 …
30 cons4: x4 + x19 + x50 + x69 + x96 + x111 + x126 + x139 + x191 + x203
228 cons193: x190 - x191 >= -0
653 cons618: x191 + x192 <= 1
654 cons619: x191 + x194 <= 1
655 cons620: x191 + x195 <= 1
724 …-0.50000 x190 + 0.50000 x191 + 0.50000 x192 + 0.50000 x193 + 0.50000 x194 + 0.50000 x195 + 0.50000…
922 0 <= x191 <= 1
975 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199
|
| H A D | 2050_3_7.lp | 21 …-0.10000 x188 -0.10000 x189 -0.10000 x190 -0.10000 x191 -0.10000 x192 -0.10000 x193 -0.10000 x195 …
72 + x135 + x143 + x172 + x191 + x208 + x239 + x256 + x273 + x275 + x280
252 cons202: x175 - x191 >= -0
712 cons662: x180 + x191 <= 1
721 cons671: x183 + x191 <= 1
727 cons677: x185 + x191 <= 1
731 cons681: x187 + x191 <= 1
735 cons685: x188 + x191 <= 1
737 cons687: x189 + x191 <= 1
1177 0 <= x191 <= 1
[all …]
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/gcc.dg/dfp/ |
| H A D | typespec.c | 196 signed int short _Decimal64 *x191; /* { dg-error "" "signed int short _Decimal64" } */ variable
197 signed int short _Decimal128 *x191; /* { dg-error "" "signed int short _Decimal128" } */ variable
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gcc.dg/dfp/ |
| H A D | typespec.c | 196 signed int short _Decimal64 *x191; /* { dg-error "" "signed int short _Decimal64" } */ variable
197 signed int short _Decimal128 *x191; /* { dg-error "" "signed int short _Decimal128" } */ variable
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gcc.dg/dfp/ |
| H A D | typespec.c | 196 signed int short _Decimal64 *x191; /* { dg-error "" "signed int short _Decimal64" } */ variable
197 signed int short _Decimal128 *x191; /* { dg-error "" "signed int short _Decimal128" } */ variable
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/gcc.dg/dfp/ |
| H A D | typespec.c | 196 signed int short _Decimal64 *x191; /* { dg-error "" "signed int short _Decimal64" } */ variable
197 signed int short _Decimal128 *x191; /* { dg-error "" "signed int short _Decimal128" } */ variable
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gcc.dg/dfp/ |
| H A D | typespec.c | 196 signed int short _Decimal64 *x191; /* { dg-error "" "signed int short _Decimal64" } */ variable
197 signed int short _Decimal128 *x191; /* { dg-error "" "signed int short _Decimal128" } */ variable
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/gcc.dg/dfp/ |
| H A D | typespec.c | 196 signed int short _Decimal64 *x191; /* { dg-error "" "signed int short _Decimal64" } */ variable
197 signed int short _Decimal128 *x191; /* { dg-error "" "signed int short _Decimal128" } */ variable
|
| /dports/lang/gcc48/gcc-4.8.5/gcc/testsuite/gcc.dg/dfp/ |
| H A D | typespec.c | 196 signed int short _Decimal64 *x191; /* { dg-error "" "signed int short _Decimal64" } */ variable
197 signed int short _Decimal128 *x191; /* { dg-error "" "signed int short _Decimal128" } */ variable
|
| /dports/emulators/qemu/qemu-6.2.0/capstone/arch/ARM/ |
| H A D | ARMGenSystemRegister.inc | 83 …{ "basepri_ns", ARM_SYSREG_BASEPRI_NS, 0x891, 0x191, 0x891, {ARM_Feature8MSecExt, ARM_HasV7Ops} …
154 { 0x191, 33 },
|
| /dports/emulators/qemu60/qemu-6.0.0/capstone/arch/ARM/ |
| H A D | ARMGenSystemRegister.inc | 83 …{ "basepri_ns", ARM_SYSREG_BASEPRI_NS, 0x891, 0x191, 0x891, {ARM_Feature8MSecExt, ARM_HasV7Ops} …
154 { 0x191, 33 },
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gcc.dg/dfp/ |
| H A D | typespec.c | 196 signed int short _Decimal64 *x191; /* { dg-error "" "signed int short _Decimal64" } */ variable
197 signed int short _Decimal128 *x191; /* { dg-error "" "signed int short _Decimal128" } */ variable
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/dfp/ |
| H A D | typespec.c | 196 signed int short _Decimal64 *x191; /* { dg-error "" "signed int short _Decimal64" } */ variable
197 signed int short _Decimal128 *x191; /* { dg-error "" "signed int short _Decimal128" } */ variable
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/dfp/ |
| H A D | typespec.c | 196 signed int short _Decimal64 *x191; /* { dg-error "" "signed int short _Decimal64" } */ variable
197 signed int short _Decimal128 *x191; /* { dg-error "" "signed int short _Decimal128" } */ variable
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gcc.dg/dfp/ |
| H A D | typespec.c | 196 signed int short _Decimal64 *x191; /* { dg-error "" "signed int short _Decimal64" } */ variable
197 signed int short _Decimal128 *x191; /* { dg-error "" "signed int short _Decimal128" } */ variable
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/dfp/ |
| H A D | typespec.c | 196 signed int short _Decimal64 *x191; /* { dg-error "" "signed int short _Decimal64" } */ variable
197 signed int short _Decimal128 *x191; /* { dg-error "" "signed int short _Decimal128" } */ variable
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gcc.dg/dfp/ |
| H A D | typespec.c | 196 signed int short _Decimal64 *x191; /* { dg-error "" "signed int short _Decimal64" } */ variable
197 signed int short _Decimal128 *x191; /* { dg-error "" "signed int short _Decimal128" } */ variable
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.dg/dfp/ |
| H A D | typespec.c | 196 signed int short _Decimal64 *x191; /* { dg-error "" "signed int short _Decimal64" } */ variable
197 signed int short _Decimal128 *x191; /* { dg-error "" "signed int short _Decimal128" } */ variable
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gcc.dg/dfp/ |
| H A D | typespec.c | 196 signed int short _Decimal64 *x191; /* { dg-error "" "signed int short _Decimal64" } */ variable
197 signed int short _Decimal128 *x191; /* { dg-error "" "signed int short _Decimal128" } */ variable
|
| /dports/emulators/qemu5/qemu-5.2.0/capstone/arch/ARM/ |
| H A D | ARMGenSystemRegister.inc | 83 …{ "basepri_ns", ARM_SYSREG_BASEPRI_NS, 0x891, 0x191, 0x891, {ARM_Feature8MSecExt, ARM_HasV7Ops} …
154 { 0x191, 33 },
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gcc.dg/dfp/ |
| H A D | typespec.c | 196 signed int short _Decimal64 *x191; /* { dg-error "" "signed int short _Decimal64" } */ variable
197 signed int short _Decimal128 *x191; /* { dg-error "" "signed int short _Decimal128" } */ variable
|