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/0yxq0kxp8ymsm2bcrrcfiljcr9dsiyl2-abc-0.0-1.5ae4b97.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/chbkww97cvk58lbawlpk6ljd007hs6ca-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/ribwfcbpmlshi8sl5kmz2zr68f76m3mf-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/h17cp7h9ihx06ich11azkn0qspjg0i7d-abc-0.0-1.5ae4b97.drv | |
powerpc64le-linux | /gnu/store/idx8rva362qgdc44lxngxn9bjaphmi4l-abc-0.0-1.5ae4b97.drv | ||
mips64el-linux | /gnu/store/jviwwi72zbxwmqxf38z7ld42zljcidl2-abc-0.0-1.5ae4b97.drv | ||
i686-linux | /gnu/store/7mzkyblag2qzraq4jsmxkfhhmbgw670m-abc-0.0-1.5ae4b97.drv | ||
i586-gnu | /gnu/store/k1j1hh1dhvdlck6d5l1hbnxc4rq9861n-abc-0.0-1.5ae4b97.drv | ||
armhf-linux | /gnu/store/zxc0jksphncamyshwhfzc7z62b3vswmp-abc-0.0-1.5ae4b97.drv | ||
aarch64-linux | /gnu/store/qm2r33xadj5q5gaagmnyf4g2w7jdafp5-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) |