|
|
774eb668de
|
Clean out, start sl JIT project (no jit yet)
|
2023-11-19 16:33:19 -05:00 |
|
|
|
c1a0608b7c
|
threading trace throughout
|
2023-07-13 23:38:42 -04:00 |
|
|
|
15cab8799d
|
swap to single struct wrapper scaffolding
|
2023-07-13 22:52:49 -04:00 |
|
|
|
6edbe7d2c8
|
Continue moving stuff around to simplify before opt, and then start sketching out wrapped values and trace - just realized we might need all values to be wrapped tohande side effects that don't depend on input but still have effects (mutation, now ugh and assert)
|
2023-07-09 00:24:50 -04:00 |
|
|
|
b077daf12e
|
Split eval.rs out of ast.rs, and rename ast.rs to basic.rs. Copy it over to opt.rs, and hook up a From<> impl and a congruent(x)->bool function, and add to main.rs and test.rs. Now we actually have to make opt.rs optimize...
|
2023-07-06 01:11:56 -04:00 |
|
|
|
f4ae4db92d
|
Move call inside form to allow for tracing (might still need a way to get out of the end of tracing)
|
2023-07-04 12:23:31 -04:00 |
|
|
|
b03122c7b8
|
Move entire Form out of eval into Trait
|
2023-07-04 10:16:38 -04:00 |
|
|
|
d6cf6a6b64
|
Dependency update
|
2023-07-02 18:09:34 -04:00 |
|
|
|
3b858eda98
|
Move primitives to enum - defunctionalized
|
2023-06-06 01:10:01 -04:00 |
|
|
|
8b9a0a0f2d
|
Start sketching bytecode generation
|
2023-05-25 02:07:01 -04:00 |
|
|
|
ce5ab1dd99
|
Implemented shift/reset delimited continuations using a defunctionalized double-CPS transformation! Basic tests work at least, there certinally could be bugs
|
2023-05-22 01:23:17 -04:00 |
|
|
|
4126e25463
|
everything uses continuations now, skeleton for shift/reset
|
2023-05-21 04:14:29 -04:00 |
|
|
|
d44480bf6c
|
contemplate parameter eval cont
|
2023-05-16 23:48:26 -04:00 |
|
|
|
093f3c0453
|
Basic continuation-ification of primitives, finally work out the Cursor/Cont devide. Still need to figure out which Cont's we need for evaluation (possibly a subset of) parameters
|
2023-05-16 23:31:58 -04:00 |
|
|
|
f82101e63f
|
Start moving eval to explicit continuation based
|
2023-05-16 01:15:09 -04:00 |
|
|
|
ea1516fbd1
|
Started new kv impl with support for mutable cells, just the basic interpreter. Going to add the lazy bytecode interperter next
|
2023-05-14 23:50:27 -04:00 |
|
