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
|
703edc46a0
|
optimization: when doing primitive application, the result value can be directly placed if targetted to a lexical reference.
|
2011-03-08 04:05:52 -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 |
|
Danny Yoo
|
2b56c90c2c
|
continuing to work on recursion
|
2011-03-08 03:13:26 -05:00 |
|
Danny Yoo
|
072cdd695f
|
recursion looks off
|
2011-03-08 03:07:46 -05:00 |
|
Danny Yoo
|
51c9411f58
|
debuggin
|
2011-03-08 03:00:09 -05:00 |
|
Danny Yoo
|
2eec816750
|
the pop depth depends on the linkage
|
2011-03-08 02:31:18 -05:00 |
|
Danny Yoo
|
ab2f16508e
|
trying to fix the popenv stuff
|
2011-03-07 23:08:58 -05:00 |
|
Danny Yoo
|
470730bcb8
|
trying to trace application
|
2011-03-07 21:59:32 -05:00 |
|
Danny Yoo
|
c6f1aaf941
|
recursion isn't working yet
|
2011-03-07 21:51:55 -05:00 |
|
Danny Yoo
|
4a2f30b4f2
|
checking closures
|
2011-03-07 21:46:13 -05:00 |
|
Danny Yoo
|
0a7f12375f
|
arity check isn't being done
|
2011-03-07 18:58:01 -05:00 |
|
Danny Yoo
|
10e1d446e2
|
continuing to work on test-compiler.rkt
|
2011-03-07 18:46:11 -05:00 |
|
Danny Yoo
|
872ea81adc
|
starting to work on debugging the generated il
|
2011-03-07 18:33:31 -05:00 |
|
Danny Yoo
|
414f806580
|
control stack label lookup
|
2011-03-07 17:54:55 -05:00 |
|
Danny Yoo
|
4924f92528
|
primitive application
|
2011-03-07 17:49:07 -05:00 |
|
Danny Yoo
|
c08c6ed667
|
lexical address lookup
|
2011-03-07 17:40:02 -05:00 |
|
Danny Yoo
|
31e1b0a5d8
|
testing closure capture
|
2011-03-07 17:25:01 -05:00 |
|
Danny Yoo
|
a34fc8b1a1
|
Trying to simplify env references.
|
2011-03-07 17:10:11 -05:00 |
|
Danny Yoo
|
82851496e2
|
capturing some variables.
|
2011-03-07 17:05:57 -05:00 |
|
Danny Yoo
|
283370015d
|
need test to make sure we're doing variable capture.
|
2011-03-07 16:56:10 -05:00 |
|
Danny Yoo
|
1aeeafd149
|
testing make-compiled-procedure
|
2011-03-07 16:55:13 -05:00 |
|
Danny Yoo
|
f27072da7b
|
get compiled procedure entry
|
2011-03-07 16:51:47 -05:00 |
|
Danny Yoo
|
700c637e47
|
getting lookup-primitive to return primitive values
|
2011-03-07 16:34:51 -05:00 |
|
Danny Yoo
|
865181ddc4
|
install closure values.
|
2011-03-07 16:06:50 -05:00 |
|
Danny Yoo
|
6bf17b7d0b
|
fixing the test cases.
|
2011-03-07 15:47:49 -05:00 |
|
Danny Yoo
|
6cb9cf6539
|
changed the allowed set of primitives so we typecheck a bit better. Added chekc-toplevel-bound
|
2011-03-07 15:44:47 -05:00 |
|
Danny Yoo
|
27ee4739cc
|
test-simulator appears to be doing something.
|
2011-03-04 17:08:14 -05:00 |
|
Danny Yoo
|
c84eba7786
|
continuing to implement performstatement
|
2011-03-04 16:55:16 -05:00 |
|
Danny Yoo
|
f1a9c6039c
|
getting weird error message from typed racket.
|
2011-03-04 15:55:05 -05:00 |
|
Danny Yoo
|
b2df94e060
|
working on extendenvironment/prefix
|
2011-03-04 15:32:29 -05:00 |
|
Danny Yoo
|
9277109351
|
testandbranch
|
2011-03-04 14:11:15 -05:00 |
|
Danny Yoo
|
d3ceee5a63
|
popframe
|
2011-03-04 13:52:22 -05:00 |
|
Danny Yoo
|
24149f82cb
|
pushenv tets
|
2011-03-04 13:18:33 -05:00 |
|
Danny Yoo
|
3b35a50810
|
testing environment lookup
|
2011-03-04 13:11:28 -05:00 |
|
dyoo
|
cefc85c72f
|
simplifying the il a little bit, getting assignment
|
2011-03-03 17:17:10 -05:00 |
|
dyoo
|
be89ec9f0f
|
testing goto in the simulator
|
2011-03-03 16:58:09 -05:00 |
|
dyoo
|
3b9722dcc6
|
simulator.rkt skeleton
|
2011-03-03 16:25:34 -05:00 |
|
dyoo
|
e8c2d199aa
|
I need a simulator for the intermediate language.
|
2011-03-03 16:13:36 -05:00 |
|
dyoo
|
0d4a3f859d
|
still working on linkage
|
2011-03-03 15:40:30 -05:00 |
|
dyoo
|
30e9e82877
|
I think the output looks more correct.
|
2011-03-03 15:26:30 -05:00 |
|
dyoo
|
6ebef1c206
|
revising the procedure application
|
2011-03-03 15:11:00 -05:00 |
|
dyoo
|
8ad291e320
|
combining test and branch together formally.
|
2011-03-02 17:42:40 -05:00 |
|
dyoo
|
2a9fe0d72a
|
variable renaming
|
2011-03-02 17:37:14 -05:00 |
|
dyoo
|
e9ba3cee85
|
structurizing the primitive operators, specializing them to the racket machine.
|
2011-03-02 17:31:31 -05:00 |
|
dyoo
|
e6cb5d87a1
|
Trying to clear up procedure application
|
2011-03-02 16:42:33 -05:00 |
|