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