Release Notes
- Improved handling of comments around clauses/stanzas
- Each comment now maintains loyalty to the clause the user picked it to stay with, rather than automatically migrating to the previous clause in the presence of
assert ... by { ... }-style constructs
- Support parsing for const generic literals
- Support parsing
opens_invariants with specific concrete sets
Install verusfmt 0.4.2
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/download/v0.4.2/verusfmt-installer.sh | sh
Install prebuilt binaries via powershell script
powershell -ExecutionPolicy ByPass -c "irm https://github.com/verus-lang/verusfmt/releases/download/v0.4.2/verusfmt-installer.ps1 | iex"
Download verusfmt 0.4.2
