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/88kz0a04cc3wcwkpbylfjg6fqfcw3y9w-abc-0.0-1-5ae4b975c.drv | ||
i686-linux | /gnu/store/pc0prs3jn5phrcw7c80l37n1vppy3sca-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) |