Releases: verus-lang/verusfmt
Releases · verus-lang/verusfmt
v0.3.1
Release Notes
- Support generic argument binding
- Useful for associated type constraints, such as
trait Foo<T>: Bar<V = Baz<T>>
Install verusfmt 0.3.1
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/download/v0.3.1/verusfmt-installer.sh | sh
Install prebuilt binaries via powershell script
irm https://github.com/verus-lang/verusfmt/releases/download/v0.3.1/verusfmt-installer.ps1 | iex
Download verusfmt 0.3.1
v0.3.0
Release Notes
- Support attributes on
broadcast group items
- Improve styling of
broadcast uses, ensuring trailing newline
- Add support for the
no_unwind clause on functions
Install verusfmt 0.3.0
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/download/v0.3.0/verusfmt-installer.sh | sh
Install prebuilt binaries via powershell script
irm https://github.com/verus-lang/verusfmt/releases/download/v0.3.0/verusfmt-installer.ps1 | iex
Download verusfmt 0.3.0
v0.2.11
Release Notes
- Improve handling of
rustfmt.toml for non-verus! code
- Rather than picking up
rustfmt.toml based on working directory, it is now picked up based on the file being formatted. This now matches the search that rustfmt itself does.
Install verusfmt 0.2.11
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/download/v0.2.11/verusfmt-installer.sh | sh
Install prebuilt binaries via powershell script
irm https://github.com/verus-lang/verusfmt/releases/download/v0.2.11/verusfmt-installer.ps1 | iex
Download verusfmt 0.2.11
v0.2.10
Release Notes
- Add support for
broadcast proof, broadcast group, and broadcast use (see verus#1022)
Install verusfmt 0.2.10
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/download/v0.2.10/verusfmt-installer.sh | sh
Install prebuilt binaries via powershell script
irm https://github.com/verus-lang/verusfmt/releases/download/v0.2.10/verusfmt-installer.ps1 | iex
Download verusfmt 0.2.10
v0.2.9
Release Notes
- Add support for
invariant_except_break clauses, recently added to Verus
- Support arbitrary permutation of clauses in loops, rather than a pre-specified order
Install verusfmt 0.2.9
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/download/v0.2.9/verusfmt-installer.sh | sh
Install prebuilt binaries via powershell script
irm https://github.com/verus-lang/verusfmt/releases/download/v0.2.9/verusfmt-installer.ps1 | iex
Download verusfmt 0.2.9
v0.2.8
Release Notes
- Add support for
for loops with invariants, recently added to Verus
- Improve parsing of range expressions (e.g.,
0..(1 + 2)) that start "float-like"
Install verusfmt 0.2.8
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/download/v0.2.8/verusfmt-installer.sh | sh
Install prebuilt binaries via powershell script
irm https://github.com/verus-lang/verusfmt/releases/download/v0.2.8/verusfmt-installer.ps1 | iex
Download verusfmt 0.2.8
v0.2.7
Release Notes
- Improve
verus!{ ... } macro collapsing inside indented contexts (#39)
Install verusfmt 0.2.7
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/download/v0.2.7/verusfmt-installer.sh | sh
Install prebuilt binaries via powershell script
irm https://github.com/verus-lang/verusfmt/releases/download/v0.2.7/verusfmt-installer.ps1 | iex
Download verusfmt 0.2.7
v0.2.6
Release Notes
- When running verusfmt on multiple files, continue attempting files even if one in the middle fails (#37)
- Fix collection of idempotency issues caused by rustfmt (#38)
- rustfmt would modify code inside of
verus! { ... } after verusfmt has already formatted it in certain cases
- Verusfmt now prevents rustfmt from modifying code inside the Verus macro, through a collapse/expand operation
Install verusfmt 0.2.6
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/download/v0.2.6/verusfmt-installer.sh | sh
Install prebuilt binaries via powershell script
irm https://github.com/verus-lang/verusfmt/releases/download/v0.2.6/verusfmt-installer.ps1 | iex
Download verusfmt 0.2.6
v0.2.5
Release Notes
- Fix
FnSpec parsing
- Despite Verus having deprecated
FnSpec with the introduction of spec_fn, verusfmt still supports it for projects on older Verus
- Fix idempotency issue of macro-items inside
verus! inside in-file modules
- Fix multi-line inline comment treatment
- Only treat multi-line comments as inline if the entire comment is on a single line
Install verusfmt 0.2.5
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/download/v0.2.5/verusfmt-installer.sh | sh
Install prebuilt binaries via powershell script
irm https://github.com/verus-lang/verusfmt/releases/download/v0.2.5/verusfmt-installer.ps1 | iex
Download verusfmt 0.2.5
v0.2.4
Release Notes
Install verusfmt 0.2.4
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/download/v0.2.4/verusfmt-installer.sh | sh
Install prebuilt binaries via powershell script
irm https://github.com/verus-lang/verusfmt/releases/download/v0.2.4/verusfmt-installer.ps1 | iex
Download verusfmt 0.2.4
