diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-08-15 17:37:17 +1000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-08-15 17:37:17 +1000 |
commit | 74a14ef30359e653259bf7139fe806548edefd14 (patch) | |
tree | 312dff6b7996e1011f285b4850522d7708f89845 | |
parent | aabcf0a6937d7ff1e3bc5b2015a193bd0c30a045 (diff) | |
download | verismith-74a14ef30359e653259bf7139fe806548edefd14.tar.gz verismith-74a14ef30359e653259bf7139fe806548edefd14.zip |
Add new bug that was found
-rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -42,6 +42,7 @@ reported and 3 were fixed. | Type | Issue | Confirmed | Fixed | |---------------|------------------------------------------------------------|-----------|-------| +| Mis-synthesis | [Issue 1243](https://github.com/YosysHQ/yosys/issues/1243) | ✓ | ✓ | | Mis-synthesis | [Issue 1047](https://github.com/YosysHQ/yosys/issues/1047) | ✓ | ✓ | | Mis-synthesis | [Issue 997](https://github.com/YosysHQ/yosys/issues/997) | ✓ | ✓ | | Crash | [Issue 993](https://github.com/YosysHQ/yosys/issues/993) | ✓ | ✓ | |