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/iwx3nz5yaa6y409z8j873m7s33mkb758-abc-0.0-1-5ae4b975c.drv | ||
| mips64el-linux | /gnu/store/ab1rxh2vywj0yli4l7kzpjic2aqm2y72-abc-0.0-1-5ae4b975c.drv | ||
| i686-linux | /gnu/store/04xdimsasi5jwv15bn73y4ksayhdknsk-abc-0.0-1-5ae4b975c.drv | ||
| armhf-linux | /gnu/store/yakwwqnyhb505asis50any6l5dmcc067-abc-0.0-1-5ae4b975c.drv | ||
| aarch64-linux | /gnu/store/20varff6d2m7agpjv9ra1bq5ql23v4kb-abc-0.0-1-5ae4b975c.drv |
| Linter | Message | Location |
|---|---|---|
| formatting Look for formatting issues in the source | line 83 is way too long (95 characters) |