Maintainer Mode
Sign in with GitHub

verifast

verifast 25.08 · pkgs/by-name/ve/verifast/package.nix
Sign in to subscribe
Health
Risk
risk 2 low
  • +2 no meta.mainProgram, no versionCheckHook
Version
25.08 no newer release known to repology
Channels
master 25.08 · nixos-unstable 25.08 · nixos-26.05 25.08 no channel is behind master
Hydra
succeeded 2d ago
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
Verification for C and Java programs via separation logic
Homepage
https://people.cs.kuleuven.be/~bart.jacobs/verifast/
License
MIT
Platforms
2 platforms: Linux, Darwin
Source provenance
binaryNativeCode
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/ve/verifast/package.nix:107
Maintainers
thoughtpolice
Version bumps 0all open bumps
None open.
Pull requests 0
None open.
Closed or merged in the synced window 1
verifast: 25.08 -> 26.01
#556521 by lukas-sgx · closed 7w ago
Issues 0
None open.