summaryrefslogtreecommitdiff
path: root/impl/systems
ModeNameSize
-rw-r--r--bound.eqns26logplainabout
-rw-r--r--constant-system.eqns6logplainabout
-rw-r--r--example.eqns101logplainabout
-rw-r--r--generate-fib.py159logplainabout
-rw-r--r--generate-long.py82logplainabout
-rw-r--r--generate-random.py766logplainabout
-rw-r--r--long-fib.eqns1555logplainabout
-rw-r--r--long-fixpoint.eqns178logplainabout
-rw-r--r--minimal.eqns6logplainabout