Started 1 yr 12 mo ago
Took 14 min on ubuntu-xenial-amd64

Success Build #742 (Mar 3, 2018 8:00:00 PM)

Build Artifacts
yosys-master.tar.xz7.21 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 timer

Revision: ae4e204c760249afef34aaef6854d89076db2c47
  • refs/remotes/origin/master