aboutsummaryrefslogtreecommitdiffstats
path: root/examples/aiger
ModeNameSize
-rw-r--r--.gitignore46logstatsplain
-rw-r--r--README970logstatsplain
-rw-r--r--demo.sh348logstatsplain
-rw-r--r--demo.v358logstatsplain
f='#n69'>69 70 71 72 73 74 75