Move ConstEvalAig to aigerparse.cc
authorEddie Hung <eddie@fpgeh.com>
Thu, 13 Jun 2019 23:28:11 +0000 (16:28 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 13 Jun 2019 23:28:11 +0000 (16:28 -0700)
commitd09d4e0706e806d53b3b83986f49c1d59435d2ed
treeca217f461295dda3fa05e9b4d9f43a64120caaf9
parent75d89e56cfd9472605f27570cf2760ff89dc7603
Move ConstEvalAig to aigerparse.cc
frontends/aiger/aigerparse.cc
kernel/consteval.h