Started 1 yr 11 mo ago
Took 16 min on ubuntu-xenial-amd64

Success Build #730 (Mar 3, 2018 8:32:35 PM)

Build Artifacts
yosys-master.tar.xz17.65 MB view
yosys-master.tar.xz.sig473 B view
Changes
  1. Fix smtbmc smtc/aiw parser for wire names containing [] (commit: 3ced2cc) (detail / githubweb)
  2. Terminate running SMT solver when smtbmc is terminated (commit: a44e1ed) (detail / githubweb)
  3. Add SVA support for sequence OR (commit: 707ddb7) (detail / githubweb)
  4. Improved error handling in yosys-smtbmc (commit: ae4e204) (detail / githubweb)

Started by upstream project open-fpga-tools » yosys-macos build number 733
originally caused by:

Revision: ae4e204c760249afef34aaef6854d89076db2c47
  • refs/remotes/origin/master