Releases: verus-lang/verusfmt
Releases · verus-lang/verusfmt
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
v0.2.3
Release Notes
- Don't drop "?" or "~" from type bounds
Install verusfmt 0.2.3
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/jaybosamiya/verusfmt/releases/download/v0.2.3/verusfmt-installer.sh | sh
Install prebuilt binaries via powershell script
irm https://github.com/jaybosamiya/verusfmt/releases/download/v0.2.3/verusfmt-installer.ps1 | iex
Download verusfmt 0.2.3
v0.2.2
Release Notes
- Allow (bare) trigger attributes to be inline, rather than always on their own line
Install verusfmt 0.2.2
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/jaybosamiya/verusfmt/releases/download/v0.2.2/verusfmt-installer.sh | sh
Install prebuilt binaries via powershell script
irm https://github.com/jaybosamiya/verusfmt/releases/download/v0.2.2/verusfmt-installer.ps1 | iex
Download verusfmt 0.2.2
v0.2.1
Install verusfmt 0.2.1
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/jaybosamiya/verusfmt/releases/download/v0.2.1/verusfmt-installer.sh | sh
Install prebuilt binaries via powershell script
irm https://github.com/jaybosamiya/verusfmt/releases/download/v0.2.1/verusfmt-installer.ps1 | iex
Download verusfmt 0.2.1
Changes since v0.2.0
- Add support for new
spec_fn
- Update handling for
fn_trait_types
- Add support for
const params
- Add support for
opens_invariants
- Improve handling of comples self-params (e.g.,
tracked '&a self)
- Introduce
#[verusfmt::skip] (#31)
- Add support for new
-> and matches expressions (#32)
v0.2.0
Install verusfmt 0.2.0
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/jaybosamiya/verusfmt/releases/download/v0.2.0/verusfmt-installer.sh | sh
Install prebuilt binaries via powershell script
irm https://github.com/jaybosamiya/verusfmt/releases/download/v0.2.0/verusfmt-installer.ps1 | iex
Download verusfmt 0.2.0
Changes since v0.1.6
- Reduce collapsing of various multiple single-line comments
- Fixed extra spaces in if-expressions with negation (#24)
- Fixed precedence for quantifiers and
&&& and ||| (#26)
- Handle macro call statements (#27)
- Improved handling of non-inline single-line comments (#28)
