Merge remote-tracking branch 'origin/eddie/opt_rmdff' into xc7mux
authorEddie Hung <eddie@fpgeh.com>
Thu, 23 May 2019 20:37:53 +0000 (13:37 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 23 May 2019 20:37:53 +0000 (13:37 -0700)
1  2 
frontends/aiger/aigerparse.cc
passes/opt/wreduce.cc

Simple merge
Simple merge