summaryrefslogtreecommitdiff
path: root/Test/dafny3
ModeNameSize
-rw-r--r--CachedContainer.dfy3259logplain
-rw-r--r--CachedContainer.dfy.expect62logplain
-rw-r--r--CalcExample.dfy688logplain
-rw-r--r--CalcExample.dfy.expect61logplain
-rw-r--r--Dijkstra.dfy2260logplain
-rw-r--r--Dijkstra.dfy.expect62logplain
-rw-r--r--Filter.dfy7651logplain
-rw-r--r--Filter.dfy.expect62logplain
-rw-r--r--GenericSort.dfy6576logplain
-rw-r--r--GenericSort.dfy.expect62logplain
-rw-r--r--InductionVsCoinduction.dfy4227logplain
-rw-r--r--InductionVsCoinduction.dfy.expect62logplain
-rw-r--r--InfiniteTrees.dfy22232logplain
-rw-r--r--InfiniteTrees.dfy.expect62logplain
-rw-r--r--Iter.dfy2704logplain
-rw-r--r--Iter.dfy.expect62logplain
-rw-r--r--OpaqueTrees.dfy1117logplain
-rw-r--r--OpaqueTrees.dfy.expect61logplain
-rw-r--r--Paulson.dfy5358logplain
-rw-r--r--Paulson.dfy.expect62logplain
-rw-r--r--SetIterations.dfy1591logplain
-rw-r--r--SetIterations.dfy.expect62logplain
-rw-r--r--SimpleCoinduction.dfy2372logplain
-rw-r--r--SimpleCoinduction.dfy.expect62logplain
-rw-r--r--SimpleInduction.dfy2478logplain
-rw-r--r--SimpleInduction.dfy.expect62logplain
-rw-r--r--Streams.dfy10990logplain
-rw-r--r--Streams.dfy.expect62logplain
-rw-r--r--WideTrees.dfy1160logplain
-rw-r--r--WideTrees.dfy.expect62logplain
-rw-r--r--Zip.dfy2436logplain
-rw-r--r--Zip.dfy.expect62logplain