Sequential logic synthesis and formal verification
ABC is a program for sequential logic synthesis and formal verification.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/fyggpg6wgrwq7f9wfxflc66nvl5anbxq-abc-0.0-1.5ae4b97.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/2kgjczb5fbmmvlb8j49i6zw695dc7c27-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/mmnylp13kdhv8zxk32iszjvzwyrvbn59-abc-0.0-1.5ae4b97.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/yig8yijgpav2qz8ly8lnyvsgsscwwlkc-abc-0.0-1.5ae4b97.drv | |
mips64el-linux | /gnu/store/5yxr4mm882sd3qm5ghgp7iqc8x53l7wz-abc-0.0-1.5ae4b97.drv | ||
i686-linux | /gnu/store/2rh81bkhv072bc80b1dib55a4kkfhfds-abc-0.0-1.5ae4b97.drv | ||
i586-gnu | /gnu/store/ww72yc7vv18m9zd236g9khn7y9rfkkz0-abc-0.0-1.5ae4b97.drv | ||
armhf-linux | /gnu/store/fc51zibqy6m5ysjgbrj3x1dplz2lhvak-abc-0.0-1.5ae4b97.drv | ||
aarch64-linux | /gnu/store/js7f7wylvrc6mzcm59i8hzf9jb14zqbx-abc-0.0-1.5ae4b97.drv |
Linter | Message | Location |
---|---|---|
formatting Look for formatting issues in the source | line 86 is way too long (95 characters) |