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

Version history of source/rust_verify_test/tests/basic.rs

October 2026

Travis Hance
Diagnostic messages copy-editing (#3335)
committed
Travis Hance
support 'mut self' (#3028)
committed

September 2026

Travis Hance
support & and | for bool (#3007)
committed

May 2026

Travis Hance
remove named return value requirement (#2459)
committed
Chris Hawblitzel (Microsoft)
Add trait bound to spec == operator to improve type inference (#2377)
committed

April 2026

Jay Lorch
Merge remote-tracking branch 'upstream/main' into fix-2290
committed
Chris Hawblitzel (Microsoft)
Remove obsolete MULTI_CRATE thread-local variable (#2339)
committed
Máté Kovács
refactor: rename `proof_note_custom_err` to `custom_err` for brevity (#2351)
committed
Jay Lorch
Merge remote-tracking branch 'upstream/main' into fix-2290
committed
Máté Kovács
feat: `proof_note_custom_err` attribute (#2286)
committed
Travis Hance
new-mut-ref: fix issues related to FnMut (#2282)
committed
Travis Hance
new-mut-ref: fix the issue with references in const (#2293)
committed

March 2026

Máté Kovács
feat: complex return value patterns (#2134)
committed
Chris Hawblitzel
Merge branch 'main' into ieee-float
committed
Máté Kovács
feat: streamline `proof_note` syntax on `assert`/`assume` statements (#2233)
committed
Máté Kovács
feat: streamline `proof_note` syntax on `requires`/`ensures` clauses (#2226)
committed
Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

February 2026

Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed
Máté Kovács
[rust_verify] feat: `proof_note` labels (#2167)
committed
Máté Kovács
[rust_verify] feat: `#[proof_note("label")]` attribute (#2158)
committed

January 2026

Travis Hance
infer mutability in ast_to_sst (#2055)
committed

December 2025

Chris Hawblitzel
Merge branch 'main' into dyn
committed
Chris Hawblitzel
Merge branch 'main' into seq-lemmas-triggers
committed
Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed
Travis Hance
clarify error msg for destructuring assignment
committed

August 2025

Travis Hance
some fixes to the vstd-importing special case options
committed
Travis Hance
Replace lifetime_generate with THIR-based erasure (#1792)
committed

July 2025

Bryan Parno
Prepare Verus-related crates for posting to crates.io (#1815)
committed

June 2025

Natalie Neamtu
Merge branch 'main' into zero-to-nat/docs-retreat-2025
committed
Chris Hawblitzel
Merge branch 'main' into loop-infer-base
committed

May 2025

Andrea Lattuada
Upgrade to Rustc 1.85.1 (#1385)
committed

April 2025

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

March 2025

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

August 2024

Travis Hance
vstd: fix cfg attr so AtomicPtr can be used
committed

May 2024

Travis Hance
Support embedding 'builtin' and 'vstd' as modules in order to support verifying core (#1085)
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
Andrea Lattuada
allow specifying infinite rlimit with --rlimit infinity and #[verifier::rlimit(infinity)]
committed

December 2023

Bryan Parno
A few tweaks to make Verus more Rust-like in its tolerance for trailing commas (#939)
committed

November 2023

Chris Hawblitzel (Microsoft)
Add #[verifier::rlimit(n)] attribute for functions (#920)
committed
Andrea Lattuada
Merge pull request #829 from bjorn3/rustup
committed
Andrea Lattuada
handle additional warnings in 1.71.1: allow them when appropriate, and allow unused_assignments lint when compiling
committed

August 2023

João Pereira
Initial support for mut params (#696)
committed

July 2023

Jay Lorch
Merge branch 'main' into breaking-proofs-into-pieces
committed
Chris Hawblitzel
Tweak assert_spec_eq_type_err in test so test doesn't fail
committed
Andrea Lattuada
improve the mismatched types error message for spec equality (#680)
committed
João Pereira
Add support for compound assignments (#659)
committed

May 2023

Chris Hawblitzel
Change &&& and ||| parsing to support forall/exists without parentheses
committed

April 2023

Andrea Lattuada
Merge branch 'main_new'
committed

March 2023

Andrea Lattuada
Merge pull request #438 from verus-lang/standalone
committed