| /dports/math/boolector/boolector-3.2.2/examples/generators/countbits/ |
| H A D | nlzbs.sh | 61 ((lastid = id - 1))
63 ((lastid = id - 1))
67 ((lastid = id - 1))
69 ((lastid = id - 1))
73 ((lastid = id - 1))
75 ((lastid = id - 1))
80 ((lastid = id - 1))
82 ((lastid = id - 1))
88 ((lastid = id - 1))
101 ((lastid = id - 1))
[all …]
|
| H A D | countbitsarray.sh | 95 ((lastid = id - 1))
99 ((lastid = id - 1))
101 ((lastid = id - 1))
105 ((lastid = id - 1))
109 ((lastid = id - 1))
113 ((lastid = id - 1))
115 ((lastid = id - 1))
122 ((lastid = id - 1))
126 ((lastid = id - 1))
132 ((lastid = id - 1))
[all …]
|
| H A D | countbitstable.sh | 90 ((lastid = id - 1))
96 ((lastid = id - 1))
98 ((lastid = id - 1))
106 ((lastid = id - 1))
108 ((lastid = id - 1))
110 ((lastid = id - 1))
120 ((lastid = id - 1))
122 ((lastid = id - 1))
124 ((lastid = id - 1))
128 ((lastid = id - 1))
[all …]
|
| H A D | nlzbsdown.sh | 60 ((lastid = id - 1))
66 ((lastid = id - 1))
68 ((lastid = id - 1))
86 ((lastid = id - 1))
88 ((lastid = id - 1))
90 ((lastid = id - 1))
91 echo "$((id++)) eq 1 $lastid $idzero"
96 ((lastid = id - 1))
98 ((lastid = id - 1))
105 ((lastid = id - 1))
[all …]
|
| H A D | nlzbe.sh | 71 ((lastid = id - 1))
77 ((lastid = id - 1))
81 ((lastid = id - 1))
98 ((lastid = id - 1))
100 ((lastid = id - 1))
102 ((lastid = id - 1))
103 echo "$((id++)) eq 1 $lastid $idzero"
108 ((lastid = id - 1))
110 ((lastid = id - 1))
117 ((lastid = id - 1))
[all …]
|
| H A D | countbitssrl.sh | 60 ((lastid = id - 1))
64 ((lastid = id - 1))
74 ((lastid = id - 1))
75 echo "$((id++)) sll $numbits $idone $lastid"
76 ((lastid = id - 1))
77 echo "$((id++)) and $numbits $idxorig $lastid"
78 ((lastid = id - 1))
79 echo "$((id++)) ne 1 $lastid $idzero"
82 ((lastid = id - 1))
89 ((lastid = id - 1))
[all …]
|
| H A D | countbitsrotate.sh | 52 ((lastid = id - 1))
53 echo "$((id++)) rol $numbits $idx $lastid"
70 ((lastid = id - 1))
71 echo "$((id++)) sll $numbits $idone $lastid"
72 ((lastid = id - 1))
73 echo "$((id++)) and $numbits $idxorig $lastid"
74 ((lastid = id - 1))
75 echo "$((id++)) ne 1 $lastid $idzero"
78 ((lastid = id - 1))
85 ((lastid = id - 1))
[all …]
|
| /dports/math/boolector/boolector-3.2.2/examples/generators/icbrt/ |
| H A D | icbrteqchk.sh | 32 ((lastid = id - 1))
34 ((lastid = id - 1))
36 ((lastid = id - 1))
44 ((lastid = id - 1))
48 ((lastid = id - 1))
62 ((lastid = id - 1))
64 ((lastid = id - 1))
66 ((lastid = id - 1))
72 ((lastid = id - 1))
74 ((lastid = id - 1))
[all …]
|
| H A D | icbrt2.sh | 30 ((lastid = id - 1))
32 ((lastid = id - 1))
34 ((lastid = id - 1))
40 ((lastid = id - 1))
42 ((lastid = id - 1))
46 ((lastid = id - 1))
50 ((lastid = id - 1))
55 ((lastid = id - 1))
71 ((lastid = id - 1))
75 ((lastid = id - 1))
[all …]
|
| H A D | icbrt4.sh | 31 ((lastid = id - 1))
33 ((lastid = id - 1))
35 ((lastid = id - 1))
41 ((lastid = id - 1))
43 ((lastid = id - 1))
47 ((lastid = id - 1))
51 ((lastid = id - 1))
56 ((lastid = id - 1))
72 ((lastid = id - 1))
76 ((lastid = id - 1))
[all …]
|
| H A D | icbrt1.sh | 28 ((lastid = id - 1))
30 ((lastid = id - 1))
32 ((lastid = id - 1))
40 ((lastid = id - 1))
44 ((lastid = id - 1))
49 ((lastid = id - 1))
65 ((lastid = id - 1))
66 echo "$((id++)) or 1 $ideq $lastid"
69 ((lastid = id - 1))
71 ((lastid = id - 1))
[all …]
|
| H A D | icbrt3.sh | 29 ((lastid = id - 1))
31 ((lastid = id - 1))
32 echo "$((id++)) or 32 $lastid $id1"
33 ((lastid = id - 1))
41 ((lastid = id - 1))
45 ((lastid = id - 1))
50 ((lastid = id - 1))
66 ((lastid = id - 1))
70 ((lastid = id - 1))
72 ((lastid = id - 1))
[all …]
|
| /dports/math/boolector/boolector-3.2.2/examples/generators/adler32/ |
| H A D | adler32.sh | 37 ((lastid = id - 1))
45 ((lastid = id - 1))
47 ((lastid = id - 1))
48 bytes[bytescounter]=$lastid
51 ((lastid = id - 1))
55 ((lastid = id - 1))
61 ((lastid = id - 1))
85 ((lastid = id - 1))
91 ((lastid = id - 1))
93 ((lastid = id - 1))
[all …]
|
| H A D | adler32o.sh | 36 ((lastid = id - 1))
37 echo "$((id++)) and 32 $lastid $idhex"
43 ((lastid = id - 1))
46 ((lastid = id - 1))
47 echo "$((id++)) add 32 $ids1 $lastid"
54 ((lastid = id - 1))
56 ((lastid = id - 1))
57 echo "$((id++)) uaddo 1 $ids1 $lastid"
59 echo "$((id++)) add 32 $ids1 $lastid"
65 ((lastid = id - 1))
[all …]
|
| /dports/math/boolector/boolector-3.2.2/examples/generators/isqrt/ |
| H A D | isqrt4.sh | 27 ((lastid = id - 1))
29 ((lastid = id - 1))
33 ((lastid = id - 1))
37 ((lastid = id - 1))
48 ((lastid = id - 1))
49 echo "$((id++)) mul 32 $lastid $lastid"
56 ((lastid = id - 1))
57 echo "$((id++)) or 1 $ideq $lastid"
60 ((lastid = id - 1))
62 ((lastid = id - 1))
[all …]
|
| H A D | isqrt2.sh | 26 ((lastid = id - 1))
28 ((lastid = id - 1))
32 ((lastid = id - 1))
36 ((lastid = id - 1))
47 ((lastid = id - 1))
48 echo "$((id++)) mul 32 $lastid $lastid"
55 ((lastid = id - 1))
56 echo "$((id++)) or 1 $ideq $lastid"
59 ((lastid = id - 1))
61 ((lastid = id - 1))
[all …]
|
| H A D | isqrteqchk.sh | 30 ((lastid = id - 1))
34 ((lastid = id - 1))
50 ((lastid = id - 1))
51 echo "$((id++)) or 32 $idx -$lastid"
52 ((lastid = id - 1))
56 ((lastid = id - 1))
57 echo "$((id++)) sub 32 $idx $lastid"
60 ((lastid = id - 1))
61 echo "$((id++)) or 32 $idy2 $lastid"
67 ((lastid = id - 1))
[all …]
|
| H A D | isqrt1.sh | 26 ((lastid = id - 1))
27 echo "$((id++)) cond 32 $idcond $lastid $idx"
30 ((lastid = id - 1))
41 ((lastid = id - 1))
42 echo "$((id++)) mul 32 $lastid $lastid"
49 ((lastid = id - 1))
50 echo "$((id++)) or 1 $ideq $lastid"
53 ((lastid = id - 1))
54 echo "$((id++)) implies 1 -$lastid $idor"
55 ((lastid = id - 1))
[all …]
|
| H A D | isqrt3.sh | 27 ((lastid = id - 1))
28 echo "$((id++)) cond 32 $idcond $lastid $idx"
31 ((lastid = id - 1))
42 ((lastid = id - 1))
43 echo "$((id++)) mul 32 $lastid $lastid"
50 ((lastid = id - 1))
51 echo "$((id++)) or 1 $ideq $lastid"
54 ((lastid = id - 1))
55 echo "$((id++)) implies 1 -$lastid $idor"
56 ((lastid = id - 1))
[all …]
|
| /dports/math/boolector/boolector-3.2.2/examples/generators/mulhs/ |
| H A D | mulhs.sh | 58 ((lastid = id - 1))
62 ((lastid = id - 1))
63 echo "$((id++)) add $numbits $lastid $idw0"
70 ((lastid = id - 1))
71 echo "$((id++)) add $numbits $lastid $idw1"
78 ((lastid = id - 1))
87 ((lastid = id - 1))
89 ((lastid = id - 1))
90 echo "$((id++)) eq 1 $idresult $lastid"
91 ((lastid = id - 1))
[all …]
|
| /dports/math/boolector/boolector-3.2.2/examples/generators/bitrev/ |
| H A D | bitrev.sh | 73 ((lastid = id - 1))
74 echo "$((id++)) and $bits $idx $lastid"
75 ((lastid = id - 1))
76 echo "$((id++)) sll $bits $lastid $shiftid"
80 ((lastid = id - 1))
81 echo "$((id++)) and $bits $idx $lastid"
82 ((lastid = id - 1))
83 echo "$((id++)) srl $bits $lastid $shiftid"
91 ((lastid = id - 1))
92 echo "$((id++)) root 1 -$lastid"
|
| /dports/math/boolector/boolector-3.2.2/examples/generators/bubblesortnext/ |
| H A D | bubblesortnext.sh | 23 ((lastid=id-1))
24 echo "$((id++)) next $power $idvar $lastid"
38 ((lastid=id-1))
39 echo "$((id++)) write $bw $lastid $index $idread2"
40 ((lastid=id-1))
41 echo "$((id++)) cond $bw $idugt $lastid $array"
62 ((lastid=id-1))
63 echo "$((id++)) and 1 $idugt $lastid"
64 ((lastid=id-1))
65 echo "$((id++)) root 1 $lastid"
|
| /dports/math/boolector/boolector-3.2.2/contrib/ |
| H A D | btorcheckmodel.py | 112 lastid = str(id) variable
115 lastid = str(id) variable
159 iid = lastid = str(id)
162 vid = lastid = str(id)
165 lastid = str(id) variable
168 lastid = str(id) variable
188 iid = lastid = str(id)
191 vid = lastid = str(id)
194 lastid = str(id) variable
197 lastid = str(id) variable
[all …]
|
| /dports/biology/canu/canu-2.2/src/bogart/ |
| H A D | AS_BAT_Unitig_AddRead.C | 76 uint32 lastid = ufpath.size() - 1;
78 ufNode last = ufpath[lastid];
81 while ((lastid > 0) &&
83 ufpath[lastid] = ufpath[previd];
85 _ufpathIdx[ufpath[lastid].ident] = lastid;
87 lastid--;
91 _ufpathIdx[last.ident] = lastid;
93 if (lastid < ufpath.size() - 1)
94 ufpath[lastid] = last;
|
| /dports/www/moodle310/moodle/grade/grading/form/guide/ |
| H A D | guideeditor.php | 197 $lastid = null;
227 if ($lastid !== null) {
228 $lastcriterion = $return['criteria'][$lastid];
229 unset($return['criteria'][$lastid]);
236 $lastid = $id;
247 $lastid = $id;
259 $lastid = null;
270 if ($lastid !== null) {
272 unset($return['comments'][$lastid]);
279 $lastid = $id;
[all …]
|