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

Version history of source/docs/internal/version-bumping.md

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

August 2025

Travis Hance
Replace lifetime_generate with THIR-based erasure (#1792)
committed