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

Version history of source/docs/guide/src/spec-rust-subset.md

October 2026

Travis Hance
Guide typos (#3340)
committed

June 2026

Travis Hance
Flesh out the reference section for spec expressions (#2467)
committed

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

February 2026

Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed

January 2026

Travis Hance
fix html errors in mdbook docs
committed

August 2024

Travis Hance
add reference material about arithmetic (#1241)
committed

July 2024

Travis Hance
write a few more reference pages
committed