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/0xf0imwkiznldfq04v75pzz3warqnsf9-abc-0.0-1.5ae4b97.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/7vy82n960s5qia9vr9lgnfdg2jk1phnn-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/wbb4sfvmq5iv01qdp0zr014yfa5ffg1g-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/z7nff6fpbi73giv6ga9a0f6knchagcqy-abc-0.0-1.5ae4b97.drv | |
mips64el-linux | /gnu/store/s493hn5ihdaspqq4pr18776khkpl1pr2-abc-0.0-1.5ae4b97.drv | ||
i686-linux | /gnu/store/bxamn5jnww519x46hwy7hfmjx2p9b45f-abc-0.0-1.5ae4b97.drv | ||
i586-gnu | /gnu/store/vzkay7lybna5i3v9slcy4xkwpdkwy1si-abc-0.0-1.5ae4b97.drv | ||
armhf-linux | /gnu/store/a1kraldjch01j255wi8liiy3cjpyxvvn-abc-0.0-1.5ae4b97.drv | ||
aarch64-linux | /gnu/store/h4nimallrgpcy2wzjjjm2j1cb3z28mfk-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) |