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/0zgpnh41hqypwplg19izs3r0p9is9p6p-abc-0.0-1-5ae4b975c.drv | ||
| mips64el-linux | /gnu/store/vxjkvrz9i1z69s089iscdl84gnfg1jvc-abc-0.0-1-5ae4b975c.drv | ||
| i686-linux | /gnu/store/1iyjaw5295aw0wp3klkqd3w16q3iyfdr-abc-0.0-1-5ae4b975c.drv | ||
| armhf-linux | /gnu/store/gvald576i0caagia4mvgsg1cp5apfv3f-abc-0.0-1-5ae4b975c.drv | ||
| aarch64-linux | /gnu/store/bpx3mb9sk8f5bkq730y93xng00935c7w-abc-0.0-1-5ae4b975c.drv |
| Linter | Message | Location |
|---|---|---|
| No lint warnings ✓ | ||