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: 70, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/f5v9k1aswwikdvrsp7j93c3h39gp286p-abc-0.0-1.5ae4b97.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/76m6ayf2yj42i25n7zaln9mml5mrw7nl-abc-0.0-1.5ae4b97.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/1fx4v0vskdx2ngfq5f55an613fb4lxw4-abc-0.0-1.5ae4b97.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/whkpna2ym74y2l8s3ga97g1pilszr7xb-abc-0.0-1.5ae4b97.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/hw1xcjsxrasg78zwgpzm8qqhszqv9vmd-abc-0.0-1.5ae4b97.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/pssl92hj622kckhmc6hwbkfz80xrah7b-abc-0.0-1.5ae4b97.drv
x86_64-linuxi686-w64-mingw32/gnu/store/df47nmagfcrl1sig7rq4m5vaj38y82m3-abc-0.0-1.5ae4b97.drv
x86_64-linuxi586-pc-gnu/gnu/store/hgjiax5qn16nqhlbjxx3m4h4zfw3i5gp-abc-0.0-1.5ae4b97.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/2zxr1y5kawbqj7n11palf90d7bzhjkd4-abc-0.0-1.5ae4b97.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/5xmvrqaq0dcd26qjal5y1r4j6dniwivc-abc-0.0-1.5ae4b97.drv
riscv64-linux/gnu/store/wrhrvm281xg303kymqm22cgcyrr8m6kg-abc-0.0-1.5ae4b97.drv
    powerpc-linux/gnu/store/bxzk87v0k1128hv0a5787r8h68w8qcaj-abc-0.0-1.5ae4b97.drv
      powerpc64le-linux/gnu/store/ibcmr1y09nr7ivk1f8j23lmi03x0is1f-abc-0.0-1.5ae4b97.drv
      mips64el-linux/gnu/store/vpys1077cb5h7kww378nylv9jlqjgfpy-abc-0.0-1.5ae4b97.drv
        i686-linux/gnu/store/8ylnryff8w7bvwv3lzv8ks07arm7dfmx-abc-0.0-1.5ae4b97.drv
        i586-gnu/gnu/store/frzkwlkk97bxkckh3s2swcz9zqmmnmpi-abc-0.0-1.5ae4b97.drv
        armhf-linux/gnu/store/b9algzjmrx0l6b1a1585d34qawjz3jk9-abc-0.0-1.5ae4b97.drv
        aarch64-linux/gnu/store/98gwi1kawk0yb9avlxa40rg8mm2ncnxw-abc-0.0-1.5ae4b97.drv

        Lint warnings

        LinterMessageLocation
        formatting

        Look for formatting issues in the source

        line 101 is way too long (95 characters)