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

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

October 2026

Travis Hance
Guide typos (#3340)
committed

June 2026

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

June 2025

Natalie Neamtu
Merge branch 'main' into zero-to-nat/docs-retreat-2025
committed
Chris Hawblitzel
Merge branch 'main' into loop-infer-base
committed
Andrea Lattuada
Merge pull request #1653 from verus-lang/proof-in-spec
committed
Bryan Parno
Update the guide's discussion about how to prove termination.
committed

April 2025

Travis Hance
guide: add example of how 'via' works in the decreases reference page
committed

March 2025

Travis Hance
guide: add reference page on `returns` clause, function signatures
committed

August 2024

Travis Hance
guide: decreases clauses on spec fns
committed