verus
forked from verus-lang/verus
Star 0
Fork 0
Watch

Version history of source/docs/guide/src/exec_termination.md

October 2026

Travis Hance
Guide typos (#3340)
committed

July 2026

Alex Bai
[doc] nit: exec_allows_no_decreases_clause flag (#2617)
committed

April 2025

Abigail Pribisova
Exec termination checking by default (#1545)
committed