Commit graph

Select branches

Hide pull requests

letrec

letrec2

master

Mono Color

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