Started 1 yr 12 mo ago
Took 17 min on osx-sierra

Success Build #733 (Mar 3, 2018 8:14:35 PM)

Build Artifacts
yosys-master.tar.xz6.55 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-linux-x86_64 build number 742
originally caused by:

  • Started by timer

Revision: ae4e204c760249afef34aaef6854d89076db2c47
  • refs/remotes/origin/master