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

Version history of source/vstd/layout.rs

October 2026

Lacramioara Astefanoaei
vstd: add u128 instances of the shift and mask lemmas in bits.rs (#3129)
committed

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

February 2026

Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed
elanortang
add cfg to `ExAllocator` (#2185)
committed
Baltasar Dinis
vstd: add warning supression for layout_for_val_is_valid (#2188)
committed
Travis Hance
vstd cell restructuring (#2032)
committed
elanortang
Add layout axioms (#2119)
committed

June 2025

Natalie Neamtu
Merge branch 'main' into zero-to-nat/docs-retreat-2025
committed
Travis Hance
vstd: add alignment-divides-size condition to layout_for_type_is_valid; fixes #1570
committed
Chris Hawblitzel
Merge branch 'main' into loop-infer-base
committed
elanortang
Merge pull request #1721 from verus-lang/document-raw-ptr
committed
Elanor Tang
added documentation/fixes for raw_ptr, plus minor fixes for layout and div_mod
committed

May 2025

Travis Hance
Add an 'axiom' keyword (#1518)
committed

April 2025

Travis Hance
vstd: replace is_sized with T: Sized bounds
committed

March 2025

Andrea Lattuada
uninterp marker on uniterpreted spec fns (#1473)
committed

February 2025

Travis Hance
fix test failure
committed
Travis Hance
add broadcast axioms for size of primitive types and pointers
committed

January 2025

Travis Hance
add better syntax for external_fn_specification (#1368)
committed

August 2024

Travis Hance
Flesh out new raw_ptr interface (#1244)
committed

May 2024

Travis Hance
Support embedding 'builtin' and 'vstd' as modules in order to support verifying core (#1085)
committed
Chris Hawblitzel
Update verifier(...) to verifier::... in guide/examples/vstd
committed

February 2024

Bryan Parno
Merge pull request #1004 from verus-lang/apply-verusfmt
committed
verusfmt
Format vstd with `verusfmt` version 0.2.3
committed
Andrea Lattuada
rename pervasive -> vstd
committed