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

Version history of source/vstd/bytes.rs

July 2026

Baltasar Dinis
vstd: remove usage of group_seq_axioms and added axioms (#2678)
committed

May 2025

Nickolai Zeldovich
provide a way to open up `spec_u64_to_le_bytes` (#1621)
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

April 2024

Andrea Lattuada
Use generalized broadcast in arithmetic library, rename all broadcast groups to have the prefix group_ (#1086)
committed
Andrea Lattuada
Merge pull request #1023 from verus-lang/generalized-broadcast-vstd
committed
Andrea Lattuada
verusfmt
committed
Andrea Lattuada
apply generalized broadcast to vstd
committed

February 2024

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