Skip to content

v0.2.1

Compare
Choose a tag to compare
@github-actions github-actions released this 19 Feb 18:03
· 207 commits to main since this release

Install verusfmt 0.2.1

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/jaybosamiya/verusfmt/releases/download/v0.2.1/verusfmt-installer.sh | sh

Install prebuilt binaries via powershell script

irm https://github.com/jaybosamiya/verusfmt/releases/download/v0.2.1/verusfmt-installer.ps1 | iex

Download verusfmt 0.2.1

File Platform Checksum
verusfmt-aarch64-apple-darwin.tar.xz Apple Silicon macOS checksum
verusfmt-x86_64-apple-darwin.tar.xz Intel macOS checksum
verusfmt-x86_64-pc-windows-msvc.zip x64 Windows checksum
verusfmt-x86_64-unknown-linux-gnu.tar.xz x64 Linux checksum

Changes since v0.2.0

  • Add support for new spec_fn
  • Update handling for fn_trait_types
  • Add support for const params
  • Add support for opens_invariants
  • Improve handling of comples self-params (e.g., tracked '&a self)
  • Introduce #[verusfmt::skip] (#31)
  • Add support for new -> and matches expressions (#32)