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

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

October 2026

Travis Hance
Guide typos (#3340)
committed

May 2026

Travis Hance
Augment the BST chapter with more considerations for mutable references (#2442)
committed

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

February 2026

Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed

December 2025

项科深 Xiang Keshen
Simplified doc with Option::take (#2037)
committed

May 2025

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

November 2024

Bryan Parno
Minor edits to the new BST example
committed
Travis Hance
add guide chapter on Binary Search Tree
committed