|
|
d6236dc442
|
Return Addr when allocated and Node (or continuation) when unallocated
|
2025-06-06 15:59:11 -04:00 |
|
|
|
ad1ca1d796
|
Add let bindings
|
2025-06-06 13:59:34 -04:00 |
|
|
|
4176d439e5
|
Add a unit test for the supercombinators
|
2025-06-06 13:32:54 -04:00 |
|
|
|
1a39377ca1
|
Fix the add-node function
|
2025-06-06 00:17:27 -04:00 |
|
|
|
d324fdd5d7
|
Add pretty printer for states
|
2025-06-05 23:46:41 -04:00 |
|
|
|
716c16a4c4
|
Update to treelist for the heap
|
2025-06-05 22:24:43 -04:00 |
|
|
|
784d27d564
|
Fix the bug of not using the get-arg function
|
2025-06-05 00:20:52 -04:00 |
|
|
|
13c730f9d8
|
Update the implementation of step-sc so it errors when unsaturated
|
2025-06-04 23:33:02 -04:00 |
|
Yiyun Liu
|
7f457c1bbd
|
Add instantiation function
|
2025-06-03 23:15:07 -04:00 |
|
|
|
c0be56ee21
|
Minor
|
2025-06-03 21:47:03 -04:00 |
|
|
|
c17995f97d
|
Fix indent
|
2025-05-28 20:46:53 -04:00 |
|
|
|
a46cc06335
|
Add more helper functions for the stepping relation
|
2025-05-28 00:00:13 -04:00 |
|
|
|
30133f80e7
|
Add tests
|
2025-05-27 23:18:57 -04:00 |
|
Yiyun Liu
|
4d186e6b2b
|
Add the compilation function
|
2025-05-26 01:01:59 -04:00 |
|
Yiyun Liu
|
92e42ef26e
|
Add function for initializing heap
|
2025-05-25 22:46:45 -04:00 |
|
|
|
f3b2d11279
|
Add semantics
|
2025-05-25 22:16:02 -04:00 |
|
Yiyun Liu
|
572d95f108
|
Forgot to commit
|
2025-05-25 01:21:39 -04:00 |
|
Yiyun Liu
|
7d0135ed25
|
Add pretty printer (still wip)
|
2025-05-24 20:20:30 -04:00 |
|
Yiyun Liu
|
bb0e9f68a8
|
Add FFI to untyped parser
|
2025-05-24 14:03:50 -04:00 |
|
|
|
1507c6c40f
|
Add file for AST
|
2025-05-24 13:21:15 -04:00 |
|
Yiyun Liu
|
7776723a77
|
Finish the parser
|
2025-05-24 02:04:37 -04:00 |
|
|
|
7fe75654d9
|
Add lexer and parser
|
2025-05-23 01:47:01 -04:00 |
|
