Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | 1 | 48 | logplainabout |
-rw-r--r-- | bound.eqns | 26 | logplainabout |
-rw-r--r-- | constant-system.eqns | 6 | logplainabout |
-rw-r--r-- | example.eqns | 79 | logplainabout |
-rw-r--r-- | example2.eqns | 62 | logplainabout |
-rw-r--r-- | example3.eqns | 26 | logplainabout |
-rw-r--r-- | generate-fib.py | 160 | logplainabout |
-rw-r--r-- | generate-long.py | 81 | logplainabout |
-rw-r--r-- | generate-random.py | 766 | logplainabout |
-rw-r--r-- | long-fib.eqns | 2466699 | logplainabout |
-rw-r--r-- | long-fixpoint.eqns | 1577792 | logplainabout |
-rw-r--r-- | minimal.eqns | 6 | logplainabout |
-rw-r--r-- | test.eqns | 1611 | logplainabout |