summaryrefslogtreecommitdiff
path: root/examples
ModeNameSize
-rw-r--r--boolean.pcdt159logplain
-rw-r--r--boundedrecursion.pcdt156logplain
-rw-r--r--mathexamples.pcdt45logplain
-rw-r--r--while.pcdt77logplain