/[cmucl]/src/contrib/ops/b.ops
ViewVC logotype

Contents of /src/contrib/ops/b.ops

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.1 - (show annotations)
Sun May 31 02:22:49 1992 UTC (21 years, 10 months ago) by ram
Branch: MAIN
CVS Tags: sparc-tramp-assem-base, double-double-array-base, post-merge-intl-branch, release-19b-pre1, release-19b-pre2, merged-unicode-utf16-extfmt-2009-06-11, double-double-init-sparc-2, unicode-utf16-extfmt-2009-03-27, double-double-base, snapshot-2007-09, snapshot-2007-08, snapshot-2008-08, snapshot-2008-09, ppc_gencgc_snap_2006-01-06, sse2-packed-2008-11-12, snapshot-2008-05, snapshot-2008-06, snapshot-2008-07, snapshot-2007-05, snapshot-2008-01, snapshot-2008-02, snapshot-2008-03, intl-branch-working-2010-02-19-1000, snapshot-2006-11, snapshot-2006-10, double-double-init-sparc, snapshot-2006-12, unicode-string-buffer-impl-base, sse2-base, release-20b-pre1, release-20b-pre2, unicode-string-buffer-base, RELEASE_18d, sse2-packed-base, sparc-tramp-assem-2010-07-19, amd64-dd-start, snapshot-2003-10, snapshot-2004-10, release-18e-base, release-19f-pre1, snapshot-2008-12, snapshot-2008-11, intl-2-branch-base, snapshot-2004-08, snapshot-2004-09, remove_negative_zero_not_zero, snapshot-2007-01, snapshot-2007-02, snapshot-2004-05, snapshot-2004-06, snapshot-2004-07, release-19e, release-19d, GIT-CONVERSION, double-double-init-ppc, release-19c, dynamic-extent-base, unicode-utf16-sync-2008-12, LINKAGE_TABLE, release-19c-base, cross-sol-x86-merged, label-2009-03-16, release-19f-base, PRE_LINKAGE_TABLE, merge-sse2-packed, mod-arith-base, sparc_gencgc_merge, merge-with-19f, snapshot-2004-12, snapshot-2004-11, intl-branch-working-2010-02-11-1000, RELEASE_18a, RELEASE_18b, RELEASE_18c, unicode-snapshot-2009-05, unicode-snapshot-2009-06, amd64-merge-start, ppc_gencgc_snap_2005-12-17, double-double-init-%make-sparc, unicode-utf16-sync-2008-07, release-18e-pre2, unicode-utf16-sync-2008-09, unicode-utf16-extfmts-sync-2008-12, prm-before-macosx-merge-tag, cold-pcl-base, RELEASE_20b, snapshot-2008-04, snapshot-2003-11, snapshot-2005-07, unicode-utf16-sync-label-2009-03-16, RELEASE_19f, snapshot-2007-03, release-20a-base, cross-sol-x86-base, unicode-utf16-char-support-2009-03-26, unicode-utf16-char-support-2009-03-25, release-19a-base, unicode-utf16-extfmts-pre-sync-2008-11, snapshot-2008-10, sparc_gencgc, snapshot-2007-04, snapshot-2010-12, snapshot-2010-11, unicode-utf16-sync-2008-11, snapshot-2007-07, snapshot-2011-09, snapshot-2011-06, snapshot-2011-07, snapshot-2011-04, snapshot-2007-06, snapshot-2011-02, snapshot-2011-03, snapshot-2011-01, snapshot-2003-12, release-19a-pre1, release-19a-pre3, release-19a-pre2, pre-merge-intl-branch, release-19a, UNICODE-BASE, double-double-array-checkpoint, double-double-reader-checkpoint-1, release-19d-base, release-19e-pre1, double-double-irrat-end, release-19e-pre2, snapshot-2010-05, snapshot-2010-04, snapshot-2010-07, snapshot-2010-06, snapshot-2010-01, snapshot-2010-03, snapshot-2010-02, release-19d-pre2, release-19d-pre1, snapshot-2010-08, release-18e, double-double-init-checkpoint-1, double-double-reader-base, label-2009-03-25, snapshot-2005-03, release-19b-base, cross-sol-x86-2010-12-20, double-double-init-x86, sse2-checkpoint-2008-10-01, intl-branch-2010-03-18-1300, snapshot-2005-11, double-double-sparc-checkpoint-1, snapshot-2004-04, sse2-merge-with-2008-11, sse2-merge-with-2008-10, snapshot-2005-10, RELEASE_20a, snapshot-2005-12, release-20a-pre1, snapshot-2005-01, snapshot-2009-11, snapshot-2009-12, unicode-utf16-extfmt-2009-06-11, portable-clx-import-2009-06-16, unicode-utf16-string-support, release-19c-pre1, cross-sparc-branch-base, release-19e-base, intl-branch-base, double-double-irrat-start, snapshot-2005-06, snapshot-2005-05, snapshot-2005-04, ppc_gencgc_snap_2005-05-14, snapshot-2005-02, unicode-utf16-base, portable-clx-base, snapshot-2005-09, snapshot-2005-08, lisp-executable-base, snapshot-2009-08, snapshot-2007-12, snapshot-2007-10, snapshot-2007-11, snapshot-2009-02, snapshot-2009-01, snapshot-2009-07, snapshot-2009-05, snapshot-2009-04, snapshot-2006-02, snapshot-2006-03, release-18e-pre1, snapshot-2006-01, snapshot-2006-06, snapshot-2006-07, snapshot-2006-04, snapshot-2006-05, pre-telent-clx, snapshot-2006-08, snapshot-2006-09, HEAD
Branch point for: release-19b-branch, double-double-reader-branch, double-double-array-branch, mod-arith-branch, RELEASE-19F-BRANCH, portable-clx-branch, sparc_gencgc_branch, cross-sparc-branch, RELEASE-20B-BRANCH, RELENG_18, unicode-string-buffer-branch, sparc-tramp-assem-branch, dynamic-extent, UNICODE-BRANCH, release-19d-branch, ppc_gencgc_branch, sse2-packed-branch, lisp-executable, RELEASE-20A-BRANCH, amd64-dd-branch, double-double-branch, unicode-string-buffer-impl-branch, intl-branch, release-18e-branch, cold-pcl, unicode-utf16-branch, cross-sol-x86-branch, release-19e-branch, sse2-branch, release-19a-branch, release-19c-branch, intl-2-branch, unicode-utf16-extfmt-branch
Initial revision
1
2
3 (literalize primer zero role count zero)
4 (literalize maker role count fin zero)
5 (literalize goal count zero)
6
7
8 (p run
9 (goal ^count <c>)
10 -->
11 (bind <z> (compute <c> + 1))
12 (modify 1 ^count <z>))
13
14
15 (p makeprimer
16 (maker ^count <c> ^fin > <c> ^role <r>)
17 -->
18 (make primer ^role <r> ^zero 0 ^count <c>)
19 (bind <z> (compute <c> + 1))
20 (modify 1 ^count <z>))
21
22
23 (p beginrun
24 (maker ^count <c> ^fin = <c> ^role left)
25 (maker ^count <d> ^fin = <d> ^role right)
26 -->
27 (remove 1)
28 (remove 1)
29 (make goal ^count 0 ^zero 0))
30
31
32 (p start
33 (start)
34 -->
35 (remove 1)
36 (make maker ^role left ^count 1 ^fin 50)
37 (make maker ^role right ^count 1 ^fin 50))
38
39
40 (p leftrule10
41 (goal ^zero <c>)
42 (primer ^role left ^zero <> <c> ^count <> 10)
43 -->
44 (remove 1))
45
46
47 (p leftrule9
48 (goal ^zero <c>)
49 (primer ^role left ^zero <> <c> ^count <> 9)
50 -->
51 (remove 1))
52
53
54 (p leftrule8
55 (goal ^zero <c>)
56 (primer ^role left ^zero <> <c> ^count <> 8)
57 -->
58 (remove 1))
59
60
61 (p leftrule7
62 (goal ^zero <c>)
63 (primer ^role left ^zero <> <c> ^count <> 7)
64 -->
65 (remove 1))
66
67
68 (p leftrule6
69 (goal ^zero <c>)
70 (primer ^role left ^zero <> <c> ^count <> 6)
71 -->
72 (remove 1))
73
74
75 (p leftrule5
76 (goal ^zero <c>)
77 (primer ^role left ^zero <> <c> ^count <> 5)
78 -->
79 (remove 1))
80
81
82 (p leftrule4
83 (goal ^zero <c>)
84 (primer ^role left ^zero <> <c> ^count <> 4)
85 -->
86 (remove 1))
87
88
89 (p leftrule3
90 (goal ^zero <c>)
91 (primer ^role left ^zero <> <c> ^count <> 3)
92 -->
93 (remove 1))
94
95
96 (p leftrule2
97 (goal ^zero <c>)
98 (primer ^role left ^zero <> <c> ^count <> 2)
99 -->
100 (remove 1))
101
102
103 (p leftrule1
104 (goal ^zero <c>)
105 (primer ^role left ^zero <> <c> ^count <> 1)
106 -->
107 (remove 1))
108
109
110
111
112 (p rightrule10
113 (primer ^role right ^zero <c> ^count <> 10)
114 (goal ^zero <> <c>)
115 -->
116 (remove 1))
117
118
119 (p rightrule9
120 (primer ^role right ^zero <c> ^count <> 9)
121 (goal ^zero <> <c>)
122 -->
123 (remove 1))
124
125
126 (p rightrule8
127 (primer ^role right ^zero <c> ^count <> 8)
128 (goal ^zero <> <c>)
129 -->
130 (remove 1))
131
132
133 (p rightrule7
134 (primer ^role right ^zero <c> ^count <> 7)
135 (goal ^zero <> <c>)
136 -->
137 (remove 1))
138
139
140 (p rightrule6
141 (primer ^role right ^zero <c> ^count <> 6)
142 (goal ^zero <> <c>)
143 -->
144 (remove 1))
145
146
147 (p rightrule5
148 (primer ^role right ^zero <c> ^count <> 5)
149 (goal ^zero <> <c>)
150 -->
151 (remove 1))
152
153
154 (p rightrule4
155 (primer ^role right ^zero <c> ^count <> 4)
156 (goal ^zero <> <c>)
157 -->
158 (remove 1))
159
160
161 (p rightrule3
162 (primer ^role right ^zero <c> ^count <> 3)
163 (goal ^zero <> <c>)
164 -->
165 (remove 1))
166
167
168 (p rightrule2
169 (primer ^role right ^zero <c> ^count <> 2)
170 (goal ^zero <> <c>)
171 -->
172 (remove 1))
173
174
175 (p rightrule1
176 (primer ^role right ^zero <c> ^count <> 1)
177 (goal ^zero <> <c>)
178 -->
179 (remove 1))
180
181

  ViewVC Help
Powered by ViewVC 1.1.5