Sequential logic synthesis and formal verification
ABC is a program for sequential logic synthesis and formal verification.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/vr4c2wa5kcnmbj6x0h6bz55dnrf5ghfn-abc-0.0-1-5ae4b975c.drv | ||
mips64el-linux | /gnu/store/3if8mbc19cs25s53x1ag13afan15p67d-abc-0.0-1-5ae4b975c.drv | ||
i686-linux | /gnu/store/rkrlyylaa268s28bczs2v84hcv4yc52l-abc-0.0-1-5ae4b975c.drv | ||
armhf-linux | /gnu/store/cf83rbmargz7r8kxfi29jh2kjcmlm21j-abc-0.0-1-5ae4b975c.drv | ||
aarch64-linux | /gnu/store/gl49bb9qphfjxiccxr9jyf2m01k4q8nl-abc-0.0-1-5ae4b975c.drv |
Linter | Message | Location |
---|---|---|
formatting Look for formatting issues in the source | line 83 is way too long (95 characters) |