fixed memory next issue, when same memory is written in different case statement
authorahmedirfan1983 <ahmedirfan1983@gmail.com>
Thu, 18 Sep 2014 09:15:46 +0000 (11:15 +0200)
committerAhmed Irfan <irfan@levert.(none)>
Thu, 18 Sep 2014 09:19:48 +0000 (11:19 +0200)
commitb783dbe148e6d246ebd107c0913de2989ab5af48
treedcd7652968d0e8b5627f4f4ff01e29860040aaec
parent2446b6fbefc51a0f64e68c44cb44ac2d3b2d538a
fixed memory next issue, when same memory is written in different case statement
fixed reduce_xnor, logic_not bug translation bug
backends/btor/btor.cc