Merge remote-tracking branch 'origin/read_aiger' into xaig
authorEddie Hung <eddieh@ece.ubc.ca>
Wed, 13 Feb 2019 22:09:36 +0000 (14:09 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Wed, 13 Feb 2019 22:09:36 +0000 (14:09 -0800)
commitf0f5d8a5cc44c8b89d234ab9cac20f294a821271
treedfa43819f273a0d5ec391fdcc2ba9ba013a12da9
parent06cf0555ee0b28948295d8c9aedd2583c16ecc6a
parentc23e3f07517d4818d9ab1b532250353492cf50c2
Merge remote-tracking branch 'origin/read_aiger' into xaig
backends/verilog/verilog_backend.cc
frontends/aiger/aigerparse.cc