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

Version history of examples/bitmap.rs

May 2026

Travis Hance
new-mut-ref: release (#2393)
committed

March 2026

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

May 2025

Andrea Lattuada
Merge pull request #1685 from verus-lang/catch-warnings-in-examples
committed
Andrea Lattuada
ignore warnings in examples that currently emit them
committed
Baltasar Dinis
examples: fix warnings/errors on examples (#1673)
committed
nobody
Rename examples directory (rename source/rust_verify/example to examples)
committed