summaryrefslogtreecommitdiff
path: root/backends/btor/README
diff options
context:
space:
mode:
authorAhmed Irfan <ahmedirfan1983@gmail.com>2015-04-03 16:45:14 +0200
committerAhmed Irfan <ahmedirfan1983@gmail.com>2015-04-03 16:45:14 +0200
commite82e4f7df4614a97a0ce60affe95f91237acc446 (patch)
tree27ada3a4e936e45edfa742ec985f1d0bbed79924 /backends/btor/README
parentea2e0297d5b82c5084c3413b9838dfbfa51640b1 (diff)
Update README
pmux cell is implemented
Diffstat (limited to 'backends/btor/README')
-rw-r--r--backends/btor/README2
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/btor/README b/backends/btor/README
index 26cb377c..4c78c5aa 100644
--- a/backends/btor/README
+++ b/backends/btor/README
@@ -19,5 +19,5 @@ Todos:
- async resets
- etc..
-- Add support for $pmux and $lut cells
+- Add support for $lut cells