aboutsummaryrefslogtreecommitdiff
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-22ExperimentsMarvin Borner
2023-10-21Fixed inc and added openMarvin 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
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-06Added testing directoryMarvin Borner
2023-06-06Fixed some use-after-freesMarvin Borner
2023-06-01Some work on derefsMarvin Borner
2023-06-01More schedulingMarvin Borner
2023-06-01More parentingMarvin Borner
2023-05-31Added parent hashmapsMarvin Borner
2023-05-29checkpointMarvin Borner
2023-05-29Forgot to add new terms to mapMarvin Borner
2023-05-29Added note regarding branchesMarvin 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-27More scheduling and probabilisticityMarvin Borner
2023-05-27Basic schedule initializationMarvin Borner
2023-05-26Added libpqueueMarvin Borner
will be part of the scheduler
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-26Note on garbage collectionMarvin Borner
2023-02-20Added stdin readMarvin Borner
2023-02-20Improved readmeMarvin Borner
2023-02-20Added installMarvin Borner
2023-02-20Added BLC parsing/printingMarvin Borner
2023-02-20Removed useless functionsMarvin Borner
2023-02-20Moved tests to seperate fileMarvin Borner
2023-02-20Seems to workMarvin Borner
WHY WAS THIS SO EASY?! I spent basically the entire last week trying to build a reference based garbage collector wtf fuck that
2023-02-20Kinda working but slowMarvin Borner
2023-02-20Removed reference countingMarvin Borner
2023-02-20Added licenseMarvin Borner
2023-02-20Maybe giving up reference countingMarvin Borner
2023-02-18More memory leaksMarvin Borner
2023-02-18Fixed more memory leaksMarvin Borner
Doesn't seem to help much. I really need to sleep though so maybe i'm just dumb
2023-02-17Removed many memory leaksMarvin Borner
Around 30-50%. Still much work to do.
2023-02-17Switched to CHAMP libraryMarvin Borner
2023-02-13Switched to HAMT and BDWGCMarvin Borner
2023-02-13More testsMarvin Borner
2023-02-13With cloningMarvin Borner
(wrong according to paper but kinda works better idk im tired)
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-10Fixed more bugsMarvin Borner
Example works!
2023-02-10NamingMarvin Borner
2023-02-10Some fixesMarvin Borner
Still not working correctly 100% though. I believe the error is around (5) (?)
2023-02-01Transition rulesMarvin Borner
2023-01-31Started reducingMarvin Borner
2023-01-31NormalizationMarvin Borner
2023-01-31Fixed building/syncingMarvin Borner
2022-12-13Basic parsingMarvin Borner