Release Notes
- Fix incorrect parsing of string literals containing "verus!{"
- Support automatic formatting of the
seq!
macro
Install verusfmt 0.3.5
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/download/v0.3.5/verusfmt-installer.sh | sh
Install prebuilt binaries via powershell script
powershell -c "irm https://github.com/verus-lang/verusfmt/releases/download/v0.3.5/verusfmt-installer.ps1 | iex"
Download verusfmt 0.3.5