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

Version history of examples/exec_termination_example.rs

May 2026

Bryan Parno
New approach to specifying iterators via a prophetic sequence encoding (#2163)
committed

May 2025

nobody
Rename examples directory (rename source/rust_verify/example to examples)
committed