Merge origin/master
authorEddie Hung <eddie@fpgeh.com>
Thu, 27 Jun 2019 18:20:15 +0000 (11:20 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 27 Jun 2019 18:20:15 +0000 (11:20 -0700)
commit6c256b8cda66e2ba128d5fa3ba344fe4717711f8
treeb8e0a8c4b21139b46f6919abcfcc0bf6ddee0452
parentc226af3f56957cc69b2ce8bb68a8259e26121ddc
Merge origin/master
backends/btor/btor.cc
backends/smt2/smtio.py
frontends/verilog/const2ast.cc
passes/opt/opt_clean.cc
passes/techmap/muxcover.cc
techlibs/ecp5/cells_map.v
techlibs/ecp5/cells_sim.v
techlibs/xilinx/cells_sim.v
techlibs/xilinx/synth_xilinx.cc
tests/various/muxcover.ys