summaryrefslogtreecommitdiff
path: root/impl/systems
ModeNameSize
-rw-r--r--148logplainabout
-rw-r--r--bound.eqns26logplainabout
-rw-r--r--constant-system.eqns6logplainabout
-rw-r--r--example.eqns73logplainabout
-rw-r--r--example2.eqns62logplainabout
-rw-r--r--example3.eqns26logplainabout
-rw-r--r--generate-fib.py160logplainabout
-rw-r--r--generate-long.py81logplainabout
-rw-r--r--generate-random.py766logplainabout
-rw-r--r--long-fib.eqns2466699logplainabout
-rw-r--r--long-fixpoint.eqns1577792logplainabout
-rw-r--r--minimal.eqns6logplainabout
-rw-r--r--test.eqns1611logplainabout