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

Version history of source/docs/guide/src/features.md

October 2026

Travis Hance
Guide typos (#3340)
committed

May 2026

Travis Hance
guide: update supported features table (#2443)
committed

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

February 2026

Chris Hawblitzel
Update our list of supported Rust features
committed
Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed
Bryan Parno
Update our list of supported Rust features
committed

January 2026

Travis Hance
fix html errors in mdbook docs
committed

July 2024

Travis Hance
add reference for truncate attribute
committed
Yi Cai
more supported and unsupported features (#1189)
committed

June 2024

Travis Hance
update the 'supported features' page
committed

December 2023

Travis Hance
broken link fix
committed
Travis Hance
update supported features list, add docs for static items
committed

July 2023

Jay Lorch
Merge branch 'main' into breaking-proofs-into-pieces
committed
ahuoguo
docs for spec closure (#677)
committed

May 2023

Travis Hance
a few corrections
committed
Travis Hance
flesh out a 'feature checklist' for the guide
committed

September 2022

Andrea Lattuada
Guide: add link to list of features on the Wiki, add sections to some chapters
committed