aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/aiger/aigerparse.cc
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2020-04-13 13:10:57 -0700
committerEddie Hung <eddie@fpgeh.com>2020-05-14 10:33:56 -0700
commit77f3abcdc30e21b4359c2b07c20b63bdac5993bf (patch)
tree130efc7c42657e53cb5f09f1a9dfa67decf90a33 /frontends/aiger/aigerparse.cc
parent95763c8d18eec49de3acff5d38a82f54cc25cb1b (diff)
downloadyosys-77f3abcdc30e21b4359c2b07c20b63bdac5993bf.tar.gz
yosys-77f3abcdc30e21b4359c2b07c20b63bdac5993bf.tar.bz2
yosys-77f3abcdc30e21b4359c2b07c20b63bdac5993bf.zip
xaiger: when -dff use (* init *) for initial state
Diffstat (limited to 'frontends/aiger/aigerparse.cc')
0 files changed, 0 insertions, 0 deletions