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/9jfpcxw031qv11070l8f9a6hcxik9qgg-abc-0.0-1-5ae4b975c.drv | ||
i686-linux | /gnu/store/vxj1vqfpafkwz92hgsvbkpj4b4g0vgc6-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) |