Danny Yoo
|
cfdbbfaeaa
|
traced the bug to an off-by-one, as usual...
|
2011-04-02 00:57:34 -04:00 |
|
Danny Yoo
|
c0d18edca8
|
still chasing after browser bug; the simulator is working ok, so I assume I messed up somewhere in assembly
|
2011-04-02 00:14:54 -04:00 |
|
Danny Yoo
|
868711dae8
|
starting to re-enable call/cc tests
|
2011-04-01 23:33:24 -04:00 |
|
Danny Yoo
|
d1b27940b7
|
some more tests
|
2011-04-01 23:20:09 -04:00 |
|
Danny Yoo
|
f26b23d821
|
fixing a bug with boxenv
|
2011-04-01 23:05:00 -04:00 |
|
Danny Yoo
|
49ff8c0aa1
|
callcc still broken...
|
2011-04-01 22:57:34 -04:00 |
|
Danny Yoo
|
570879d194
|
still debugging
|
2011-04-01 19:44:24 -04:00 |
|
Danny Yoo
|
8c3a9c5136
|
introducing prompts in the simulator
|
2011-04-01 18:39:34 -04:00 |
|
Danny Yoo
|
589731fc6f
|
introducing prompts
|
2011-04-01 18:08:29 -04:00 |
|
Danny Yoo
|
f581b027a2
|
weakening the optimization: it's not sound if there's mutation, and I don't currently analyze operands for mutation yet.
|
2011-04-01 13:37:07 -04:00 |
|
Danny Yoo
|
dbd8d5bebc
|
about to work on prompts and splices
|
2011-04-01 13:15:41 -04:00 |
|
dyoo
|
074be88089
|
still debugging
|
2011-03-31 14:42:52 -04:00 |
|
Danny Yoo
|
eb0eee57bd
|
fixing some primitives
|
2011-03-28 22:36:58 -04:00 |
|
Danny Yoo
|
d0eb3b610e
|
fixed up test cases to use the new linkage structures.
|
2011-03-28 17:51:02 -04:00 |
|
Danny Yoo
|
a640cfe083
|
minor optimization to letrec
|
2011-03-26 23:46:01 -04:00 |
|
Danny Yoo
|
32e1f1a5dc
|
some testing on letrec
|
2011-03-25 18:35:12 -04:00 |
|
Danny Yoo
|
1e30968481
|
tracing bug with boxenv
|
2011-03-23 19:17:56 -04:00 |
|
Danny Yoo
|
7357c8e850
|
tracing error in compilation
|
2011-03-23 18:30:13 -04:00 |
|
Danny Yoo
|
07f86a8012
|
added a few tests to the simulator
|
2011-03-21 23:38:10 -04:00 |
|
Danny Yoo
|
d744c6d2a2
|
named let
|
2011-03-16 14:04:02 -04:00 |
|
Danny Yoo
|
5bddb64554
|
traced bug in lexical scope; need to mask out the prefix
|
2011-03-14 17:48:10 -04:00 |
|
Danny Yoo
|
1e83a6f8e5
|
still trying to figure out why the lexical scoping is breaking up
|
2011-03-14 17:04:48 -04:00 |
|
Danny Yoo
|
d2cc4852ed
|
trying to trace why conform is failing in an unexpected way
|
2011-03-14 16:38:16 -04:00 |
|
Danny Yoo
|
cc61b1daf1
|
trying to get the conform benchmark running
|
2011-03-14 16:05:59 -04:00 |
|
Danny Yoo
|
01b307829b
|
letrec is doing something
|
2011-03-13 21:26:41 -04:00 |
|
Danny Yoo
|
60abce0e82
|
tracing bug with assign immediate
|
2011-03-13 21:01:14 -04:00 |
|
Danny Yoo
|
9bce564bf3
|
trying to prepare for boxed lexical references
|
2011-03-13 18:31:11 -04:00 |
|
Danny Yoo
|
a597c13e82
|
let
|
2011-03-13 17:57:29 -04:00 |
|
Danny Yoo
|
8cd2085f86
|
ctak is running as well
|
2011-03-13 16:57:48 -04:00 |
|
Danny Yoo
|
0c497bef5c
|
getting call/cc working
|
2011-03-11 19:33:24 -05:00 |
|
Danny Yoo
|
aecc0ad896
|
call/cc looks like it's starting to work.
|
2011-03-11 19:24:57 -05:00 |
|
Danny Yoo
|
fc866634cf
|
getting closer.
|
2011-03-11 19:19:06 -05:00 |
|
Danny Yoo
|
beb592d251
|
continuing to work on the call/cc linkage
|
2011-03-11 17:46:43 -05:00 |
|
Danny Yoo
|
da3568d3d2
|
changed simulator so it's a mutable structure; I'll need this to implement call/cc easily as a primitive, since it's going to mutate the machine.
|
2011-03-11 16:03:37 -05:00 |
|
Danny Yoo
|
13a29cee72
|
let* appears to be doing the right thing with regards to tail behavior
|
2011-03-11 15:10:50 -05:00 |
|
Danny Yoo
|
e3ff7ce382
|
let* is doing something
|
2011-03-11 14:59:00 -05:00 |
|
Danny Yoo
|
5de82cdecf
|
debugging let
|
2011-03-11 14:45:37 -05:00 |
|
Danny Yoo
|
de41b4f379
|
debugging let*
|
2011-03-11 14:32:47 -05:00 |
|
Danny Yoo
|
a17e314489
|
minor changes
|
2011-03-10 17:22:54 -05:00 |
|
Danny Yoo
|
78021ea4b9
|
re-enabled test-rowser-evaluate and test-package in the test suite.
|
2011-03-10 16:35:53 -05:00 |
|
Danny Yoo
|
634e23daa8
|
tracing bug in environment handling
|
2011-03-10 14:49:50 -05:00 |
|
Danny Yoo
|
683d67038c
|
added cond form
|
2011-03-08 18:22:18 -05:00 |
|
Danny Yoo
|
60f7b3c8ff
|
adding a few more examples
|
2011-03-08 17:47:49 -05:00 |
|
Danny Yoo
|
d1af35f0f5
|
fixed bug with lexical scoping.
|
2011-03-08 17:27:43 -05:00 |
|
Danny Yoo
|
d54def0126
|
adding test that exposes bug in my lexical addressing.
|
2011-03-08 17:15:24 -05:00 |
|
Danny Yoo
|
20b9b8ef4d
|
test for control at run termination
|
2011-03-08 04:33:01 -05:00 |
|
Danny Yoo
|
393e0707e1
|
simulator's running deriv in simulator, and producing the right results. huzzah.
|
2011-03-08 04:01:10 -05:00 |
|
Danny Yoo
|
5307871a46
|
Trying to augment the simulator to keep track of the stack size
|
2011-03-08 03:50:01 -05:00 |
|
Danny Yoo
|
71cfb576fa
|
testing out tak
|
2011-03-08 03:38:15 -05:00 |
|
Danny Yoo
|
67e91a7212
|
looking at tail behavior.
|
2011-03-08 03:19:16 -05:00 |
|