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/vahy4qj3xbv6p5w5ma6qrwq903nd05q5-abc-0.0-1.5ae4b97.drv | ||
x86_64-linux | arm-linux-gnueabihf | /gnu/store/2kzjrki7l58rzllh5gipxd8y0jli9pmv-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/j0lx0xkxl4pgf3rn2xrlhfp91acjgwn7-abc-0.0-1.5ae4b97.drv | |
mips64el-linux | /gnu/store/0ngrm7ii3xsk64mgdbg6k2vmvi6gabrc-abc-0.0-1.5ae4b97.drv | ||
i686-linux | /gnu/store/4vb6bmdhk8nangz2pxpqc6f41wpb83ma-abc-0.0-1.5ae4b97.drv | ||
armhf-linux | /gnu/store/2lg2wbc06d9g5n9a0sid5xxcdb13h7cx-abc-0.0-1.5ae4b97.drv | ||
aarch64-linux | /gnu/store/pfizi3jlf5cx29k3c33zldvgq984hn7f-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) |