Revision 8ef0473969576d54c17e5d18d9caba0ff5b8a681

Language
View JSON

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

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/gfrj6vdbl7lnaks14qsqxiskcbwkh5c5-abc-0.0-1.5ae4b97.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/kpgzw6wq4hh84irbyc9cybq4fpyg2laj-abc-0.0-1.5ae4b97.drv
    x86_64-linuxriscv64-linux-gnu/gnu/store/v0vq2ghzchc30dj6yskpil8dwzr4rzc5-abc-0.0-1.5ae4b97.drv
      x86_64-linuxpowerpc-linux-gnu/gnu/store/6mcm0bp5vj88185y7ak4wqrs8kg23liq-abc-0.0-1.5ae4b97.drv
      x86_64-linuxpowerpc64le-linux-gnu/gnu/store/ijd25a5z06jqv0gajypp7h2n6ryacf16-abc-0.0-1.5ae4b97.drv
      x86_64-linuxmips64el-linux-gnu/gnu/store/vb86rdsnl1bzd3m23d7fg7yj4aq4zzi4-abc-0.0-1.5ae4b97.drv
      x86_64-linuxi686-w64-mingw32/gnu/store/x6dr6jsy2yrmbp9bs89cw4y5z56zzfc2-abc-0.0-1.5ae4b97.drv
        x86_64-linuxi586-pc-gnu/gnu/store/klid7y1zajcmzbdfyqj7bkjpjpqc8dlf-abc-0.0-1.5ae4b97.drv
        x86_64-linuxarm-linux-gnueabihf/gnu/store/6jgcgnnkh57x5ylmwxydplkdab90c80i-abc-0.0-1.5ae4b97.drv
        x86_64-linuxaarch64-linux-gnu/gnu/store/4fjr14x6kjzjpahb1cxckksij3yfm6qw-abc-0.0-1.5ae4b97.drv
        riscv64-linux/gnu/store/rh3rbynwgfkmms57yhr6p9vmxva96gri-abc-0.0-1.5ae4b97.drv
          powerpc-linux/gnu/store/is2n8rsz5cr4sff2l8nh2psa40x8vqh7-abc-0.0-1.5ae4b97.drv
            powerpc64le-linux/gnu/store/apgichx0i7r2ijrg87syjknnar73cdyq-abc-0.0-1.5ae4b97.drv
            mips64el-linux/gnu/store/nq9z16zzhkxzqxf6qksqs5fzijh9zlg5-abc-0.0-1.5ae4b97.drv
              i686-linux/gnu/store/3q164k548zxriwlnsslcw3chzdxsfrwp-abc-0.0-1.5ae4b97.drv
              i586-gnu/gnu/store/4hrj4mlwwsm7rp1rrz9l7i626g95wq93-abc-0.0-1.5ae4b97.drv
              armhf-linux/gnu/store/r76a0lf52n034drphp6sj59ss8cilw1x-abc-0.0-1.5ae4b97.drv
              aarch64-linux/gnu/store/5ismzny5vig2x8ccx2fbdg3x829565hr-abc-0.0-1.5ae4b97.drv

              Lint warnings

              LinterMessageLocation
              formatting

              Look for formatting issues in the source

              		line 96 is way too long (95 characters)