Language

Package: abc @ 0.0-1.5ae4b97

Synopsis

Sequential logic synthesis and formal verification

Description

ABC is a program for sequential logic synthesis and formal verification.

Home page
https://people.eecs.berkeley.edu/~alanmi/abc/
Location
gnu/packages/fpga.scm (line: 66, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/jbpia3bx19jqxigxjar4fs1iqx1j1b47-abc-0.0-1.5ae4b97.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/pxnp3gxy2y652q592nri4wv3azwy3arw-abc-0.0-1.5ae4b97.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/crghmki30aafg5rr6wi8l2f805fh5qjf-abc-0.0-1.5ae4b97.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/wbvfdb15ajwdvxnv1j7vld09wnf23hn3-abc-0.0-1.5ae4b97.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/s1i0d8xzmjvy8hhq6g595gzyci09yga3-abc-0.0-1.5ae4b97.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/napz2y9ca7qjy4zfnd8sc089d94s23mb-abc-0.0-1.5ae4b97.drv
x86_64-linuxi686-w64-mingw32/gnu/store/jjnnwczqw6yiln3j8ga8qy6ppv9dvwra-abc-0.0-1.5ae4b97.drv
x86_64-linuxi586-pc-gnu/gnu/store/5fb7g2a9byr0s3jn8jk0isj6x1my5rbx-abc-0.0-1.5ae4b97.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/0jnkcz9hwpshklrk8gai5s02qaa7apk4-abc-0.0-1.5ae4b97.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/pi041b1nawycqxa0zr98zdv07v6i8rqh-abc-0.0-1.5ae4b97.drv
riscv64-linux/gnu/store/274d64q4maf13931npg10sscb9kgia2h-abc-0.0-1.5ae4b97.drv
    powerpc-linux/gnu/store/2riyqsviz3r2q4fzqlp0idri45q04dk7-abc-0.0-1.5ae4b97.drv
      powerpc64le-linux/gnu/store/gjv3zl1f2737hwq6wbib85n1x4kyh8zl-abc-0.0-1.5ae4b97.drv
      mips64el-linux/gnu/store/a9rn5vkbr4wg4197k983dd5wkrbf0rfn-abc-0.0-1.5ae4b97.drv
        i686-linux/gnu/store/r4zxrr5mm99i6zmbc7kwpxb7929gwcjp-abc-0.0-1.5ae4b97.drv
        i586-gnu/gnu/store/8wdm1v96p1ky022ad2w3sqzjrp6r57v4-abc-0.0-1.5ae4b97.drv
        armhf-linux/gnu/store/w44clldxgmpm7bxmxxxq7xzd9p3wczjd-abc-0.0-1.5ae4b97.drv
        aarch64-linux/gnu/store/7sx8y01kv19r2a0grpngx8n00w1hh6wn-abc-0.0-1.5ae4b97.drv

        Lint warnings

        LinterMessageLocation
        formatting

        Look for formatting issues in the source

        line 97 is way too long (95 characters)