Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Circuit.hs | 1046 | logstatsplain |
d--------- | Circuit | 145 | logstatsplain |
-rw-r--r-- | Config.hs | 20312 | logstatsplain |
-rw-r--r-- | Fuzz.hs | 19058 | logstatsplain |
-rw-r--r-- | Generate.hs | 22926 | logstatsplain |
-rw-r--r-- | Internal.hs | 1418 | logstatsplain |
-rw-r--r-- | OptParser.hs | 10916 | logstatsplain |
-rw-r--r-- | Reduce.hs | 22093 | logstatsplain |
-rw-r--r-- | Report.hs | 15505 | logstatsplain |
-rw-r--r-- | Result.hs | 4078 | logstatsplain |
-rw-r--r-- | Tool.hs | 1058 | logstatsplain |
d--------- | Tool | 299 | logstatsplain |
-rw-r--r-- | Verilog.hs | 2064 | logstatsplain |
d--------- | Verilog | 403 | logstatsplain |