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/6sqs9ddk5flxpig4q031hjids3z82a56-abc-0.0-1.5ae4b97.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/iwkhvsvwpda4f68ibq79z6cicghjj0m7-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/1qsbrrcd09dp3h5fs5vbsxy0nd3b60ir-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/8d6n5gnrgzsjjilla64fz5wh8iqhl3hp-abc-0.0-1.5ae4b97.drv | |
mips64el-linux | /gnu/store/bxjp4446wd1zbvis3ha7m5axf3wd2m8y-abc-0.0-1.5ae4b97.drv | ||
i686-linux | /gnu/store/q0lm8am5w0wnawk2qhmghgryxj4y99ln-abc-0.0-1.5ae4b97.drv | ||
i586-gnu | /gnu/store/5qwf0i0z9ynn4plgh94zvlm3r01m4x8n-abc-0.0-1.5ae4b97.drv | ||
armhf-linux | /gnu/store/gbs46r93xqprjqcpvkcrvadmh5716569-abc-0.0-1.5ae4b97.drv | ||
aarch64-linux | /gnu/store/fyplpj9l782ddn4d5zc0ps1cnkbx7cnd-abc-0.0-1.5ae4b97.drv |
Linter | Message | Location |
---|---|---|
formatting Look for formatting issues in the source | line 86 is way too long (95 characters) |