Constant time reference counting#1182

Closed

danielflat wants to merge 58 commits into

mainfrom

contant-time-reference-counting

Commits on Oct 25, 2025

Commits on Oct 29, 2025

Commits on Oct 31, 2025

added some more testprograms
Flat
committed
Fix tail resumptive analysis for vars (#1154)

timsueberkrueb
authored and
Flat
committed
Fix #1165: improve position info for UnboxInference errors (#1167)

jiribenes
authored and
Flat
committed
Add 'did you mean' help for mistaken type names (#1162)

jiribenes
authored and
Flat
committed
Multiple CI jobs for PRs (#1173)

jiribenes
authored and
Flat
committed
refactored cMalloc.c
Flat
committed
Big objects are now splitted into a multiple objects with links to the next slot. Slot size are now 64 bytes
Flat
committed

Commits on Nov 1, 2025

Big objects are now splitted into a multiple objects with links to the next slot. Slot size are now 64 bytes
Flat
committed

Commits on Nov 6, 2025

Commits on Nov 7, 2025

Commits on Nov 10, 2025

First contribution of lazy reference counting.
Flat
committed

Commits on Nov 11, 2025

Deleted monitoring for benchmarking
Flat
committed

Commits on Nov 13, 2025

Commits on Nov 14, 2025

Commits on Nov 17, 2025

Explicitly implemented flushtodo list
Flat
committed

Commits on Nov 18, 2025

more test programs + we now batch the flush todo list when having >= 64 slots in the todo list + added more test programs to test that approach
Flat
committed

Commits on Nov 19, 2025

testing approach with 128 bytes instead of 64
Flat
committed
deactivated debug
Flat
committed
back to 64 bytes
Flat
committed
reduced back to simple lazy reference counting
Flat
committed
converted lazy reference counting into llvm
Flat
committed

Commits on Nov 20, 2025

optimized llvm allocator
Flat
committed