|
|
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 |
|
