Maintainer Mode
Sign in with GitHub

abc-verifier

abc-verifier 0.62 · pkgs/by-name/ab/abc-verifier/package.nix
Sign in to subscribe
Health
Risk
risk 9 low
  • +8 0.62 is behind upstream 0.70
  • +1 no versionCheckHook
Version
0.62 upstream 0.70
Channels
master 0.62 · nixos-unstable 0.62 · nixos-26.05 0.62 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Tool for sequential logic synthesis and formal verification
Homepage
https://people.eecs.berkeley.edu/~alanmi/abc
License
MIT-Modern-Variant
Platforms
45 platforms: Linux, Darwin
Main program
abc
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/ab/abc-verifier/package.nix:38
Maintainers
thoughtpolice, Luflosi
Version bumps 1all open bumps
abc-verifier: 0.62 -> 0.64 and use cmake
#518119 by Michal-Atlas · opened 5mo ago
Pull requests 1
abc-verifier: 0.62 -> 0.64 and use cmake
#518119 by Michal-Atlas · opened 5mo ago
Issues 1
abc-verifier: Why do we use yosyshq's fork of the berkeley-abc/abc repo? 2.status: stale
#225659 by panicgh · opened 3y ago · 0 comments