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)
commit68359bcd6f1ded0dffa12f0d1e2288e433fd83e7
tree6cbf1976a4a7ca510e7330c8f6d09603d9dc9446
parentae89e6ab26d2d87a604e20ebc14dcda8c9901585
parent5ac7e38d0aab1c73150accd9befbccc5398b8e42
Merge remote-tracking branch 'origin/eddie/opt_rmdff' into xc7mux
frontends/aiger/aigerparse.cc
passes/opt/wreduce.cc