summaryrefslogtreecommitdiff
path: root/impl/systems
ModeNameSize
-rw-r--r--10logplainabout
-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.py178logplainabout
-rw-r--r--generate-random.py766logplainabout
-rw-r--r--gmon.out82405logplainabout
-rw-r--r--long-fib.eqns2466699logplainabout
-rw-r--r--long-fixpoint.eqns22logplainabout
-rw-r--r--minimal.eqns6logplainabout
-rw-r--r--test.eqns121logplainabout