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

Version history of source/docs/guide/src/reference-attributes.md

October 2026

Travis Hance
Guide typos (#3340)
committed
Martin Mirchev
Check doc crosslinks in CI and fix broken links (#3141)
committed

August 2026

Chris Hawblitzel (Microsoft)
Document parsing behavior of external_body/external functions (#2833)
committed

May 2026

Travis Hance
flesh out prophecy lib & docs (#2424)
committed

April 2026

Jay Lorch
Merge remote-tracking branch 'upstream/main' into fix-2290
committed
Máté Kovács
docs: document the `custom_err` attribute (#2355)
committed

March 2026

Máté Kovács
[guide] docs: document proof_note attributes (#2271)
committed
Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

February 2026

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

January 2026

Bryan Parno
Allow complex invariants even when loop isolation is disabled (#2079)
committed

December 2025

Chris Hawblitzel
Merge branch 'main' into dyn
committed
Chris Hawblitzel
Merge branch 'main' into seq-lemmas-triggers
committed
Bryan Parno
Fix a missing link in the guide's attribute list.
committed

October 2025

zhengyao
Add documentation for exec_spec, dual_spec, and attribute-based syntax (#1910)
committed

June 2025

Natalie Neamtu
Merge branch 'main' into zero-to-nat/docs-retreat-2025
committed
Travis Hance
fix broken link in guide
committed
Bryan Parno
Add a missing doc link, and add a brief description of the `ext_equal` attribute while I'm editing.
committed

May 2025

Andrea Lattuada
add external_body attribute
committed
Travis Hance
implement autospec feature for 'returns' clause (#1643)
committed

April 2025

Abigail Pribisova
Exec termination checking by default (#1545)
committed

November 2024

Travis Hance
guide: add reference chapter for trigger annotations
committed

August 2024

Chris Hawblitzel
Merge branch 'main' of https://github.com/verus-lang/verus
committed
Travis Hance
guide: add unwinding reference page
committed
Travis Hance
guide: typos
committed
Travis Hance
add type invariants to the guide
committed

July 2024

Travis Hance
attributes documentation
committed
Travis Hance
work on attribute documentation
committed