Revision 4a6f64ab2afff761eb233e7ca6110d9e8acf8f32

Language
View JSON

Package: abc @ 0.0-2.70cb339

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/hddhbay77v0h1x4h60sjncq0x3z5xkkq-abc-0.0-2.70cb339.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/l0mlznqcyjjif0vnsgrqv1wcv8jb0bv6-abc-0.0-2.70cb339.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/yriza8qx32yra4np8gm6cp0g0q23yz28-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/gj0ys3pw12093bvf3v015x3z5p5xc5n1-abc-0.0-2.70cb339.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/hrvhvj3chz80nljfzmbklw6kmiam0rln-abc-0.0-2.70cb339.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/bggr1bdd49px24ymgvxfxpxwwb64mscf-abc-0.0-2.70cb339.drv
x86_64-linuxi686-w64-mingw32/gnu/store/5m12qz7g3jcyhvwx945pgy41vhx51igy-abc-0.0-2.70cb339.drv
x86_64-linuxi586-pc-gnu/gnu/store/d5prp3n1b696jggn5jjqr70psbh93dvc-abc-0.0-2.70cb339.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/iwfflrgppvfi08mbs6k7kdqsdv2aw829-abc-0.0-2.70cb339.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/iwbqcj4cwl2adlv3p75sz7bvclfmawzb-abc-0.0-2.70cb339.drv
riscv64-linux/gnu/store/8m51z40bm4pzd6z7g8693sach0as0f9k-abc-0.0-2.70cb339.drv
    powerpc-linux/gnu/store/fijybfxfclaifqavsk7kyicn0zr6gjmq-abc-0.0-2.70cb339.drv
      powerpc64le-linux/gnu/store/0ipcfrz0f0c6iprm23q6crgc2jc8pb7b-abc-0.0-2.70cb339.drv
      mips64el-linux/gnu/store/frbvxsgav5f576bijq45cdvavsw3yrcg-abc-0.0-2.70cb339.drv
        i686-linux/gnu/store/li0x8dv7vnnvyrdx0pyvhg6qs1jdd4a3-abc-0.0-2.70cb339.drv
        i586-gnu/gnu/store/d9p2birfjkvdiss8kkvk0kcccc4p9gig-abc-0.0-2.70cb339.drv
        armhf-linux/gnu/store/8z0dzd143xqyj30yvlz4z92ff1yp7xaw-abc-0.0-2.70cb339.drv
        aarch64-linux/gnu/store/m238s1va5ibxfa1c596ljm0nna9hwl0a-abc-0.0-2.70cb339.drv

        Lint warnings

        LinterMessageLocation
        No lint warnings ✓