Add ConstEvalAig specialised for AIGs
authorEddie Hung <eddie@fpgeh.com>
Thu, 13 Jun 2019 20:13:48 +0000 (13:13 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 13 Jun 2019 20:13:48 +0000 (13:13 -0700)
commitd39a5a77a9ec58ea97af91c961b02b5a55deaaa7
tree12a1888127e53afc8a9509a1619d26d5bebf4106
parent7f9d2d18251c3bec667993c744b568bbbe1a75ce
Add ConstEvalAig specialised for AIGs
frontends/aiger/aigerparse.cc
kernel/consteval.h