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

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

October 2026

Travis Hance
Guide typos (#3340)
committed

July 2026

JakeGinesin
Add impl, is/isnt, and deref support to exec_spec (#2576)
committed

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

February 2026

Natalie Neamtu
Rename exec_spec! to exec_spec_verified!, add features, and introduce exec_spec_unverified! (#2147)
committed

October 2025

zhengyao
Add documentation for exec_spec, dual_spec, and attribute-based syntax (#1910)
committed