| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/uflia/ |
| H A D | error0.delta01.smt | 25 (let (?n15 0)
26 (flet ($n16 (>= ?n14 ?n15))
38 (flet ($n28 (= ?n15 ?n27))
46 (flet ($n36 (<= ?n35 ?n15))
49 (flet ($n39 (>= ?n38 ?n15))
51 (flet ($n41 (<= ?n40 ?n15))
54 (flet ($n44 (= ?n15 ?n43))
58 (flet ($n48 (= ?n15 ?n47))
62 (flet ($n52 (>= ?n51 ?n15))
65 (flet ($n55 (>= ?n54 ?n15))
[all …]
|
| /dports/science/tinker/tinker/source/ |
| H A D | attach.f | 39 if (allocated(n15)) deallocate (n15)
45 allocate (n15(n))
109 n15(i) = 0
124 n15(i) = n15(i) + 1
125 i15(n15(i),i) = kk
129 if (n15(i) .gt. maxn15) then
135 call sort8 (n15(i),i15(1,i))
|
| /dports/emulators/mednafen/mednafen/src/snes/src/cartridge/ |
| H A D | header.cpp | 58 const uint8_t n15 = data[index + 0x15]; in read_header() local
59 if(n15 == 0x00 || n15 == 0x80 || n15 == 0x84 || n15 == 0x9c || n15 == 0xbc || n15 == 0xfc) { in read_header()
|
| /dports/games/libretro-beetle_bsnes/beetle-bsnes-libretro-b65ded5bde278c18af538c687db9b72c995b220a/mednafen/snes/src/cartridge/ |
| H A D | header.cpp | 58 const uint8_t n15 = data[index + 0x15]; in read_header() local
59 if(n15 == 0x00 || n15 == 0x80 || n15 == 0x84 || n15 == 0x9c || n15 == 0xbc || n15 == 0xfc) { in read_header()
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/bv/ |
| H A D | fuzz18.delta03.smt | 22 (let (?n15 bv0[4])
23 (flet ($n16 (distinct v4 ?n15))
24 (flet ($n17 (bvslt ?n15 ?n12))
30 (flet ($n23 (bvslt ?n15 ?n22))
|
| H A D | fuzz18.delta02.smt | 26 (flet ($n15 false)
47 (flet ($n36 (or $n15 $n28 $n35))
61 (flet ($n50 (or $n15 $n43 $n49))
76 (flet ($n65 (or $n15 $n61 $n64))
83 (flet ($n72 (or $n15 $n69 $n71))
89 (flet ($n78 (or $n15 $n76 $n77))
97 (flet ($n86 (or $n15 $n82 $n85))
|
| /dports/math/cudd/cudd-3.0.0/nanotrav/ |
| H A D | rcn25.blif | 2 .outputs n0 n1 n2 n3 n4 n5 n6 n7 n8 n9 n10 n11 n12 n13 n14 n15 n16 n17 \
20 .latch nn15 n15 2
161 .names n15 n14 c15 s15
166 .names n15 n14 c15 c16
170 .names n16 n15 c16 s16
175 .names n16 n15 c16 c17
302 .names n0 of s14 n15 nn14
|
| /dports/science/py-rmf/rmf-1.3.1/test/input/ |
| H A D | simple.rmf.signature | 13 n11: n12 n13 n14 n15 n16 n17 n18
17 n15:
47 n15: atom
78 n15: particle atom
|
| /dports/science/rmf/rmf-1.3.1/test/input/ |
| H A D | simple.rmf.signature | 13 n11: n12 n13 n14 n15 n16 n17 n18
17 n15:
47 n15: atom
78 n15: particle atom
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/decision/ |
| H A D | error3.delta01.smt | 21 (let (?n15 (bvnot ?n8))
22 (let (?n16 (zero_extend[10] ?n15))
26 (let (?n20 (repeat[2] ?n15))
|
| /dports/net/frr7-pythontools/frr-frr-7.5.1/tests/lib/ |
| H A D | test_graph.refout | 16 n0 -> n15;
47 n14 -> n15;
48 n15 -> n16;
|
| /dports/net/frr7/frr-frr-7.5.1/tests/lib/ |
| H A D | test_graph.refout | 16 n0 -> n15;
47 n14 -> n15;
48 n15 -> n16;
|
| /dports/emulators/mess/mame-mame0226/src/devices/bus/snes/ |
| H A D | snes_slot.cpp | 942 uint8_t n15 = ROM[hilo_mode + 0x15]; in get_cart_type_addon() local
943 if (n15 == 0x00 || n15 == 0x80 || n15 == 0x84 || n15 == 0x9c || n15 == 0xbc || n15 == 0xfc) in get_cart_type_addon()
1298 uint8_t n15 = ROM[hilo_mode + 0x15]; in internal_header_logging() local
1299 if (n15 == 0x00 || n15 == 0x80 || n15 == 0x84 || n15 == 0x9c || n15 == 0xbc || n15 == 0xfc) in internal_header_logging()
|
| /dports/emulators/mame/mame-mame0226/src/devices/bus/snes/ |
| H A D | snes_slot.cpp | 942 uint8_t n15 = ROM[hilo_mode + 0x15]; in get_cart_type_addon() local
943 if (n15 == 0x00 || n15 == 0x80 || n15 == 0x84 || n15 == 0x9c || n15 == 0xbc || n15 == 0xfc) in get_cart_type_addon()
1298 uint8_t n15 = ROM[hilo_mode + 0x15]; in internal_header_logging() local
1299 if (n15 == 0x00 || n15 == 0x80 || n15 == 0x84 || n15 == 0x9c || n15 == 0xbc || n15 == 0xfc) in internal_header_logging()
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/gcc.target/i386/ |
| H A D | m256-1.c | 26 __m256 n15 = variable
54 assert (__builtin_memcmp (&a15, &n15, sizeof (a15)) == 0); in m256_test()
62 n13, n14, n15, n16); in avx_test()
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/gcc.target/i386/ |
| H A D | m256-1.c | 26 __m256 n15 = variable
54 assert (__builtin_memcmp (&a15, &n15, sizeof (a15)) == 0); in m256_test()
62 n13, n14, n15, n16); in avx_test()
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gcc.target/i386/ |
| H A D | m256-1.c | 26 __m256 n15 = variable
54 assert (__builtin_memcmp (&a15, &n15, sizeof (a15)) == 0); in m256_test()
62 n13, n14, n15, n16); in avx_test()
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.target/i386/ |
| H A D | m256-1.c | 26 __m256 n15 = variable
54 assert (__builtin_memcmp (&a15, &n15, sizeof (a15)) == 0); in m256_test()
62 n13, n14, n15, n16); in avx_test()
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gcc.target/i386/ |
| H A D | m256-1.c | 26 __m256 n15 = variable
54 assert (__builtin_memcmp (&a15, &n15, sizeof (a15)) == 0); in m256_test()
62 n13, n14, n15, n16); in avx_test()
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gcc.target/i386/ |
| H A D | m256-1.c | 26 __m256 n15 = variable
54 assert (__builtin_memcmp (&a15, &n15, sizeof (a15)) == 0); in m256_test()
62 n13, n14, n15, n16); in avx_test()
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.target/i386/ |
| H A D | m256-1.c | 26 __m256 n15 = variable
54 assert (__builtin_memcmp (&a15, &n15, sizeof (a15)) == 0); in m256_test()
62 n13, n14, n15, n16); in avx_test()
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gcc.target/i386/ |
| H A D | m256-1.c | 26 __m256 n15 = variable
54 assert (__builtin_memcmp (&a15, &n15, sizeof (a15)) == 0); in m256_test()
62 n13, n14, n15, n16); in avx_test()
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gcc.target/i386/ |
| H A D | m256-1.c | 26 __m256 n15 = variable
54 assert (__builtin_memcmp (&a15, &n15, sizeof (a15)) == 0); in m256_test()
62 n13, n14, n15, n16); in avx_test()
|
| /dports/lang/gcc48/gcc-4.8.5/gcc/testsuite/gcc.target/i386/ |
| H A D | m256-1.c | 26 __m256 n15 = variable
54 assert (__builtin_memcmp (&a15, &n15, sizeof (a15)) == 0); in m256_test()
62 n13, n14, n15, n16); in avx_test()
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/gcc.target/i386/ |
| H A D | m256-1.c | 26 __m256 n15 = variable
54 assert (__builtin_memcmp (&a15, &n15, sizeof (a15)) == 0); in m256_test()
62 n13, n14, n15, n16); in avx_test()
|