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

Version history of examples/guide/recursion.rs

September 2026

Chris Hawblitzel (Microsoft)
Use Seq range syntax in vstd, examples, docs (#2959)
committed

May 2026

Bryan Parno
New approach to specifying iterators via a prophetic sequence encoding (#2163)
committed
Travis Hance
new-mut-ref: release (#2393)
committed

March 2026

John Senneker
Weakened preconditions in recursion example. (#2256)
committed
John Senneker
Fixed mistake in "Putting it all together" page in docs (#2247)
committed
Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

July 2025

Bryan Parno
Prepare Verus-related crates for posting to crates.io (#1815)
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
LIU Yuwei
examples: add decreases for examples in document (#1720)
committed

May 2025

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