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

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

October 2026

Travis Hance
Guide typos (#3340)
committed

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

October 2025

Bryan Parno
Add basic support for spec functions (and hence constants) to bit-vector mode (#1912)
committed

May 2025

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

April 2025

Chris Hawblitzel
Merge branch 'main' into impl-item-const-ensure
committed
Jay Lorch
Edits to bit-vector guide page (#1607)
committed

March 2025

Travis Hance
guide: fix miscellaneous typos
committed

September 2024

Travis Hance
guide: update bitvector prover section, move singular installation to its own chapter
committed

February 2024

Bryan Parno
Merge branch 'main' into apply-verusfmt
committed
Travis Hance
split up integer_ring and bit chapters in the guide
committed