In read_xaiger, do not construct ConstEval for every LUT
authorEddie Hung <eddieh@ece.ubc.ca>
Sun, 17 Feb 2019 06:22:29 +0000 (22:22 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Sun, 17 Feb 2019 06:22:29 +0000 (22:22 -0800)
commit82459c16c482ad9115c742d726fd1f46527a3bab
treeca8b0117630589579271fefdb08cba7cd9e4e2e2
parent30f1204721ed592256ddde04f22dd40888b9e27c
In read_xaiger, do not construct ConstEval for every LUT
frontends/aiger/aigerparse.cc