Merge https://github.com/YosysHQ/yosys into read_aiger
authorEddie Hung <eddieh@ece.ubc.ca>
Sun, 17 Feb 2019 19:44:01 +0000 (11:44 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Sun, 17 Feb 2019 19:44:01 +0000 (11:44 -0800)
commit03a533d1022f02b042ca29120f9b93d9e324b4d1
tree3819de1e8b8e493a62ff405a748ec652780fb689
parentc23e3f07517d4818d9ab1b532250353492cf50c2
parente45f62b0c56717a23099425f078d1e56212aa632
Merge https://github.com/YosysHQ/yosys into read_aiger
backends/verilog/verilog_backend.cc
tests/tools/autotest.sh