Constant-time Reference Counting in Effekt#1299

Open

danielflat wants to merge 28 commits intomainfrom

final-constant-time-rc

Commits on Feb 27, 2026

Commits on Mar 3, 2026

Delete cMalloc
phischu
committed
Revise acquire
phischu
committed
Remove imports
phischu
committed
Fixed the linking of the uv library for Intel Macbooks
Flat
committed
df: Added benchmarks
Flat
committed
Basic Bumb allocation
Flat
committed
First approach of a 2nd step of memory-management, but first done in C instead of LLVM because of better debug possibilities
Flat
committed
df: Added ctrc for effekt (except for sender_receiver and server_client)
Flat
committed
df: sender_receiver and server_client should work now as well.
Flat
committed
Delete cMalloc

phischu
authored and
Flat
committed
Revise acquire

phischu
authored and
Flat
committed
Remove imports

phischu
authored and
Flat
committed
Merge remote-tracking branch 'origin/final-constant-time-rc' into final-constant-time-rc
Flat
committed
Insert other free call
phischu
committed
Delete tests for now
phischu
committed
Replace switch by invoke
phischu
committed
Emit instructions into basic block
phischu
committed
Avoid matching on alias info
phischu
committed

Commits on Mar 4, 2026

Reuse loading of environment
phischu
committed

Commits on Mar 5, 2026