tmeissner
/
bug_reports
Watch 1
Star 0
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 Wiki Activity
No Description
2 Commits
1 Branch
Branch: master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
bug_reports/SymbiYosys_27
T. Meissner 07f34453ab Add readme, change name to mimic github bug number 11 months ago
..
Makefile Add readme, change name to mimic github bug number 11 months ago
Properties.sv Add readme, change name to mimic github bug number 11 months ago
README.md Add readme, change name to mimic github bug number 11 months ago
TestDesign.vhd Add readme, change name to mimic github bug number 11 months ago
symbiyosys.sby Add readme, change name to mimic github bug number 11 months ago

README.md

bug_reports

SymbiYosys_#47

SymbiYosys fails with an internal exception instead of generating counter example when using abc

Reported on Github, fixed in YosysHQ/yosys@e112d2f