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