Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Circuit.hs | 1037 | logstatsplain |
d--------- | Circuit | 145 | logstatsplain |
-rw-r--r-- | Config.hs | 18520 | logstatsplain |
-rw-r--r-- | Fuzz.hs | 16474 | logstatsplain |
-rw-r--r-- | Internal.hs | 1416 | logstatsplain |
-rw-r--r-- | Reduce.hs | 21416 | logstatsplain |
-rw-r--r-- | Report.hs | 15408 | logstatsplain |
-rw-r--r-- | Result.hs | 4075 | logstatsplain |
-rw-r--r-- | Sim.hs | 1040 | logstatsplain |
d--------- | Sim | 299 | logstatsplain |
-rw-r--r-- | Verilog.hs | 2190 | logstatsplain |
d--------- | Verilog | 437 | logstatsplain |