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

Version history of source/docs/guide/src/reference-global.md

October 2026

Travis Hance
Guide typos (#3340)
committed

June 2026

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

February 2025

Travis Hance
add broadcast axioms for size of primitive types and pointers
committed

August 2024

Chris Hawblitzel
Merge branch 'main' of https://github.com/verus-lang/verus
committed
Travis Hance
guide: add unwinding reference page
committed
Travis Hance
add reference material about arithmetic (#1241)
committed