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

Version history of source/vstd/atomic.rs

September 2026

Bryan Parno
Various fixes for more complex logically atomic calls (#2940)
committed

August 2026

Hao Sun
vstd/atomic: gate pointer atomics on matching primitive alignment (#2751)
committed
Hao Sun
vstd/atomic: require initialized memory in from_ptr_swap (#2746)
committed

July 2026

Ziqiao Zhou
vstd/atomic: Add atomic load/store/swap via pointer. (#2720)
committed
Aaron Bies
Extend Verus with Logical Atomicity (#2326)
committed
Jay Lorch
Simplify atomic function passthroughs (#2601)
committed

May 2026

Travis Hance
update vstd to use the new_mut_ref style (#2408)
committed

March 2026

Chris Hawblitzel
Merge branch 'main' into ieee-float
committed
elanortang
Wrapping specs (#2204)
committed
Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

February 2026

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

January 2026

Baltasar Dinis
vargo: move style_edition=2024 enforcement to rustfmt.toml (#2085)
committed

July 2025

Chris Hawblitzel (Microsoft)
Add verus_impl macro for syntax inside an impl (#1817)
committed

March 2025

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

December 2024

aaurandt
Allow vstd to support 32-bit platforms (#1370)
committed

August 2024

Travis Hance
vstd: fix cfg attr so AtomicPtr can be used
committed
Travis Hance
Flesh out new raw_ptr interface (#1244)
committed

July 2024

Travis Hance
Unwind (#1034)
committed

June 2024

Travis Hance
add basic_lock examples
committed

May 2024

Travis Hance
Support embedding 'builtin' and 'vstd' as modules in order to support verifying core (#1085)
committed

March 2024

Andrea Lattuada (VMware)
Merge pull request #1024 from verus-lang/verusfmt-vargo
committed
verusfmt
verusfmt vstd using source/rustfmt.toml settings
committed
Jay Bosamiya
Add `verusfmt --check` to CI (#1019)
committed
verusfmt
Reformat latest vstd on latest `main`
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