separated memory next from write cell
authorAhmed Irfan <irfan@levert.(none)>
Fri, 3 Apr 2015 14:41:50 +0000 (16:41 +0200)
committerAhmed Irfan <irfan@levert.(none)>
Fri, 3 Apr 2015 14:41:50 +0000 (16:41 +0200)
commitea2e0297d5b82c5084c3413b9838dfbfa51640b1
tree27c440055235ae0ca95478b59a7386a583809bc2
parentbdf6b2b19ab2206f5957ad5b2ec582c2730d45ee
separated memory next from write cell
backends/btor/btor.cc