Yiyun Liu yiyunliu · he/him
0 followers · 0 following
Repositories
7
 Projects Packages Public activity Starred repositories
yiyunliu pushed to letrec2 at yiyunliu/core-in-racket 2025-06-07 22:05:20 -04:00
b3cf6dec21 Minor
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-06-07 19:07:39 -04:00
d827f9f683 Add in-place update
815fb10e89 Add tests for recursion
d950cce57b Fix letrec
ba13ba5dbd Add unallocated node type
4a63f28a63 Refactor instantiate to allow pre-allocation of nodes
Compare 6 commits »
yiyunliu pushed to letrec2 at yiyunliu/core-in-racket 2025-06-07 19:06:08 -04:00
d827f9f683 Add in-place update
yiyunliu pushed to letrec2 at yiyunliu/core-in-racket 2025-06-07 17:37:35 -04:00
815fb10e89 Add tests for recursion
yiyunliu pushed to letrec2 at yiyunliu/core-in-racket 2025-06-07 16:47:11 -04:00
d950cce57b Fix letrec
yiyunliu pushed to letrec2 at yiyunliu/core-in-racket 2025-06-07 16:34:40 -04:00
ba13ba5dbd Add unallocated node type
yiyunliu pushed to letrec2 at yiyunliu/core-in-racket 2025-06-07 00:28:03 -04:00
4a63f28a63 Refactor instantiate to allow pre-allocation of nodes
yiyunliu created branch letrec2 in yiyunliu/core-in-racket 2025-06-06 16:35:25 -04:00
yiyunliu pushed to letrec2 at yiyunliu/core-in-racket 2025-06-06 16:35:25 -04:00
6655004082 Minor
yiyunliu created branch letrec in yiyunliu/core-in-racket 2025-06-06 16:00:41 -04:00
yiyunliu pushed to letrec at yiyunliu/core-in-racket 2025-06-06 16:00:41 -04:00
d6236dc442 Return Addr when allocated and Node (or continuation) when unallocated
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-06-06 13:59:39 -04:00
ad1ca1d796 Add let bindings
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-06-06 13:33:11 -04:00
4176d439e5 Add a unit test for the supercombinators
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-06-06 00:17:34 -04:00
1a39377ca1 Fix the add-node function
d324fdd5d7 Add pretty printer for states
Compare 2 commits »
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-06-05 22:24:51 -04:00
716c16a4c4 Update to treelist for the heap
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-06-05 00:21:23 -04:00
784d27d564 Fix the bug of not using the get-arg function
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-06-04 23:33:19 -04:00
13c730f9d8 Update the implementation of step-sc so it errors when unsaturated
yiyunliu pushed to master at yiyunliu/sp-eta-postpone 2025-06-04 14:12:32 -04:00
8a71976858 Simplify the completeness proof
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-06-03 23:15:25 -04:00
7f457c1bbd Add instantiation function
yiyunliu pushed to master at yiyunliu/core-in-racket 2025-06-03 21:47:10 -04:00
c0be56ee21 Minor