aboutsummaryrefslogtreecommitdiff
path: root/inc
AgeCommit message (Expand)Author
2023-11-15More testingHEADaggressiveMarvin Borner
2023-10-23Testing bound state (won't work; backup)Marvin Borner
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
2023-06-07Removed parentingMarvin Borner
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
2023-05-29Switched to wider indicesMarvin Borner
2023-05-27Moved term logicMarvin Borner
2023-05-27More scheduling and probabilisticityMarvin Borner
2023-05-27Basic schedule initializationMarvin Borner
2023-05-26Added libpqueueMarvin Borner
2023-05-26Added depthMarvin Borner
2023-05-26Abstract abstractificationMarvin Borner
2023-05-26Becoming aggressiveMarvin Borner
2023-05-06Start freshMarvin Borner
2023-04-28Renamed reducerMarvin Borner
2023-02-20Added BLC parsing/printingMarvin Borner
2023-02-20Seems to workMarvin Borner
2023-02-20Kinda working but slowMarvin Borner
2023-02-20Removed reference countingMarvin Borner
2023-02-20Maybe giving up reference countingMarvin Borner
2023-02-18Fixed more memory leaksMarvin Borner
2023-02-17Removed many memory leaksMarvin Borner
2023-02-17Switched to CHAMP libraryMarvin Borner
2023-02-13Switched to HAMT and BDWGCMarvin Borner
2023-02-11Added testing for equivalenciesMarvin Borner
2023-02-11Fixing.. AAHMarvin Borner
2023-02-01Transition rulesMarvin Borner
2023-01-31Started reducingMarvin Borner
2023-01-31NormalizationMarvin Borner
2022-12-13Basic parsingMarvin Borner