SwiftProof

Download

Get SwiftProof

One static executable for Windows, macOS and Linux, on amd64 and arm64. Git is required at runtime; Docker only to execute repository checks. Go is not needed to run it.

SwiftProof v0.3.0

Loading release information…

Download the latest release

All platforms for this release

Next: install it and review your last commit. Each archive contains the executable, LICENSE, NOTICE and README.md in a folder named after the version and platform.

Release history

Loading releases from GitHub…

Verify a download

Every release publishes a SHA256SUMS file. Download it next to the archive, then check the archive's digest:

# Linux
grep swiftproof-v0.3.0-linux-amd64.tar.gz SHA256SUMS | sha256sum --check
# macOS
grep swiftproof-v0.3.0-darwin-arm64.tar.gz SHA256SUMS | shasum -a 256 --check
# Windows (PowerShell): compare with the matching line of SHA256SUMS
Get-FileHash .\swiftproof-v0.3.0-windows-amd64.zip -Algorithm SHA256

Checksums detect corrupted or mismatched files. The archives are not signed or notarized, which is why macOS quarantines a copy downloaded with a browser: remove the flag with xattr -d com.apple.quarantine swiftproof.

Build from source

With Go 1.23 or newer and Git, from the app directory of a checkout:

git clone https://github.com/gvinsot/SwiftProof.git
cd SwiftProof/app
go build -o swiftproof ./cmd/swiftproof
# or build every platform archive with checksums into dist/
go run ./tools/build -version dev -targets windows/amd64,linux/amd64,darwin/arm64

Release process and CI artifacts are described in RELEASE.md.