aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2019-08-15 17:37:17 +1000
committerYann Herklotz <git@yannherklotz.com>2019-08-15 17:37:17 +1000
commit74a14ef30359e653259bf7139fe806548edefd14 (patch)
tree312dff6b7996e1011f285b4850522d7708f89845 /README.md
parentaabcf0a6937d7ff1e3bc5b2015a193bd0c30a045 (diff)
downloadverismith-74a14ef30359e653259bf7139fe806548edefd14.tar.gz
verismith-74a14ef30359e653259bf7139fe806548edefd14.zip
Add new bug that was found
Diffstat (limited to 'README.md')
-rw-r--r--README.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/README.md b/README.md
index ceac479..c1e9208 100644
--- a/README.md
+++ b/README.md
@@ -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) | ✓ | ✓ |