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

Version history of source/vir/src/recursion.rs

October 2026

Travis Hance
Diagnostic messages copy-editing (#3335)
committed
Martin Mirchev
Hint when a failing termination check is inside a spec closure (#3315)
committed
Daniel Schoepe
Track trait implementation dependencies in dyn uses (#3053)
committed

August 2026

Chris Hawblitzel (Microsoft)
Add verifier::impls_cannot_extend_spec attribute (#2780)
committed

July 2026

Aaron Bies
Add call body to VIR and SST (#2623)
committed

May 2026

Chris Hawblitzel (Microsoft)
Add verifier::assume(externals_available_without_declaration) (#1988)
committed
Travis Hance
mut_ref cleanup: remove is_mut params from VIR (#2407)
committed

April 2026

Jay Lorch
Merge remote-tracking branch 'upstream/main' into fix-2290
committed
Chris Hawblitzel (Microsoft)
Introduce CrateId enum for crate names (#2346)
committed
Jay Lorch
Merge remote-tracking branch 'upstream/main' into fix-2290
committed

March 2026

Chris Hawblitzel (Microsoft)
Use same polymorphic SMT functions to define decreases for both int and datatypes (#2010)
committed
Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

February 2026

Bryan Parno
Check that decreases clauses have compatible types. (#2130)
committed
Chris Hawblitzel (Microsoft)
Merge pull request #1981 from verus-lang/assoc-const1
committed
Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed
Bryan Parno
Fix of GitHub issue #2047 (#2129)
committed
Chris Hawblitzel
Fix redirect_calls_in_default_methods to account for generic trait functions
committed

January 2026

Travis Hance
infer mutability in ast_to_sst (#2055)
committed

December 2025

Chris Hawblitzel (Microsoft)
Merge pull request #2020 from verus-lang/dyn
committed
Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed
Chris Hawblitzel
Basic support for dyn
committed

November 2025

Bryan Parno
Apply poly wrappers to decreases check from loops (#1997)
committed
Chris Hawblitzel
Some initial support for associated constants in traits
committed
Daniel Schoepe
Upgrade verus to use rustc-1.91.0 (#1937)
committed

October 2025

Chris Hawblitzel
Merge branch 'main' into nonblocking_external_error
committed

September 2025

Travis Hance
new_mut_ref: support two-phase borrows (#1879)
committed

August 2025

Chris Hawblitzel
Carry function decreases information into loops ( https://github.com/verus-lang/verus/issues/1832 )
committed

July 2025

Chris Hawblitzel (Microsoft)
Add external_trait_extension feature to extend external traits with spec functions (#1629)
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
Travis Hance
Sized trait bounds in VIR (#1529)
committed
Chris Hawblitzel
Add Fun --> TraitImpl edges to call graph for resolved calls when possible
committed
Chris Hawblitzel
Add broadcast_use_by_default_when_this_crate_is_imported to call graph
committed

October 2024

Travis Hance
bugfix: external_body on default method impl, fixes #1307
committed
Travis Hance
tuples new approach (#1281)
committed

September 2024

Chris Hawblitzel (Microsoft)
Move poly.rs from AST to SST (#1289)
committed

August 2024

Chris Hawblitzel
Replace SstInfo with FunctionSst
committed
Chris Hawblitzel
Add call graph edges for instantiated trait function requires/ensures
committed
Travis Hance
user-defined type invariants (Part I) (#1207)
committed

July 2024

Chris Hawblitzel (Microsoft)
Implement FunctionSst and KrateSst, for whole-crate AST -> SST translation (#1226)
committed
Chris Hawblitzel
Cleanup and consolidation in sst.rs
committed
Chris Hawblitzel
To prepare for monomorphize branch, remove sst_to_air_func's dependency on ast::Function
committed
Chris Hawblitzel
To prepare for monomorphization branch, clean up sst and ast_to_sst_func, and add visitors for sst Func*Sst.
committed
Chris Hawblitzel (Microsoft)
Split ast-to-sst code out of func_to_air and into ast_to_sst_func (#1211)
committed

May 2024

Chris Hawblitzel
Add trait bound assumptions inside loops
committed
Chris Hawblitzel (Microsoft)
Support specifications for external traits (#1058)
committed
Travis Hance
handle integer range bounds for const type params (#1113)
committed

April 2024

Chris Hawblitzel (Microsoft)
Support decreases clauses for loops (#1051)
committed