Started 1 yr 11 mo ago
Took 7 min 45 sec on ubuntu-xenial-amd64

Success Build #711 (Mar 3, 2018 8:49:10 PM)

Build Artifacts
yosys-master.tar.xz6.41 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-win64 build number 730
originally caused by:

Revision: ae4e204c760249afef34aaef6854d89076db2c47
  • refs/remotes/origin/master