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