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/d1c59lvjz6fnksf15rcvy0pzhn2pqnpp-abc-0.0-1.5ae4b97.drv | ||
x86_64-linux | arm-linux-gnueabihf | /gnu/store/29mvv8bbg3ai0ymmyf4z74dzm5rq23kl-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/jjr596q5f4y02sriha3ymx2i59k7rk1j-abc-0.0-1.5ae4b97.drv | |
mips64el-linux | /gnu/store/78d17v6k2cvwrfj5f7f9fga82nlq811f-abc-0.0-1.5ae4b97.drv | ||
i686-linux | /gnu/store/af7bwdv34rn7q16v5kg7lqvlgi744pwx-abc-0.0-1.5ae4b97.drv | ||
armhf-linux | /gnu/store/qpkbx1ky67k385jqm9a20218kz5s3rcd-abc-0.0-1.5ae4b97.drv | ||
aarch64-linux | /gnu/store/x1i74s5s8qixf826k04ryyx1c45ybk6q-abc-0.0-1.5ae4b97.drv |
Linter | Message | Location |
---|---|---|
formatting Look for formatting issues in the source | line 83 is way too long (95 characters) |