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/rrdnddws9lxyqfywbw8csd6jvi1vdajk-abc-0.0-1.5ae4b97.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/r8wk1kifs05ila7l6qyq5spz7g95xd7d-abc-0.0-1.5ae4b97.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/hdgqm57sr40xmpjzqy5ddmxh2ds61shg-abc-0.0-1.5ae4b97.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/llfvgznr4s0bzsn05r1jrb52d4nj1j5p-abc-0.0-1.5ae4b97.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/3z72s355q5fi33pai77krxcrmrcdpkym-abc-0.0-1.5ae4b97.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/sp3girmqp500vdmvpi2gv039k2i2h453-abc-0.0-1.5ae4b97.drv
x86_64-linuxi686-w64-mingw32/gnu/store/f6gcxz4zlnnxxqq0albxq0v5arykjk37-abc-0.0-1.5ae4b97.drv
x86_64-linuxi586-pc-gnu/gnu/store/dpjvgf767zhpya8akk2lvzrm89kmb5sx-abc-0.0-1.5ae4b97.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/3cbn1gbf2w66chacb4vprxcidjfnzxwv-abc-0.0-1.5ae4b97.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/my0r9vwljhiv9y5msc3aw0imbq7i8jg8-abc-0.0-1.5ae4b97.drv
riscv64-linux/gnu/store/vhky7rybsryra30md20ykvc55m718npg-abc-0.0-1.5ae4b97.drv
    powerpc-linux/gnu/store/pwgg0awn1aalsqpqwqp2faifz4pa8kx4-abc-0.0-1.5ae4b97.drv
      powerpc64le-linux/gnu/store/h8vdxq9nr6k9rnr4k4v9ki6bynbmqfhl-abc-0.0-1.5ae4b97.drv
      mips64el-linux/gnu/store/hn2q66dlgkhgs4xp7aisd6ljf8a61viv-abc-0.0-1.5ae4b97.drv
        i686-linux/gnu/store/hi3vd7fcfkp4m2x8892zl8qa84gc6mjq-abc-0.0-1.5ae4b97.drv
        i586-gnu/gnu/store/2nny6aafrw22bqrikwzb4cbj20nk1ghg-abc-0.0-1.5ae4b97.drv
        armhf-linux/gnu/store/cvvcl1jxp69pfy6klmp478b68fynfzq2-abc-0.0-1.5ae4b97.drv
        aarch64-linux/gnu/store/ijyjvdkmj7gi8yfaw5l0nh6w1i8qwy39-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)