/dports/math/cvc4/CVC4-1.7/test/regress/regress0/aufbv/ |
H A D | bug349.smt | 47 (let (?n40 (bvnot ?n39)) 48 (let (?n41 (bvand ?n38 ?n40))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/nl/ |
H A D | nia-wrong-tl.smt2 | 45 (declare-fun n40 () Int)
|
/dports/graphics/sswf/sswf-1.8.4/samples/showfont/ |
H A D | showfont.tsswf | 377 text "n40" { 476 (i == 4 ? n40 : 556 n40;
|
/dports/devel/avr-gdb/gdb-7.3.1/sim/testsuite/sim/cris/asm/ |
H A D | ccs-v32.ms | 2 # output: bf\n0\n80\n20\n10\n8\n4\n2\n1\n40\nfade040\n3ade0040\nfade040\n42\n
|
H A D | user.ms | 2 # output: 40\n40\n140\nabadefb0\n6543789c\n0\n0\n0\n0\n0\n0\n0\n0\n
|
/dports/devel/gdb761/gdb-7.6.1/sim/testsuite/sim/cris/asm/ |
H A D | ccs-v32.ms | 2 # output: bf\n0\n80\n20\n10\n8\n4\n2\n1\n40\nfade040\n3ade0040\nfade040\n42\n
|
H A D | user.ms | 2 # output: 40\n40\n140\nabadefb0\n6543789c\n0\n0\n0\n0\n0\n0\n0\n0\n
|
/dports/x11-toolkits/qt5-declarative/kde-qtdeclarative-5.15.2p41/tools/qmltime/ |
H A D | linelaidout.qml | 38 …18\n19\n20\n21\n22\n23\n24\n25\n26\n27\n28\n29\n30\n31\n32\n33\n34\n35\n36\n37\n38\n39\n40\n41\n42"
|
/dports/x11-toolkits/qt5-declarative-test/kde-qtdeclarative-5.15.2p41/tools/qmltime/ |
H A D | linelaidout.qml | 38 …18\n19\n20\n21\n22\n23\n24\n25\n26\n27\n28\n29\n30\n31\n32\n33\n34\n35\n36\n37\n38\n39\n40\n41\n42"
|
/dports/biology/molden/molden5.8/ |
H A D | rdmaux.f | 62 n40 = natoms / 40 63 if (natoms.gt.n40*40) n40 = n40 + 1 66 do j=1,n40
|
/dports/math/SCIP/scip-7.0.3/interfaces/ampl/check/instances/MINLP/ |
H A D | meanvarx.nl | 97 n40.36
|
/dports/science/py-rmf/rmf-1.3.1/test/input/ |
H A D | rep_and_geom.signature | 42 n40: n96 210 n40: color diffuser 379 n40: color particle rigid diffuser 548 n40: color particle rigid diffuser 717 n40: color particle rigid diffuser 886 n40: color particle rigid diffuser 1055 n40: color particle rigid diffuser 1224 n40: color particle rigid diffuser 1393 n40: color particle rigid diffuser 1562 n40: color particle rigid diffuser [all …]
|
/dports/science/rmf/rmf-1.3.1/test/input/ |
H A D | rep_and_geom.signature | 42 n40: n96 210 n40: color diffuser 379 n40: color particle rigid diffuser 548 n40: color particle rigid diffuser 717 n40: color particle rigid diffuser 886 n40: color particle rigid diffuser 1055 n40: color particle rigid diffuser 1224 n40: color particle rigid diffuser 1393 n40: color particle rigid diffuser 1562 n40: color particle rigid diffuser [all …]
|
/dports/cad/opentimer/OpenTimer-18d28ff/benchmark/c2670/ |
H A D | c2670.timing | 111 at n40 0 0 0 0 112 slew n40 5 5 5 5
|
H A D | c2670.spef | 11507 2 n40 n40:7 0.0031 11509 4 n40:1 n40:2 0.0010 11510 5 n40:3 n40:2 0.0050 11511 6 n40:4 n40:3 0.0034 11512 7 n40:5 n40:4 0.0050 11514 9 n40:6 n40:5 0.0015 11515 10 n40:8 n40:7 0.0050 11516 11 n40:8 n40:9 0.0117 11517 12 n40:10 n40:9 0.0050 11518 13 n40:10 n40:11 0.0124 [all …]
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/liblouis/src/tests/braille-specs/ |
H A D | en-ueb-02-stand_alone.yaml | 127 - '*n40'
|
/dports/devel/liblouis/liblouis-3.20.0/tests/braille-specs/ |
H A D | en-ueb-02-stand_alone.yaml | 127 - '*n40'
|
/dports/games/foobillard/foobillard-3.0a/src/ |
H A D | table.c | 229 n40 = vec_unit(vec_xyz(FRAME_H-FRAME_PHASE,0,-FRAME_PHASE)); in my_Edge() 243 n4 = vec_rotate(n40,vec_xyz(0,0,phi1+dphi1)); in my_Edge() 253 n8 = vec_rotate(n40,vec_xyz(0,0,phi2+dphi2)); in my_Edge() 392 VMvect n10,n20,n30,n40,v10,v20,v30,v40,n1,n2,n3,n4,n5,n6,n7,n8,v1,v2,v3,v4,v5,v6,v7,v8; in my_EdgeBumper() local 396 n40 = vec_unit(vec_xyz(1,0,3)); in my_EdgeBumper() 409 n4 = vec_rotate(n40,vec_xyz(0,0,phi1+dphi1)); in my_EdgeBumper() 413 n8 = vec_rotate(n40,vec_xyz(0,0,phi2+dphi2)); in my_EdgeBumper() 772 VMvect v10,v20,v30,v40,n1,n2,n3,n4,n5,n6,n7,n8,n10,n20,n30,n40,v1,v2,v3,v4,v5,v6,v7,v8; in my_CoverBumper() local 776 n40 = vec_unit(vec_xyz(1,0,3)); in my_CoverBumper() 794 n4 = vec_rotate(n40,vec_xyz(0,0,dphi1)); in my_CoverBumper() [all …]
|
/dports/databases/tile38/tile38-1.12.0/vendor/github.com/yuin/gopher-lua/_lua5.1-tests/ |
H A D | big.lua | 299 n38 = 38.5, n39 = 39.5, n40 = 40.5, n41 = 41.5, n42 = 42.5,
|
/dports/security/vault/vault-1.8.2/vendor/github.com/yuin/gopher-lua/_lua5.1-tests/ |
H A D | big.lua | 299 n38 = 38.5, n39 = 39.5, n40 = 40.5, n41 = 41.5, n42 = 42.5,
|
/dports/net-p2p/bitmark-recorder/bitmarkd-0.13.3/vendor/github.com/yuin/gopher-lua/_lua5.1-tests/ |
H A D | big.lua | 299 n38 = 38.5, n39 = 39.5, n40 = 40.5, n41 = 41.5, n42 = 42.5,
|
/dports/net-p2p/bitmark-daemon/bitmarkd-0.13.3/vendor/github.com/yuin/gopher-lua/_lua5.1-tests/ |
H A D | big.lua | 299 n38 = 38.5, n39 = 39.5, n40 = 40.5, n41 = 41.5, n42 = 42.5,
|
/dports/net-p2p/bitmark-cli/bitmarkd-0.13.3/vendor/github.com/yuin/gopher-lua/_lua5.1-tests/ |
H A D | big.lua | 299 n38 = 38.5, n39 = 39.5, n40 = 40.5, n41 = 41.5, n42 = 42.5,
|
/dports/net-p2p/bitmark/bitmarkd-0.13.3/vendor/github.com/yuin/gopher-lua/_lua5.1-tests/ |
H A D | big.lua | 299 n38 = 38.5, n39 = 39.5, n40 = 40.5, n41 = 41.5, n42 = 42.5,
|
/dports/editors/micro/micro-2.0.10/vendor/github.com/yuin/gopher-lua/_lua5.1-tests/ |
H A D | big.lua | 299 n38 = 38.5, n39 = 39.5, n40 = 40.5, n41 = 41.5, n42 = 42.5,
|