about summary refs log tree commit diff stats
path: root/shell/sandbox.mu
Commit message (Collapse)AuthorAgeFilesLines
* .Kartik K. Agaram2021-06-041-0/+4
| | | | Menu shortcut for jumping to function definition.
* .Kartik K. Agaram2021-06-041-8/+8
|
* .Kartik K. Agaram2021-06-041-2/+2
| | | | Keep hotkeys stable when different elements are in focus.
* .Kartik K. Agaram2021-06-041-8/+7
|
* .Kartik K. Agaram2021-06-031-5/+8
|
* .Kartik K. Agaram2021-06-031-13/+11
|
* .Kartik K. Agaram2021-06-031-2/+2
|
* shell: more stable trace when rerunningKartik K. Agaram2021-06-021-1/+113
|
* .Kartik K. Agaram2021-05-311-28/+28
|
* shell: raise errors when loading code on bootKartik K. Agaram2021-05-301-3/+16
|
* bugfix: unbound variables were not raising errorKartik K. Agaram2021-05-301-3/+21
| | | | | Since we switched error trace semantics from a designated label to a designated depth (commit 9831a8cef9 on May 19).
* first test re-running sandbox with a deeper traceKartik K. Agaram2021-05-301-3/+74
|
* .Kartik K. Agaram2021-05-301-1/+47
|
* first attempt doesn't workKartik K. Agaram2021-05-301-0/+9
| | | | | | I was aware of some complications. The various indexes and y coordinates in the trace's cache would be unstable and need to be recomputed. But it's surprising that the trace _completely disappears_.
* start progressively increasing trace depthKartik K. Agaram2021-05-301-24/+30
| | | | | | | | | | | The goal: the sandbox initially maintains a shallow trace. As you expand into the trace, the environment reruns the sandbox at greater depth as needed. The challenge: expanding happens within edit-trace, which doesn't have the whole sandbox needed to re-run the sandbox. We'll either need to expand the trace's capabilities to include the whole sandbox, or duplicate some logic to decide when to run the sandbox.
* disable ctrl-s when browsing traceKartik K. Agaram2021-05-231-2/+6
| | | | | We're soon going to be dynamically rerunning the sandbox in other ways when browsing the trace.
* .Kartik K. Agaram2021-05-231-4/+4
|
* shell: reduce trace depth in sandboxKartik K. Agaram2021-05-221-1/+1
| | | | We'll gradually make this more dynamic.
* disallow null tracesKartik K. Agaram2021-05-191-6/+11
| | | | | | We now use traces everywhere for error-checking. Null traces introduce the possibility of changing a functions error response, and therefore its semantics.
* shell: traces track a maximum depth to recordKartik K. Agaram2021-05-191-2/+2
|
* shell: add a lot of error-checkingKartik K. Agaram2021-05-181-0/+6
|
* .Kartik K. Agaram2021-05-071-4/+4
|
* an often-overflowing stream when running brcircleKartik K. Agaram2021-05-071-0/+2
| | | | We really need to systematically check our trace streams.
* .Kartik K. Agaram2021-05-071-3/+3
|
* starting to implement first macrosKartik K. Agaram2021-05-071-0/+1
| | | | | | | | | | | | | | | Another commit, another bugfix. Some snippets from my currently exploding todo list: - always investigate lookup errors immediately. Beyond the root cause, they should never happen at the moment, while we aren't reclaiming memory. we should always return a more precise error message. Usually involving null pointer checks. - on abort, print out stack trace - emit mapping of labels to addresses during survey - store a mapping of symbols somewhere in the code image - stop allocating 1KB per token; expand space for tokens as needed
* back to macros; switch macroexpand to operate in placeKartik K. Agaram2021-05-061-4/+2
|
* shell: start implementing macrosKartik K. Agaram2021-05-041-1/+4
|
* .Kartik K. Agaram2021-05-041-6/+6
|
* .Kartik K. Agaram2021-05-011-3/+3
| | | | Clean up menus.
* cleaner rendering of fake screens and keyboardsKartik K. Agaram2021-05-011-116/+9
| | | | | | I don't understand why a second line in the keyboard is visible now where it wasn't before. That whole aspect has unclear desires. What exactly do I want to happen on newlines?
* .Kartik K. Agaram2021-05-011-49/+63
| | | | Use sandbox background in the top line on the right.
* move color scheme closer to Solarized darkKartik K. Agaram2021-05-011-50/+50
| | | | | | | | | | | | | sed -i 's,0x12/bg=almost-black,0xdc/bg=green-bg,g' shell/*.mu sed -i 's, 0/bg, 0xc5/bg=blue-bg,g' shell/*.mu sed -i 's, 7/fg=trace, 0x38/fg=trace,g' shell/*.mu sed -i 's, 7/bg=grey, 0x5c/bg=black,g' shell/*.mu Still a few issues. Thanks Adrian Cochrane and Zach DeCook. https://floss.social/@alcinnz/106152068473019933 https://social.librem.one/@zachdecook/106159988837603417
* shell: squeeze menuKartik K. Agaram2021-04-301-11/+13
|
* adjust fake screen aspect ratio for verisimilitudeKartik K. Agaram2021-04-291-1/+1
|
* make pixel borders of screen clearKartik K. Agaram2021-04-291-16/+20
|
* make matching parens pop againKartik K. Agaram2021-04-291-1/+1
|
* white text everywhere by defaultKartik K. Agaram2021-04-291-1/+1
|
* adjust some colors and paddingKartik K. Agaram2021-04-291-52/+54
|
* bugfix: initialize gap buffers before using themKartik K. Agaram2021-04-281-1/+1
| | | | | | | I keep running into one hole in Mu's memory-safety since dropping the Linux dependency: null pointers no longer error when dereferenced. Here the problem manifests as aliasing: lots of gap buffers share the same exact data near address 0, because it was never initialized.
* shell: load/store from/to disk with indentKartik K. Agaram2021-04-281-0/+17
| | | | | Once I came up with the right approach, this worked on the first try once I got the types and registers to line up!
* .Kartik K. Agaram2021-04-281-3/+1
|
* start stashing and clearing sandbox after definitionsKartik K. Agaram2021-04-281-9/+13
|
* shell: stream literalsKartik K. Agaram2021-04-271-0/+17
|
* .Kartik K. Agaram2021-04-271-17/+17
|
* .Kartik K. Agaram2021-04-271-73/+18
|
* shell: use ctrl-m rather than tab to bounce to traceKartik K. Agaram2021-04-251-9/+9
| | | | We'll save tab for inserting graphemes.
* devote 2/3rds of screen to definitionsKartik K. Agaram2021-04-251-1/+1
|
* add some padding to the sandboxKartik K. Agaram2021-04-251-1/+1
|
* clear old output when new run is in progressKartik K. Agaram2021-04-211-67/+92
| | | | I'm currently doing this extremely naively/slowly/uglily. Not a bottleneck.
* .Kartik K. Agaram2021-04-211-13/+13
|
Kartik Agaram <vc@akkartik.com> 2018-11-30 11:10:44 -0800 committer Kartik Agaram <vc@akkartik.com> 2018-11-30 11:13:36 -0800 4802' href='/akkartik/mu/commit/subx/examples/ex11.subx?h=hlt&id=ee9a9237d6324f1de1bb7150083eacf7b9af5f70'>ee9a9237 ^
6030d7e2 ^

ee9a9237 ^
1639687b ^
ee9a9237 ^
6030d7e2 ^
9d27e966 ^
ee9a9237 ^
6030d7e2 ^


ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^

7e84fc51 ^
03d50cc8 ^
1639687b ^
ee9a9237 ^
6030d7e2 ^

ee9a9237 ^
1639687b ^
ee9a9237 ^
6030d7e2 ^
9d27e966 ^
ee9a9237 ^
6030d7e2 ^


ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^

7e84fc51 ^
03d50cc8 ^
1639687b ^
ee9a9237 ^
6030d7e2 ^
1639687b ^
ee9a9237 ^
1639687b ^
ee9a9237 ^
6030d7e2 ^
9d27e966 ^
ee9a9237 ^
6030d7e2 ^


ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^

7e84fc51 ^
03d50cc8 ^
1639687b ^
ee9a9237 ^
6030d7e2 ^
1639687b ^
ee9a9237 ^
1639687b ^
ee9a9237 ^
6030d7e2 ^
9d27e966 ^
ee9a9237 ^
6030d7e2 ^


ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^

7e84fc51 ^
03d50cc8 ^
1639687b ^
ee9a9237 ^
6030d7e2 ^
1639687b ^
ee9a9237 ^
1639687b ^
ee9a9237 ^
6030d7e2 ^
00439520 ^
ee9a9237 ^
6030d7e2 ^


ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^

7e84fc51 ^
03d50cc8 ^
1639687b ^
ee9a9237 ^
6030d7e2 ^
1639687b ^
ee9a9237 ^
1639687b ^
ee9a9237 ^
6030d7e2 ^
00439520 ^
ee9a9237 ^
6030d7e2 ^


ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^

7e84fc51 ^
03d50cc8 ^
1639687b ^
ee9a9237 ^
6030d7e2 ^
1639687b ^
ee9a9237 ^
1639687b ^
ee9a9237 ^
6030d7e2 ^
00439520 ^
ee9a9237 ^
6030d7e2 ^


ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^

7e84fc51 ^
9d27e966 ^
7e84fc51 ^

03d50cc8 ^
ee9a9237 ^
6030d7e2 ^

ee9a9237 ^
6030d7e2 ^


dd9ba09a ^

1639687b ^
6030d7e2 ^

9d27e966 ^
ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^
9d27e966 ^
6030d7e2 ^
9d27e966 ^
03d50cc8 ^
6030d7e2 ^
dd9ba09a ^
7e84fc51 ^
ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^
7e84fc51 ^
ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^
ee9a9237 ^
6030d7e2 ^
03d50cc8 ^
ee9a9237 ^
6030d7e2 ^





7e84fc51 ^
03d50cc8 ^
ee9a9237 ^
6030d7e2 ^

ee9a9237 ^
6030d7e2 ^




9d27e966 ^
6030d7e2 ^
9d27e966 ^
dd9ba09a ^
6030d7e2 ^
9d27e966 ^
dd9ba09a ^
6030d7e2 ^
9d27e966 ^
6030d7e2 ^

ee9a9237 ^
6030d7e2 ^



9d27e966 ^
6030d7e2 ^


7e84fc51 ^
83c67014 ^
e5cbbea4 ^
7e84fc51 ^
6030d7e2 ^
9b16f190 ^
6030d7e2 ^

7e84fc51 ^
03d50cc8 ^

6030d7e2 ^
1639687b ^

6030d7e2 ^
7e84fc51 ^
ee9a9237 ^
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357