Update README
authorAhmed Irfan <ahmedirfan1983@gmail.com>
Fri, 3 Apr 2015 14:45:14 +0000 (16:45 +0200)
committerAhmed Irfan <ahmedirfan1983@gmail.com>
Fri, 3 Apr 2015 14:45:14 +0000 (16:45 +0200)
pmux cell is implemented

backends/btor/README

index 26cb377c6fef85857f1b000668f63e86a07d621a..4c78c5aa4fec8965805041aa98b3201920c31ac2 100644 (file)
@@ -19,5 +19,5 @@ Todos:
     - async resets
     - etc..
 
-- Add support for $pmux and $lut cells
+- Add support for $lut cells