diff options
author | whitequark <whitequark@whitequark.org> | 2020-12-08 07:32:11 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-08 07:32:11 +0000 |
commit | ec410c9b1934c5c06ad6f71e60f2337fabe5b055 (patch) | |
tree | 650a1032eb4945e99764be94fb9841dc45ebb5e8 /backends | |
parent | 95c60866813e520da48c628d4f98a2fe2cb4db25 (diff) | |
parent | 1838edf35cbd558d3a9a9c4a1ea10e080e8d56ab (diff) | |
download | yosys-ec410c9b1934c5c06ad6f71e60f2337fabe5b055.tar.gz yosys-ec410c9b1934c5c06ad6f71e60f2337fabe5b055.tar.bz2 yosys-ec410c9b1934c5c06ad6f71e60f2337fabe5b055.zip |
Merge pull request #2478 from whitequark/improve-bugpoint
bugpoint: various improvements
Diffstat (limited to 'backends')
0 files changed, 0 insertions, 0 deletions