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/1d3kdh63lrslciqw2171g0lma8r7jmah-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/v8wm4n25h29w3ss0223kafkjb6wr4iq5-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/xwwp4nwx7s87wqjw0yxbxk0w9cmdh33a-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 95 is way too long (95 characters) |