parse_xaiger() to untransform $inout.out output ports
authorEddie Hung <eddieh@ece.ubc.ca>
Tue, 26 Feb 2019 02:40:23 +0000 (18:40 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Tue, 26 Feb 2019 02:40:23 +0000 (18:40 -0800)
commit316232a7dde15363a86b9fbef03d87a86551a333
treebfbfc4dcc55706d555540af863745f6a1bbc28a8
parentc492a3a1c4a36c273cb3ce8266d974a7cb595808
parse_xaiger() to untransform $inout.out output ports
frontends/aiger/aigerparse.cc