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

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

October 2026

Travis Hance
Guide typos (#3340)
committed

June 2025

Chris Hawblitzel
Change verifier::auto_ext_equal default to assert, assert_by, ensures, invariant
committed

May 2025

nobody
Rename examples directory (rename source/rust_verify/example to examples)
committed

February 2024

Andrea Lattuada
Merge branch 'main' into z3-4.12.5
committed
tjhance
rename FnSpec -> spec_fn (print deprecation warning for FnSpec) (#977)
committed

July 2023

Jay Lorch
Merge branch 'main' into breaking-proofs-into-pieces
committed
Chris Hawblitzel
Minor edits to docs
committed
Jialin Li
Extensional equality docs (#647)
committed