Make cutoff - #1

Open

wclr wants to merge 15 commits into

Commits on Mar 14, 2026

Prepare 0.15.16 release (#4591)
f-f
authored
4c66c05

Commits on Mar 24, 2026

Fix typo in CoreFn traversal function (#4561)
drathier
authored
c4a35b3

Commits on Jun 7, 2026

Add attached derive clauses to data and newtype declarations (#4594)
i-am-the-slime
authored
cb3c496

Commits on Jul 20, 2026

Make cut-off, the main piece
wclr
committed
dbc8403
Fix linting error.
wclr
committed
aed92ab
Refactor externs diff and make api, fix some review sugs
wclr
committed
9707480
Add comments to BuildPlan
wclr
committed
fe94f64
Added requested changes, don't recompile downstream after the error, tests updated and commented.
wclr
committed
66695ef
Update ExternsDiff.checkUsage, add tests
wclr
committed
ea9567d
Add serialize instances for saving warnings
wclr
committed
27a2884
Cut off update: warnings, build reason, log file
wclr
committed
231c4d6
Use more sets instead of lists in ExternsDiff

MonoidMusician
authored and
wclr
committed
2acd2b2
Add comments to ExternsDiff

MonoidMusician
authored and
wclr
committed
12cc779

Commits on Jul 21, 2026

Fix numbering of progress messages

MonoidMusician
authored and
wclr
committed
93fecdb
Fix failed module recurrent compilation.
wclr
committed
98fd714