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/6w0lds7j9bd8ygjyczqqjx88wa175p2l-abc-0.0-1.5ae4b97.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/r7nbz55i05691a3c5f9f3mfmpq1rvc81-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/5v5v79q29l4v0l7ikapi2kv180xxbfbg-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/av7mffvswp25jmbi805p4xd3ifvqznld-abc-0.0-1.5ae4b97.drv | |
powerpc-linux | /gnu/store/m5nqpijnwqjpbw0vyqwj5p28z1pqhhnp-abc-0.0-1.5ae4b97.drv | ||
powerpc64le-linux | /gnu/store/vbr92l6mmf83am5vk6nxxsir8g9z23qk-abc-0.0-1.5ae4b97.drv | ||
mips64el-linux | /gnu/store/bdiyhccw3f4id3yy7j7ljz6dfbbsh2la-abc-0.0-1.5ae4b97.drv | ||
i686-linux | /gnu/store/clcl5drfvybijrjd5gy0m0vd50r560rv-abc-0.0-1.5ae4b97.drv | ||
i586-gnu | /gnu/store/z0jyrlj5p7pcmqzwimq73wa2r90agl2k-abc-0.0-1.5ae4b97.drv | ||
armhf-linux | /gnu/store/d9pigpr6ish24ryniqvd6imjm6763m85-abc-0.0-1.5ae4b97.drv | ||
aarch64-linux | /gnu/store/gp2s8casm32v48z7kmin7v3cbriaxy1g-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) |