aboutsummaryrefslogtreecommitdiffstats
path: root/examples/aiger
ModeNameSize
-rw-r--r--.gitignore46logstatsplain
-rw-r--r--README970logstatsplain
-rw-r--r--demo.sh348logstatsplain
-rw-r--r--demo.v358logstatsplain