Package Details: verifast-nightly-bin 25.02.g6a791d31-1

Git Clone URL: https://aur.archlinux.org/verifast-nightly-bin.git (read-only, click to copy)
Package Base: verifast-nightly-bin
Description: Research prototype tool for modular formal verification of C and Java programs
Upstream URL: https://github.com/verifast/verifast
Licenses: MIT
Conflicts: verifast-bin
Submitter: PixelHamster
Maintainer: PixelHamster
Last Packager: PixelHamster
Votes: 0
Popularity: 0.000000
First Submitted: 2025-02-16 16:46 (UTC)
Last Updated: 2025-02-18 13:20 (UTC)