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)