Repository navigation

spec(igla): make the nine IGLA CODER specs compile and pass with 0 vacuous (Closes #10075) - #10101

Merged

gHashTag merged 6 commits into

spec/igla-coder-compile

Oct 17, 2026

Merged

spec(igla): make the nine IGLA CODER specs compile and pass with 0 vacuous (Closes #10075)#10101
gHashTag merged 6 commits into
masterfrom
spec/igla-coder-compile

Commits on Oct 17, 2026
- spec(igla): make the nine IGLA CODER specs compile and pass with 0 vacuous (Closes #10075)
  
  gHashTag
  and
  claude
  committed
  fd27c4d
- Merge origin/master into spec/igla-coder-compile
  gHashTag
  committed
  80d9b83
- Merge origin/master into spec/igla-coder-compile
  
  gHashTag
  and
  claude
  committed
  7117aba
- spec(igla): carry the coder-compile numbers to the board, reseal, re-bless the ratchets (Closes #10075)
  
  gHashTag
  and
  claude
  committed
  4e20337
- Merge origin/master into spec/igla-coder-compile; name the coder types apart (types ratchet, #2774)
  
  gHashTag
  and
  claude
  committed
  bd6ae82
- Merge origin/master into spec/igla-coder-compile; adamw compiles now, so 16 of 17 ML specs
  
  gHashTag
  and
  claude
  committed
  1cdb4a4