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

Version history of source/rust_verify/src/context.rs

October 2026

Martin Mirchev
Report pending HIR→VIR diagnostics on every exit path (#3317)
committed
Travis Hance
Integrate Query into rustc query system (#3316)
committed
Travis Hance
Big verification.rs pipeline refactor (#3236)
committed
Travis Hance
hir ids map refactor (#3095)
committed

September 2026

Travis Hance
function lowering split (#2983)
committed
wood-ghost
support pattern matching in closure parameters (#2899)
committed
Daniel Schoepe
Upgrade Verus to Rust 1.98.0 (#2835)
committed

August 2026

Bryan Parno
Remove initial_value_relation and infer_spec_for_loop_iter (#2739)
committed

July 2026

Travis Hance
make loop labels unique (#2712)
committed
Aaron Bies
Extend Verus with Logical Atomicity (#2326)
committed

June 2026

Chris Hawblitzel (Microsoft)
Add #[verifier::allow(...)] to suppress warnings (#2284)
committed
Daniel Schoepe
Upgrade verus to use Rust 1.96.0 (#2528)
committed
Travis Hance
Remaining uninhab issues (#2501)
committed

May 2026

Travis Hance
emit lifetime constraints for open_local_invariant (#2476)
committed
Travis Hance
mut_ref cleanup: remove allow_mut_ref arg from rust_to_vir (#2402)
committed
Travis Hance
mut-ref cleanup: remove new_mut_ref from rust_to_vir (#2401)
committed

April 2026

Travis Hance
new-mut-ref: fix obscure loop invariant evaluation order issue (#2385)
committed
Jay Lorch
Merge remote-tracking branch 'upstream/main' into fix-2290
committed
Chris Hawblitzel (Microsoft)
Introduce CrateId enum for crate names (#2346)
committed

March 2026

Chris Hawblitzel
Merge branch 'main' into ieee-float
committed
Chris Hawblitzel
Merge branch 'main' into metasized_sized_fix
committed
Travis Hance
new-mut-ref: another fix with erasure and infer_spec
committed
Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed
Xiangdong Chen
add support for opaque types defined by assume specification (#2138)
committed

February 2026

Travis Hance
borrow check for prophetic uses (#2215)
committed
Travis Hance
new-mut-ref: handle old function properly (#2190)
committed
Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed

January 2026

Travis Hance
new-mut-ref: add backwards-compatability attribute migrate_postconditions_with_mut_refs
committed
Chris Hawblitzel
Remove clone from Context
committed
Chris Hawblitzel
Remove use of make_mut on mutable Context
committed
Baltasar Dinis
clippy: lift suppression of arc_with_non_send_sync (suspicious) (#2092)
committed

December 2025

Travis Hance
new-mut-ref: spec for Option::as_mut
committed

November 2025

xiangdong chen
Add support for Opaque types defined by function returns (#1785)
committed

October 2025

Chris Hawblitzel
Merge branch 'main' into nonblocking_external_error
committed
Chris Hawblitzel
Revisions to https://github.com/verus-lang/verus/pull/1866
committed
Raphael Sofaer
Suggestions for calls/refs to external fns/types. (#1866)
committed

September 2025

Travis Hance
resolution inference (#1869)
committed

August 2025

Travis Hance
Use Place type everywhere in VIR AST (#1831)
committed
Travis Hance
Replace lifetime_generate with THIR-based erasure (#1792)
committed

July 2025

Travis Hance
get rid of resolved_exprs, which is never used (#1820)
committed

June 2025

Natalie Neamtu
Merge branch 'main' into zero-to-nat/docs-retreat-2025
committed
Chris Hawblitzel
Merge branch 'main' into when_used_as_spec-traits
committed
Chris Hawblitzel
Merge branch 'main' into loop-infer-base
committed
Chris Hawblitzel (Microsoft)
Revise for-loop inference to account for loop_isolation settings (#1768)
committed

May 2025

Andrea Lattuada
Upgrade to Rustc 1.85.1 (#1385)
committed

February 2025

Travis Hance
bugfix: don't error from unrecognized rustc attrs in external items
committed
Travis Hance
consolidate external code (attempt 2) (#1386)
committed

October 2024

Travis Hance
Revert "Consolidate code for classifying 'external' items (#1315)"
committed
Travis Hance
Consolidate code for classifying 'external' items (#1315)
committed

May 2024

Chris Hawblitzel (Microsoft)
Support specifications for external traits (#1058)
committed