summaryrefslogtreecommitdiff
path: root/impl/systems
ModeNameSize
-rw-r--r--.long-fixpoint.swp188416logplainabout
-rw-r--r--generate-system.py699logplainabout
-rw-r--r--long-fixpoint137804logplainabout
-rw-r--r--min-test42logplainabout
-rw-r--r--random-system10logplainabout
-rw-r--r--size-ten73logplainabout
-rw-r--r--small6logplainabout