| /dports/lang/gcc10-devel/gcc-10-20211008/libgo/go/math/big/ |
| H A D | int.go | 56 z.neg = neg
76 z.neg = x.neg
117 neg := x.neg
118 if x.neg == y.neg {
128 neg = !neg
138 neg := x.neg
139 if x.neg != y.neg {
149 neg = !neg
192 z.neg = neg
240 z.neg, r.neg = len(z.abs) > 0 && x.neg != y.neg, len(r.abs) > 0 && x.neg // 0 has no sign
[all …]
|
| /dports/lang/gcc9-devel/gcc-9-20211007/libgo/go/math/big/ |
| H A D | int.go | 56 z.neg = neg
76 z.neg = x.neg
117 neg := x.neg
118 if x.neg == y.neg {
128 neg = !neg
138 neg := x.neg
139 if x.neg != y.neg {
149 neg = !neg
192 z.neg = neg
240 z.neg, r.neg = len(z.abs) > 0 && x.neg != y.neg, len(r.abs) > 0 && x.neg // 0 has no sign
[all …]
|
| /dports/lang/gcc9/gcc-9.4.0/libgo/go/math/big/ |
| H A D | int.go | 56 z.neg = neg
76 z.neg = x.neg
117 neg := x.neg
118 if x.neg == y.neg {
128 neg = !neg
138 neg := x.neg
139 if x.neg != y.neg {
149 neg = !neg
192 z.neg = neg
240 z.neg, r.neg = len(z.abs) > 0 && x.neg != y.neg, len(r.abs) > 0 && x.neg // 0 has no sign
[all …]
|
| /dports/lang/gcc9-aux/gcc-9.1.0/libgo/go/math/big/ |
| H A D | int.go | 56 z.neg = neg
76 z.neg = x.neg
117 neg := x.neg
118 if x.neg == y.neg {
128 neg = !neg
138 neg := x.neg
139 if x.neg != y.neg {
149 neg = !neg
192 z.neg = neg
240 z.neg, r.neg = len(z.abs) > 0 && x.neg != y.neg, len(r.abs) > 0 && x.neg // 0 has no sign
[all …]
|
| /dports/lang/racket/racket-8.3/collects/racket/contract/ |
| H A D | combinator.rkt | 125 #:late-neg-projection [late-neg-projection #f]
155 #:late-neg-projection [late-neg-proj #f]
195 (define (add-prop-late-neg-chaperone-check get-late-neg)
197 (add-late-neg-chaperone-check (get-late-neg c))))
202 (λ (x neg-party)
218 (neg-acceptor neg-party)
244 #:late-neg-projection [late-neg-projection #f]
254 #:late-neg-projection (force-late-neg-eq late-neg-projection)
268 #:late-neg-projection [late-neg-projection #f]
280 (and late-neg-projection (λ (c) (force-late-neg-eq (late-neg-projection c))))
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/collects/racket/contract/ |
| H A D | combinator.rkt | 125 #:late-neg-projection [late-neg-projection #f]
155 #:late-neg-projection [late-neg-proj #f]
195 (define (add-prop-late-neg-chaperone-check get-late-neg)
197 (add-late-neg-chaperone-check (get-late-neg c))))
202 (λ (x neg-party)
218 (neg-acceptor neg-party)
244 #:late-neg-projection [late-neg-projection #f]
254 #:late-neg-projection (force-late-neg-eq late-neg-projection)
268 #:late-neg-projection [late-neg-projection #f]
280 (and late-neg-projection (λ (c) (force-late-neg-eq (late-neg-projection c))))
[all …]
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/rel/ |
| H A D | doc.cpp | 53 r->neg().push_back(m.allocate(src.neg()[i])); in allocate()
77 r->neg().push_back(m.allocate(src.neg()[i], permutation)); in allocate()
90 dst.neg().reset(m); in copy()
92 dst.neg().push_back(m.allocate(src.neg()[i])); in copy()
96 src.neg().reset(m); in fill0()
163 m.set(dst.pos(), index, neg(dst.neg()[i][index])); in fold_neg()
427 utbv& neg = d->neg(); in join() local
594 if (a.neg().size() != b.neg().size()) return false; in equals()
596 if (!m.equals(a.neg()[i], b.neg()[i])) return false; in equals()
636 found = m.contains(b.neg()[j],a.neg()[i]); in contains()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/ |
| H A D | doc.cpp | 53 r->neg().push_back(m.allocate(src.neg()[i])); in allocate()
77 r->neg().push_back(m.allocate(src.neg()[i], permutation)); in allocate()
90 dst.neg().reset(m); in copy()
92 dst.neg().push_back(m.allocate(src.neg()[i])); in copy()
96 src.neg().reset(m); in fill0()
163 m.set(dst.pos(), index, neg(dst.neg()[i][index])); in fold_neg()
427 utbv& neg = d->neg(); in join() local
594 if (a.neg().size() != b.neg().size()) return false; in equals()
596 if (!m.equals(a.neg()[i], b.neg()[i])) return false; in equals()
636 found = m.contains(b.neg()[j],a.neg()[i]); in contains()
[all …]
|
| /dports/cad/yosys/yosys-yosys-0.12/tests/aiger/ |
| H A D | neg.ys | 12 !rm -rf neg.out
13 !mkdir neg.out
15 write_aiger -map neg.out/neg.map neg.out/neg.aig
18 read_aiger -wideports -map neg.out/neg.map neg.out/neg.aig
26 !rm -rf neg.out
27 !mkdir neg.out
29 write_xaiger -map neg.out/neg.map neg.out/neg.aig
32 read_aiger -wideports -map neg.out/neg.map neg.out/neg.aig
|
| /dports/devel/valgrind/valgrind-dragonfly-dragonfly/none/tests/mips64/ |
| H A D | fpu_arithmetic.stdout.exp-r6 | 803 neg.s -0.000000 0.000000
805 neg.s -3.000000 3.000000
806 neg.s 1.000000 -1.000000
808 neg.s 7.250000 -7.250000
812 neg.s -0.015625 0.015625
813 neg.s -0.031250 0.031250
822 neg.s 7.000000 -7.000000
825 neg.s 1.000000 -1.000000
828 neg.s -0.000000 0.000000
830 neg.s -3.000000 3.000000
[all …]
|
| /dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/none/tests/mips64/ |
| H A D | fpu_arithmetic.stdout.exp-r6 | 803 neg.s -0.000000 0.000000
805 neg.s -3.000000 3.000000
806 neg.s 1.000000 -1.000000
808 neg.s 7.250000 -7.250000
812 neg.s -0.015625 0.015625
813 neg.s -0.031250 0.031250
822 neg.s 7.000000 -7.000000
825 neg.s 1.000000 -1.000000
828 neg.s -0.000000 0.000000
830 neg.s -3.000000 3.000000
[all …]
|
| /dports/shells/yash/yash-2.51/share/completion/ |
| H A D | stty | 63 (-*) typeset neg=- ;;
64 (*) typeset neg= ;;
75 complete -D "use two stop bits" -- ${neg}cstopb
84 complete -D "enable even parity mode settings" -- ${neg}evenp ${neg}parity
86 complete -D "hang up the connection on last close" -- ${neg}hup ${neg}hupcl
90 complete -D "ignore input break" -- ${neg}ignbrk
117 complete -D "select odd parity" -- ${neg}parodd
130 if [ "$neg" ]; then
158 complete -D "like -ixany" -- ${neg}decctlq
178 complete -D "set modes for a CRT" -- ${neg}crt ${neg}newcrt
[all …]
|
| /dports/www/htdigest/httpd-2.4.6/modules/mappers/ |
| H A D | mod_negotiation.c | 691 neg->dont_fiddle_headers, neg->use_rvsa, in parse_negotiate_header()
692 neg->ua_supports_trans, neg->send_alternates, neg->may_choose); in parse_negotiate_header()
708 if (!neg->accepts) { in maybe_add_default_accepts()
709 neg->accepts = apr_array_make(neg->pool, 4, sizeof(accept_rec)); in maybe_add_default_accepts()
1311 qsort((void *) neg->avail_vars->elts, neg->avail_vars->nelts,
1753 char *fullname = ap_make_full_path(neg->pool, neg->dir_name,
1829 if (!neg->dont_fiddle_headers && !neg->accept_q &&
1833 else if (!neg->dont_fiddle_headers && !neg->accept_q &&
2473 if (neg->send_alternates && neg->avail_vars->nelts)
2602 if (neg->send_alternates && neg->avail_vars->nelts) {
[all …]
|
| /dports/lang/yap/yap-6.2.2/packages/chr/Benchmarks/ |
| H A D | fulladder.chr | 68 %% neg/2 specification
69 %%neg(0,1).
70 %%neg(1,0).
72 neg(0,X) <=> X=1.
73 neg(X,0) <=> X=1.
74 neg(1,X) <=> X=0.
75 neg(X,1) <=> X=0.
76 neg(X,X) <=> fail.
77 neg(X,Y) \ neg(Y,Z) <=> X=Z, chr_dummy.
78 neg(X,Y) \ neg(Z,Y) <=> X=Z, chr_dummy.
[all …]
|
| /dports/lang/swi-pl/swipl-8.2.3/packages/chr/Benchmarks/ |
| H A D | fulladder.chr | 69 %% neg/2 specification
70 %%neg(0,1).
71 %%neg(1,0).
73 neg(0,X) <=> X=1.
74 neg(X,0) <=> X=1.
75 neg(1,X) <=> X=0.
76 neg(X,1) <=> X=0.
77 neg(X,X) <=> fail.
78 neg(X,Y) \ neg(Y,Z) <=> X=Z, chr_dummy.
79 neg(X,Y) \ neg(Z,Y) <=> X=Z, chr_dummy.
[all …]
|
| /dports/www/apache24/httpd-2.4.53/modules/mappers/ |
| H A D | mod_negotiation.c | 691 neg->dont_fiddle_headers, neg->use_rvsa, in parse_negotiate_header()
692 neg->ua_supports_trans, neg->send_alternates, neg->may_choose); in parse_negotiate_header()
708 if (!neg->accepts) { in maybe_add_default_accepts()
709 neg->accepts = apr_array_make(neg->pool, 4, sizeof(accept_rec)); in maybe_add_default_accepts()
1303 qsort((void *) neg->avail_vars->elts, neg->avail_vars->nelts,
1746 char *fullname = ap_make_full_path(neg->pool, neg->dir_name,
1822 if (!neg->dont_fiddle_headers && !neg->accept_q &&
1826 else if (!neg->dont_fiddle_headers && !neg->accept_q &&
2460 if (neg->send_alternates && neg->avail_vars->nelts)
2589 if (neg->send_alternates && neg->avail_vars->nelts) {
[all …]
|
| /dports/misc/otter/otter-3.3f/examples/fringe/ |
| H A D | lexical2.in | 22 special_unary([neg(x)]).
27 -dum | P1(neg(add(c,add(neg(add(a,neg(b))),add(e,neg(d)))))).
30 -dum | P2(add(add(neg(a),b),add(neg(b),add(add(b,neg(b)),add(a,b))))).
33 -dum | P3(add(add(neg(a),b),neg(add(neg(b),add(add(b,neg(b)),add(a,b)))))).
51 EQ(neg(add(x,y)),add(neg(x),neg(y))).
57 EQ(neg(neg(x)),x).
59 % cancellation (we can assume neg(x) is to the right of x)
60 EQ(add(x,neg(x)),0).
61 EQ(add(x,add(neg(x),y)),y).
|
| /dports/lang/gnatdroid-binutils-x86/binutils-2.27/gas/testsuite/gas/mmix/ |
| H A D | regy-op.d | 7 0: 347b0c43 neg \$123,12,\$67
9 8: 347b2043 neg \$123,32,\$67
11 10: 347b0c49 neg \$123,12,\$73
13 18: 347b26d4 neg \$123,38,\$212
15 20: 357b0cb0 neg \$123,12,176
19 30: 357b0ccb neg \$123,12,203
21 38: 357b26d3 neg \$123,38,211
23 40: 357b0c00 neg \$123,12,0
25 48: 35020c00 neg \$2,12,0
29 58: 357b0020 neg \$123,0,32
[all …]
|
| /dports/devel/arm-elf-binutils/binutils-2.37/gas/testsuite/gas/mmix/ |
| H A D | regy-op.d | 7 0: 347b0c43 neg \$123,12,\$67
9 8: 347b2043 neg \$123,32,\$67
11 10: 347b0c49 neg \$123,12,\$73
13 18: 347b26d4 neg \$123,38,\$212
15 20: 357b0cb0 neg \$123,12,176
19 30: 357b0ccb neg \$123,12,203
21 38: 357b26d3 neg \$123,38,211
23 40: 357b0c00 neg \$123,12,0
25 48: 35020c00 neg \$2,12,0
29 58: 357b0020 neg \$123,0,32
[all …]
|
| /dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/binutils/gas/testsuite/gas/mmix/ |
| H A D | regy-op.d | 7 0: 347b0c43 neg \$123,12,\$67
9 8: 347b2043 neg \$123,32,\$67
11 10: 347b0c49 neg \$123,12,\$73
13 18: 347b26d4 neg \$123,38,\$212
15 20: 357b0cb0 neg \$123,12,176
19 30: 357b0ccb neg \$123,12,203
21 38: 357b26d3 neg \$123,38,211
23 40: 357b0c00 neg \$123,12,0
25 48: 35020c00 neg \$2,12,0
29 58: 357b0020 neg \$123,0,32
[all …]
|
| /dports/devel/gnulibiberty/binutils-2.37/gas/testsuite/gas/mmix/ |
| H A D | regy-op.d | 7 0: 347b0c43 neg \$123,12,\$67
9 8: 347b2043 neg \$123,32,\$67
11 10: 347b0c49 neg \$123,12,\$73
13 18: 347b26d4 neg \$123,38,\$212
15 20: 357b0cb0 neg \$123,12,176
19 30: 357b0ccb neg \$123,12,203
21 38: 357b26d3 neg \$123,38,211
23 40: 357b0c00 neg \$123,12,0
25 48: 35020c00 neg \$2,12,0
29 58: 357b0020 neg \$123,0,32
[all …]
|
| /dports/lang/gnatdroid-binutils/binutils-2.27/gas/testsuite/gas/mmix/ |
| H A D | regy-op.d | 7 0: 347b0c43 neg \$123,12,\$67
9 8: 347b2043 neg \$123,32,\$67
11 10: 347b0c49 neg \$123,12,\$73
13 18: 347b26d4 neg \$123,38,\$212
15 20: 357b0cb0 neg \$123,12,176
19 30: 357b0ccb neg \$123,12,203
21 38: 357b26d3 neg \$123,38,211
23 40: 357b0c00 neg \$123,12,0
25 48: 35020c00 neg \$2,12,0
29 58: 357b0020 neg \$123,0,32
[all …]
|
| /dports/devel/tigcc/tigcc-0.96.b8_10/gnu/binutils-2.16.1/gas/testsuite/gas/mmix/ |
| H A D | regy-op.d | 7 0: 347b0c43 neg \$123,12,\$67
9 8: 347b2043 neg \$123,32,\$67
11 10: 347b0c49 neg \$123,12,\$73
13 18: 347b26d4 neg \$123,38,\$212
15 20: 357b0cb0 neg \$123,12,176
19 30: 357b0ccb neg \$123,12,203
21 38: 357b26d3 neg \$123,38,211
23 40: 357b0c00 neg \$123,12,0
25 48: 35020c00 neg \$2,12,0
29 58: 357b0020 neg \$123,0,32
[all …]
|
| /dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/binutils/gas/testsuite/gas/mmix/ |
| H A D | regy-op.d | 7 0: 347b0c43 neg \$123,12,\$67
9 8: 347b2043 neg \$123,32,\$67
11 10: 347b0c49 neg \$123,12,\$73
13 18: 347b26d4 neg \$123,38,\$212
15 20: 357b0cb0 neg \$123,12,176
19 30: 357b0ccb neg \$123,12,203
21 38: 357b26d3 neg \$123,38,211
23 40: 357b0c00 neg \$123,12,0
25 48: 35020c00 neg \$2,12,0
29 58: 357b0020 neg \$123,0,32
[all …]
|
| /dports/devel/djgpp-binutils/binutils-2.17/gas/testsuite/gas/mmix/ |
| H A D | regy-op.d | 7 0: 347b0c43 neg \$123,12,\$67
9 8: 347b2043 neg \$123,32,\$67
11 10: 347b0c49 neg \$123,12,\$73
13 18: 347b26d4 neg \$123,38,\$212
15 20: 357b0cb0 neg \$123,12,176
19 30: 357b0ccb neg \$123,12,203
21 38: 357b26d3 neg \$123,38,211
23 40: 357b0c00 neg \$123,12,0
25 48: 35020c00 neg \$2,12,0
29 58: 357b0020 neg \$123,0,32
[all …]
|