summaryrefslogtreecommitdiff
path: root/Test/dafny3
ModeNameSize
-rw-r--r--Answer1946logplain
-rw-r--r--CachedContainer.dfy3138logplain
-rw-r--r--CalcExample.dfy616logplain
-rw-r--r--Dijkstra.dfy2196logplain
-rw-r--r--Filter.dfy7395logplain
-rw-r--r--GenericSort.dfy5200logplain
-rw-r--r--InductionVsCoinduction.dfy4044logplain
-rw-r--r--InfiniteTrees.dfy22586logplain
-rw-r--r--Iter.dfy2611logplain
-rw-r--r--OpaqueTrees.dfy1015logplain
-rw-r--r--Paulson.dfy5267logplain
-rw-r--r--SetIterations.dfy1498logplain
-rw-r--r--SimpleCoinduction.dfy2086logplain
-rw-r--r--SimpleInduction.dfy2439logplain
-rw-r--r--Streams.dfy10899logplain
-rw-r--r--WideTrees.dfy1067logplain
-rw-r--r--Zip.dfy2344logplain
-rw-r--r--runtest.bat861logplain