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/lgwpdhdc48zlanrb8pyj8xcrq59zlzzn-abc-0.0-1.5ae4b97.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/3iyr2y13qczl4w2vqmllfrb42kx7mqbx-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/hns0qdklznc19ws655n2bcnjw6kajid4-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/fyrky4rqhi7gqzwy118mlyfzdl59kkab-abc-0.0-1.5ae4b97.drv | |
mips64el-linux | /gnu/store/3dd1ic8hy6ymbmgr1c2sz0zw1y6w62qq-abc-0.0-1.5ae4b97.drv | ||
i686-linux | /gnu/store/33kq95wykzcg0b0zrlr9mzkb105hi67p-abc-0.0-1.5ae4b97.drv | ||
i586-gnu | /gnu/store/kkb6yfqivac8jj0mnwnycs7vm7c3b5bn-abc-0.0-1.5ae4b97.drv | ||
armhf-linux | /gnu/store/m7p48zhx1mg1cpqiz3bxyydi6dc2kbqv-abc-0.0-1.5ae4b97.drv | ||
aarch64-linux | /gnu/store/m1xy3j7vn4wivvxqxaz5fj73azply7kc-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) |