|
|
d827f9f683
|
Add in-place update
|
2025-06-07 19:05:26 -04:00 |
|
|
|
d950cce57b
|
Fix letrec
|
2025-06-07 16:47:06 -04:00 |
|
|
|
ba13ba5dbd
|
Add unallocated node type
|
2025-06-07 16:34:28 -04:00 |
|
|
|
4a63f28a63
|
Refactor instantiate to allow pre-allocation of nodes
|
2025-06-07 00:27:37 -04:00 |
|
|
|
6655004082
|
Minor
|
2025-06-06 16:35:19 -04:00 |
|
|
|
ad1ca1d796
|
Add let bindings
|
2025-06-06 13:59:34 -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 |
|
|
|
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 |
|
