Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Circuit.hs | 1036 | logstatsplain |
d--------- | Circuit | 145 | logstatsplain |
-rw-r--r-- | Config.hs | 8510 | logstatsplain |
-rw-r--r-- | Fuzz.hs | 3865 | logstatsplain |
-rw-r--r-- | Internal.hs | 995 | logstatsplain |
-rw-r--r-- | RecursionScheme.hs | 1726 | logstatsplain |
-rw-r--r-- | Reduce.hs | 5281 | logstatsplain |
-rw-r--r-- | Result.hs | 2855 | logstatsplain |
-rw-r--r-- | Sim.hs | 889 | logstatsplain |
d--------- | Sim | 260 | logstatsplain |
-rw-r--r-- | Verilog.hs | 2026 | logstatsplain |
d--------- | Verilog | 401 | logstatsplain |