Repository navigation

Use VeriFast 26.10 for nightly-2026-09-25 - #714

Merged

feliperodri merged 1 commit into

model-checking:sync-2026-08-21from

btj:verifast-26.10

Oct 5, 2026

Merged

Use VeriFast 26.10 for nightly-2026-09-25#714
feliperodri merged 1 commit into
model-checking:sync-2026-08-21from
btj:verifast-26.10

Commits on Oct 5, 2026
- Use VeriFast 26.10 (for nightly-2026-09-25)
  
  btj
  and
  claude
  committed
  90deede