Optimise some more
authorEddie Hung <eddie@fpgeh.com>
Fri, 14 Jun 2019 00:02:58 +0000 (17:02 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 14 Jun 2019 00:02:58 +0000 (17:02 -0700)
commitbc22e2e3ee120aeb84323ce52031b895f9f62f54
treeff162f12eb57ea856ae10332112178cc64326643
parentd09d4e0706e806d53b3b83986f49c1d59435d2ed
Optimise some more
frontends/aiger/aigerparse.cc