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/8zaarabi5hjkvf1ba5im7qm4hykfyfb4-abc-0.0-1.5ae4b97.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/xshbg4c6zrxirxf3lma6armmbnc9zdl8-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/k38izqi513ji3y8kgfmwg41yf5ixc05b-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/3dnb961a4zxrssjpzpqalncfyc1qwm20-abc-0.0-1.5ae4b97.drv | |
mips64el-linux | /gnu/store/qqan2zxjl036sw65y2g8lppprayw195f-abc-0.0-1.5ae4b97.drv | ||
i686-linux | /gnu/store/na03q7z2dcd15n0wsahz9xzk4jyz0jq2-abc-0.0-1.5ae4b97.drv | ||
i586-gnu | /gnu/store/j98ib9jvzsgglvgr19mcq3k4xl10qpdg-abc-0.0-1.5ae4b97.drv | ||
armhf-linux | /gnu/store/8ssx6zqqaailvb98ir6s2rzzwgik9d98-abc-0.0-1.5ae4b97.drv | ||
aarch64-linux | /gnu/store/15xr02pfwjaivwv68jpbkbxmip8g744i-abc-0.0-1.5ae4b97.drv |
Linter | Message | Location |
---|---|---|
formatting Look for formatting issues in the source | line 94 is way too long (95 characters) |