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

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

October 2026

Matthew Dwyer
verification observer: interface to capture information about VC lowering (#2965)
committed
Travis Hance
Big verification.rs pipeline refactor (#3236)
committed
Martin Mirchev
Remove the interactive debugger (-V debug) (#2791)
committed
Máté Kovács
Revert "[verus] refactor: depend on `rust_verify` explicitly" (#3237)
committed
Máté Kovács
[verus] refactor: depend on `rust_verify` explicitly (#3206)
committed

September 2026

Travis Hance
function lowering split (#2983)
committed

June 2026

Daniel Schoepe
Upgrade verus to use Rust 1.96.0 (#2528)
committed

April 2026

Jay Lorch
Merge remote-tracking branch 'upstream/main' into fix-2290
committed
Daniel Schoepe
Upgrade to Rust 1.95.0 (#2340)
committed

March 2026

Daniel Schoepe
Support Rust 1.94.0 (#2248)
committed
Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

December 2025

Chris Hawblitzel
Merge branch 'main' into seq-lemmas-triggers
committed
Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed

November 2025

Bryan Parno
Expand some of our internal documentation (#2001)
committed
Daniel Schoepe
Upgrade verus to use rustc-1.91.0 (#1937)
committed

October 2025

Raphael Sofaer
Suggestions for calls/refs to external fns/types. (#1866)
committed

August 2025

Travis Hance
Use Place type everywhere in VIR AST (#1831)
committed
Travis Hance
new-mut-ref: building blocks for general mut ref support
committed

June 2025

Daniel Schoepe
Rustc 1.88.0 (#1742)
committed
Natalie Neamtu
Merge branch 'main' into zero-to-nat/docs-retreat-2025
committed
Travis Hance
bugfix: clean-up rust_to_vir's ADT constructor resolution logic; fixes #1761
committed
Chris Hawblitzel
Merge branch 'main' into loop-infer-base
committed

May 2025

Andrea Lattuada
Upgrade to Rustc 1.85.1 (#1385)
committed

March 2025

Chris Hawblitzel (Microsoft)
Leverage Cargo (continued) (#1475)
committed
Travis Hance
Start handling derived trait impls (#1488)
committed

February 2025

Travis Hance
consolidate external code (attempt 2) (#1386)
committed

January 2025

Andrea Lattuada
when a verusroot is present, with source files, remap spans so that they are available in binary releases
committed

October 2024

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

July 2024

Chris Hawblitzel
Refactor rust_to_vir impl code into rust_to_vir_impl
committed
Chris Hawblitzel (Microsoft)
Add trait_conflicts.rs to detect conflicting trait implementations (#1172)
committed

May 2024

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

April 2024

Chris Hawblitzel
Move trait handling from rust_to_vir to rust_to_vir_trait
committed

March 2024

Andrea Lattuada (VMware)
Generalized lemma broadcast, implements #37 (#1022)
committed
tjhance
expand-errors revamp (#967)
committed
Travis Hance
Revert "expand-errors revamp (#967)"
committed
tjhance
expand-errors revamp (#967)
committed
tjhance
Support Clone trait (#1021)
committed

February 2024

Andrea Lattuada (VMware)
Merge pull request #978 from verus-lang/z3-4.12.5
committed
Andrea Lattuada
add a z3 version check to vargo
committed

November 2023

Andrea Lattuada
Merge pull request #888 from verus-lang/new_arch_word_bytes
committed
Andrea Lattuada
Replace --arch-word-bits with an in-source directive to set the size of `usize`
committed

October 2023

GenericMonkey
Experimental Profile Flags and Serialization tools (#863)
committed

September 2023

tjhance
refactor the command handling and ordering in verifier.rs (#816)
committed
tjhance
prune context for spinoff_prover (#790)
committed
tjhance
User filter cleanup (--verify-function, --verify-module) (#781)
committed
Andrea Lattuada
Merge pull request #809 from bjorn3/remove_rustc_crate_forks
committed
bjorn3
Remove vendored rustc_driver and rustc_interface
committed

August 2023

Andrea Lattuada
better hide, reveal, reveal_with_fuel that don't require type arguments (that would be ignored) (#741)
committed

June 2023

Andrea Lattuada
Verus items: replace path string comparisons with rustc diagnostic_items
committed