Revision 20303c0b1c75bc4770cdfa8b8c6b33fd6e77c168

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

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/wl8r560pwzigzxi492n5a9i87vwcwxld-abc-0.0-1.5ae4b97.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/yslv7rsknqbq6h6xkxqkzkwwfvbp6qhf-abc-0.0-1.5ae4b97.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/1lhz5qkry008aj3lf9c9lbygq9kgfdzs-abc-0.0-1.5ae4b97.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/x5i5m9lzibzaqvbnviy8vahjvbl1c9ha-abc-0.0-1.5ae4b97.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/mrca2b0s5182yh54hs97k0x5gkjb8qj7-abc-0.0-1.5ae4b97.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/cmw02c5s773m1fm4bd65s3jix4hyh787-abc-0.0-1.5ae4b97.drv
x86_64-linuxi686-w64-mingw32/gnu/store/rf9zdgzrnp3skgph42619jm2vlsgi3xv-abc-0.0-1.5ae4b97.drv
x86_64-linuxi586-pc-gnu/gnu/store/vz8035ljm6ghpzampjwfn9l5s8cbwhms-abc-0.0-1.5ae4b97.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/8xq8gkj13yrs1myf5rrw3rf9n0ii68f2-abc-0.0-1.5ae4b97.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/pj87n17jm62ig9knzswq2afcaslwl5km-abc-0.0-1.5ae4b97.drv
riscv64-linux/gnu/store/36l02s8iqy5r4smblb2d40h3nsap8r71-abc-0.0-1.5ae4b97.drv
    powerpc-linux/gnu/store/azpq6vjhwb56nzbm71ww7ygfxv94c4zq-abc-0.0-1.5ae4b97.drv
      powerpc64le-linux/gnu/store/7hnls71y5csrw2npm2skbxv3r5nhg05g-abc-0.0-1.5ae4b97.drv
      mips64el-linux/gnu/store/qx26dgqnwnkyb07400nhlzljdxykjimv-abc-0.0-1.5ae4b97.drv
        i686-linux/gnu/store/6sqk7ja3dcxj26pjakj2y3mlwx52h1nq-abc-0.0-1.5ae4b97.drv
        i586-gnu/gnu/store/5sw41iz3ihwv393ga8i2zpnnx36zi282-abc-0.0-1.5ae4b97.drv
        armhf-linux/gnu/store/5mq8fq73n66m23hqv6vdpla54js7m16g-abc-0.0-1.5ae4b97.drv
        aarch64-linux/gnu/store/fbbii09z31f9nh664b9354z3s2pg5p7y-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)