waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2,006 Commits 8 Branches 0 Tags 14 MiB
Commit Graph

3 Commits

Author SHA1 Message Date
microproofs 1cab479b81 fix: dependency hoisting for cyclic functions 
Add more tests
 2023-09-25 21:16:19 -04:00
microproofs ae3053522e feat: Update cyclic functions to be aware of being in a cycle. 
Finish the creation of cyclic functions
The last part is to update vars that call into a function in the cycle
 2023-09-25 21:16:19 -04:00
KtorZ 984237075a Add new acceptance test scenario: 066 
Mutua recursion.
 2023-09-25 21:16:19 -04:00