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

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

October 2026

Travis Hance
Guide typos (#3340)
committed

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

October 2025

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

May 2025

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

April 2025

Ze-en Xiong
fix(docs): fix code display in docs/guide/src/ghost_vs_exec.md
committed

November 2024

Bryan Parno
Eliminate three TODO placeholders.
committed

February 2024

Andrea Lattuada
rename pervasive -> vstd
committed

September 2022

Chris Hawblitzel
Add more to docs/guide
committed