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

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

October 2026

Travis Hance
Guide typos (#3340)
committed
Langston Barrett
doc(guide): Add an example of the `matches` operator (#3084)
committed

August 2024

Travis Hance
add reference material about arithmetic (#1241)
committed

July 2024

Jon Howell
add struct, enum section to guide (#1193)
committed

February 2024

Bryan Parno
Merge branch 'main' into apply-verusfmt
committed
Andrea Lattuada
add ->Variant_name syntax and deprecate #[is_variant]
committed
Andrea Lattuada
nits to the guide level documentatino for t->field, `is`, and `matches` syntax
committed
Andrea Lattuada
add guide level documentatino for t->field, `is`, and `matches` syntax
committed

June 2023

Jay Lorch
Merge pull request #574 from verus-lang/guide-precedence
committed
Jay Lorch
Reflect new &&& ||| precedence in guide
committed

September 2022

Chris Hawblitzel
Add more to docs/guide
committed