aboutsummaryrefslogtreecommitdiff
path: root/src/map.c
AgeCommit message (Collapse)Author
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 dumb bugsMarvin Borner
2023-06-01More schedulingMarvin Borner
2023-06-01More parentingMarvin Borner
2023-05-31Added parent hashmapsMarvin Borner
2023-05-29checkpointMarvin Borner
2023-05-27Moved term logicMarvin Borner
2023-05-27More scheduling and probabilisticityMarvin Borner
2023-05-27Basic schedule initializationMarvin Borner
2023-05-26Abstract abstractificationMarvin Borner