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/7473r76vsqmd2dy4672p05nxmia8zx86-abc-0.0-1.5ae4b97.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/5v2lmaniknz2c39yqk4i7crvz16snxdh-abc-0.0-1.5ae4b97.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/aw498ar212g6z4gyc0f8x47h1nfj0a01-abc-0.0-1.5ae4b97.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/va92pssr9yq5ps6qylcsw1phy232zzxk-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/zv8q4q8r47jw9v9n0f02cmcr02qf7l9p-abc-0.0-1.5ae4b97.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/k7g1y12zbp09121rv6d46dvpkjld5d5n-abc-0.0-1.5ae4b97.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/51bkw620prrh4h9vngaxl60d0nzwfmkv-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)