Merge remote-tracking branch 'origin/master' into xaig
authorEddie Hung <eddie@fpgeh.com>
Wed, 12 Jun 2019 15:50:39 +0000 (08:50 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 12 Jun 2019 15:50:39 +0000 (08:50 -0700)
commitf7a9769c140f6a56e51d7384dfd8e76bf2aef66d
tree4be49b8b30a03ac7d4deafaa7318de275d5c3a7f
parentac2aff9e28a087a9a2697cd6ccf754af738903a7
parenta91ea6612a73568782c80bd12ce2875353e2b5c5
Merge remote-tracking branch 'origin/master' into xaig
frontends/aiger/aigerparse.cc
frontends/aiger/aigerparse.h
kernel/rtlil.h
passes/sat/expose.cc
techlibs/common/synth.cc
techlibs/ice40/cells_sim.v
techlibs/ice40/synth_ice40.cc
techlibs/xilinx/synth_xilinx.cc
tests/tools/autotest.sh