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/vngzkl3mff31c08d6zkc8hmhsl3xh0zv-abc-0.0-1.5ae4b97.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/xgccxr4syq47kyjvpsay3d55k2dx2mhg-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/rjv9mf4h8blpkc5xyldxcdxd6y26d0z4-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/sdmmrc7c3bgz3qcgf9xd4r9rby7lg06s-abc-0.0-1.5ae4b97.drv | |
powerpc64le-linux | /gnu/store/p5ldybak4s1vicpgj9a8xbh5i4x2w5sl-abc-0.0-1.5ae4b97.drv | ||
mips64el-linux | /gnu/store/3hz9r1pvmvqadq6bk8yqczklicj4aqfz-abc-0.0-1.5ae4b97.drv | ||
i686-linux | /gnu/store/hjwhk76dnq20wi3l42b51g0bndjghzvq-abc-0.0-1.5ae4b97.drv | ||
i586-gnu | /gnu/store/qfr65qlxw7hqq935bznllljq934p4nc3-abc-0.0-1.5ae4b97.drv | ||
armhf-linux | /gnu/store/hhy6bnlwdb8brvhfchmri12rr4i7ja7d-abc-0.0-1.5ae4b97.drv | ||
aarch64-linux | /gnu/store/wj5mnhq0xjkjph2mnkkia7jk567zm7bn-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) |