Release Notes
- Fix parser for
assume_specification to improve support
- Upgrade dependencies
Install verusfmt 0.5.2
Install prebuilt binaries via shell script
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/verus-lang/verusfmt/releases/download/v0.5.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.5.2/verusfmt-installer.ps1 | iex"
Download verusfmt 0.5.2
