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/2j6ag1zamnfs0qvapx21hplww6vamia4-abc-0.0-1.5ae4b97.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/xsgsdsnygh8nncr9wyl37yacckk4hz2k-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/d16kfd9nnjd4xh96cccn2z20mhdjlvkp-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/vgdm3pkkjsa0h5qyr4gzbc7ldq94zv2c-abc-0.0-1.5ae4b97.drv | |
powerpc64le-linux | /gnu/store/8xlckw3wjyc8y2czqmpf35m0xbp7bck9-abc-0.0-1.5ae4b97.drv | ||
mips64el-linux | /gnu/store/g429fzl9f2kdfjps9hj2ivifssgjnrsy-abc-0.0-1.5ae4b97.drv | ||
i686-linux | /gnu/store/qdra36hgk0b8m7m16hapq6j8pxy3vldg-abc-0.0-1.5ae4b97.drv | ||
i586-gnu | /gnu/store/hcc852dxad16pdx7pb57pfqc0ynhckmf-abc-0.0-1.5ae4b97.drv | ||
armhf-linux | /gnu/store/sp3gc3z5sdg4cig82d2vjcr9k31a11rb-abc-0.0-1.5ae4b97.drv | ||
aarch64-linux | /gnu/store/vl0f1lv0bkqj7i8rnhkpviymc6ww03id-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) |