Search Criteria
Package Details: verifast-bin 19.12-2
Git Clone URL: | https://aur.archlinux.org/verifast-bin.git (read-only, click to copy) |
---|---|
Package Base: | verifast-bin |
Description: | research prototype of a tool for formal verification of C and Java programs |
Upstream URL: | https://github.com/verifast/verifast |
Licenses: | MIT |
Submitter: | sandervb |
Maintainer: | sandervb |
Last Packager: | sandervb |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2018-10-10 19:54 (UTC) |
Last Updated: | 2023-11-06 09:26 (UTC) |
Latest Comments
xiota commented on 2023-11-06 10:28 (UTC)
You're not the only one. I don't use this package. Found the issue while searching for other packages.
Also noticed that last release was 21.04, so would be good to update that too.
sandervb commented on 2023-11-06 09:30 (UTC)
That's embarrassing... Fixed it.
Side note: I haven't used verifast in years. If you're using it and you'd like to take over ownership, let me know.