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

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

March 2026

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

February 2026

Chris Hawblitzel
Merge branch 'main' into assoc-const1
committed

January 2026

Baltasar Dinis
clippy: lift suppression of suspicious group lints (1/2) (#2091)
committed
Daniel Schoepe
Upgrade Verus to use Rust 1.93.0 (#2113)
committed

June 2025

Daniel Schoepe
Rustc 1.88.0 (#1742)
committed
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

Travis Hance
expand-errors: adjust output slightly so the first line is aligned properly
committed
Travis Hance
bugfix: don't apply expand-errors outside default prover mode, fixes #1552
committed

January 2025

Travis Hance
fix expand-errors colored output, fixes #1404
committed
Andrea Lattuada
Merge pull request #1330 from verus-lang/rustc-1.82.0
committed
Ziqiao Zhou
rust 1.82.0: port to new interface
committed

August 2024

Chris Hawblitzel
Replace SstInfo with FunctionSst
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 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

March 2024

Travis Hance
consolidate SST structs into sst.rs
committed
tjhance
expand-errors revamp (#967)
committed
Travis Hance
Revert "expand-errors revamp (#967)"
committed
tjhance
expand-errors revamp (#967)
committed