Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Circuit.hs | 941 | logstatsplain |
d--------- | Circuit | 145 | logstatsplain |
-rw-r--r-- | Config.hs | 20173 | logstatsplain |
-rw-r--r-- | CounterEg.hs | 3207 | logstatsplain |
-rw-r--r-- | Fuzz.hs | 18928 | logstatsplain |
-rw-r--r-- | Generate.hs | 25445 | logstatsplain |
-rw-r--r-- | Internal.hs | 1347 | logstatsplain |
-rw-r--r-- | OptParser.hs | 10828 | logstatsplain |
-rw-r--r-- | Reduce.hs | 26099 | logstatsplain |
-rw-r--r-- | Report.hs | 14572 | logstatsplain |
-rw-r--r-- | Result.hs | 4458 | logstatsplain |
-rw-r--r-- | Tool.hs | 1111 | logstatsplain |
d--------- | Tool | 342 | logstatsplain |
-rw-r--r-- | Utils.hs | 878 | logstatsplain |
-rw-r--r-- | Verilog.hs | 2008 | logstatsplain |
d--------- | Verilog | 442 | logstatsplain |