summaryrefslogtreecommitdiff
path: root/Test/dafny3
ModeNameSize
-rw-r--r--Answer1234logplain
-rw-r--r--CachedContainer.dfy3138logplain
-rw-r--r--CalcExample.dfy616logplain
-rw-r--r--Dijkstra.dfy1923logplain
-rw-r--r--InductionVsCoinduction.dfy4083logplain
-rw-r--r--Iter.dfy2611logplain
-rw-r--r--SetIterations.dfy1498logplain
-rw-r--r--SimpleCoinduction.dfy2108logplain
-rw-r--r--SimpleInduction.dfy2439logplain
-rw-r--r--Streams.dfy10179logplain
-rw-r--r--Zip.dfy2352logplain
-rw-r--r--runtest.bat405logplain