aboutsummaryrefslogtreecommitdiff
path: root/inc/term.h
AgeCommit message (Collapse)Author
2023-11-15More testingHEADaggressiveMarvin Borner
2023-10-23Testing bound state (won't work; backup)Marvin Borner
won't give improvements, since inc/dec idcs need inspection anyway
2023-10-21Started basic beta shiftMarvin Borner
2023-06-07Further fixes of substitution and use-after-freeMarvin Borner
2023-06-07Parenting is still neededMarvin Borner
I was certainly dumb. This reverts commit ec2be68120e48c75b0acd2bdfb5cc8d931c70cfd.
2023-06-07Removed parentingMarvin Borner
I think reducing should work without parenting.. I'm not sure though. I'm confused.
2023-06-06Fixed some use-after-freesMarvin Borner
2023-06-01More schedulingMarvin Borner
2023-06-01More parentingMarvin Borner
2023-05-31Added parent hashmapsMarvin Borner
2023-05-29checkpointMarvin Borner
2023-05-29Started reducerMarvin Borner
has some problems still
2023-05-29Switched to wider indicesMarvin Borner
I mean these programs would certainly be quite weird but it doesn't change the struct size anyway so better be prepared amirite
2023-05-27Moved term logicMarvin Borner
2023-05-06Start freshMarvin Borner
2023-02-20Added BLC parsing/printingMarvin Borner
2023-02-20Removed reference countingMarvin Borner
2023-02-17Removed many memory leaksMarvin Borner
Around 30-50%. Still much work to do.
2023-02-13Switched to HAMT and BDWGCMarvin Borner
2023-02-11Added testing for equivalenciesMarvin Borner
2023-02-11Fixing.. AAHMarvin Borner
Debugging this is not that easy actually. But I think I got it (tomorrow).
2023-02-01Transition rulesMarvin Borner
2023-01-31Started reducingMarvin Borner
2023-01-31NormalizationMarvin Borner
2022-12-13Basic parsingMarvin Borner