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/da0g9vnwlggk8aryy3anzh6jzsjpac3z-abc-0.0-1.5ae4b97.drv | ||
| x86_64-linux | i586-pc-gnu | /gnu/store/nmih6c62hzs4h8cx06ddw265x5halfm0-abc-0.0-1.5ae4b97.drv | |
| x86_64-linux | arm-linux-gnueabihf | /gnu/store/i90d8zwylamzqgvjh0f1lvklvgackp1p-abc-0.0-1.5ae4b97.drv | |
| x86_64-linux | aarch64-linux-gnu | /gnu/store/i4p2q5mfmz48iij5sj4ma49m3x3d3fmj-abc-0.0-1.5ae4b97.drv | |
| powerpc64le-linux | /gnu/store/zvklx3h4lyx2l90f7drxlw4dc4wqv75y-abc-0.0-1.5ae4b97.drv | ||
| mips64el-linux | /gnu/store/bqgwh4rrykll4yid901rylhq57333z2r-abc-0.0-1.5ae4b97.drv | ||
| i686-linux | /gnu/store/isw2rn51mdi72q8cgzjp2a80awix8sbn-abc-0.0-1.5ae4b97.drv | ||
| i586-gnu | /gnu/store/2iksla7l09f85gys8id0xgq2f67895an-abc-0.0-1.5ae4b97.drv | ||
| armhf-linux | /gnu/store/gm0hcq5nv0bkwhnq4av7nzf3mvaz9yxr-abc-0.0-1.5ae4b97.drv | ||
| aarch64-linux | /gnu/store/0zyszfrsii4k5d99xf68jla4whm5dvny-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) |