Repository navigation

Challenge 26: Verify safety of Rc functions - #574

Closed

Samuelsills wants to merge 3 commits into

model-checking:mainfrom

Samuelsills:challenge-26-rc

Closed

Challenge 26: Verify safety of Rc functions#574
Samuelsills wants to merge 3 commits into
model-checking:mainfrom
Samuelsills:challenge-26-rc

Commits on Mar 27, 2026
- Challenge 26: Verify safety of Rc functions
  
  Samuelsills
  and
  claude
  committed
  0204b8e
- Fix formatting: join let bindings to single lines
  
  Samuelsills
  and
  claude
  committed
  7f6e576
Commits on Apr 25, 2026
- Make Rc verification harnesses exercise their named functions
  Samuelsills
  committed
  9085409