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
