summaryrefslogtreecommitdiff
path: root/impl/systems
ModeNameSize
-rw-r--r--constant-system.eqns6logplainabout
-rw-r--r--example.eqns73logplainabout
-rw-r--r--generate-fib.py159logplainabout
-rw-r--r--generate-long.py81logplainabout
-rw-r--r--generate-random.py699logplainabout
-rw-r--r--long-fib.eqns18672logplainabout
-rw-r--r--long-fixpoint.eqns137791logplainabout
-rw-r--r--minimal.eqns6logplainabout