Repository navigation

Make cutoff - #1

Open

wclr wants to merge 18 commits into

masterfrom

make-cutoff

Open

Make cutoff#1
wclr wants to merge 18 commits into
masterfrom
make-cutoff

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
Commits on Aug 24, 2026
- Add purs compile args, externs-diff fixes, lacking tests with refactor.
  wclr
  committed
  e0914d5
Commits on Sep 3, 2026
- Add Data class to structures
  wclr
  committed
  25c72eb
Commits on Sep 8, 2026
- Correct module move/rename handing, make tests refactoring.
  wclr
  committed
  605dc24

Commits

Commits on Mar 14, 2026

Commits on Mar 24, 2026

Commits on Jun 7, 2026

Commits on Jul 20, 2026

Commits on Jul 21, 2026

Commits on Aug 24, 2026

Commits on Sep 3, 2026

Commits on Sep 8, 2026