- Support for the new Verus
finalkeyword
- Updated to Rust version to 1.94.0
- Add "Fold Proof Block" command (#73)
- Allow use of Rust macro
matches!by avoiding confusion with Verusmatcheskeyword (#72)
- Updated to Rust version to 1.93.1
- Updated to Rust version to 1.93.0
- Updated to Rust version to 1.92.0
- Documentation improvements
- Updated to Rust version to 1.91.0
- Improved error message when Rust toolchain validation fails
- Add logic to try to locate the default cargo home directory
- Setting for enabling/disabling the feature that tries to only report errors in the file that's currently being edited.
- Various bugs related to
cargo verusarguments
- Support for more
cargo verusoptions
- Support for
assume_specificationfor consts (see verus-lang/verus#1825)
- A config flag to enable toggling between
cargo verusand directverusinvocation