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)