summaryrefslogtreecommitdiff
path: root/Test/hofs
ModeNameSize
-rw-r--r--Apply.dfy628logplain
-rw-r--r--Apply.dfy.expect212logplain
-rw-r--r--Classes.dfy969logplain
-rw-r--r--Classes.dfy.expect298logplain
-rw-r--r--Compilation.dfy1042logplain
-rw-r--r--Compilation.dfy.expect198logplain
-rw-r--r--Consequence.dfy184logplain
-rw-r--r--Consequence.dfy.expect61logplain
-rw-r--r--Examples.dfy1131logplain
-rw-r--r--Examples.dfy.expect98logplain
-rw-r--r--Field.dfy327logplain
-rw-r--r--Field.dfy.expect437logplain
-rw-r--r--FnRef.dfy1194logplain
-rw-r--r--FnRef.dfy.expect676logplain
-rw-r--r--Fold.dfy765logplain
-rw-r--r--Fold.dfy.expect112logplain
-rw-r--r--Frame.dfy2199logplain
-rw-r--r--Frame.dfy.expect1098logplain
-rw-r--r--Lambda.dfy1260logplain
-rw-r--r--Lambda.dfy.expect464logplain
-rw-r--r--LambdaParsefail.dfy459logplain
-rw-r--r--LambdaParsefail.dfy.expect455logplain
-rw-r--r--LambdaParsefail2.dfy158logplain
-rw-r--r--LambdaParsefail2.dfy.expect105logplain
-rw-r--r--Monads.dfy6168logplain
-rw-r--r--Monads.dfy.expect62logplain
-rw-r--r--MutableField.dfy214logplain
-rw-r--r--MutableField.dfy.expect133logplain
-rw-r--r--Naked.dfy1106logplain
-rw-r--r--Naked.dfy.expect1852logplain
-rw-r--r--OneShot.dfy349logplain
-rw-r--r--OneShot.dfy.expect604logplain
-rw-r--r--ReadsReads.dfy3225logplain
-rw-r--r--ReadsReads.dfy.expect1124logplain
-rw-r--r--Renaming.dfy498logplain
-rw-r--r--Renaming.dfy.expect98logplain
-rw-r--r--Requires.dfy1604logplain
-rw-r--r--Requires.dfy.expect107logplain
-rw-r--r--ResolveError.dfy2147logplain
-rw-r--r--ResolveError.dfy.expect2267logplain
-rw-r--r--Simple.dfy1735logplain
-rw-r--r--Simple.dfy.expect880logplain
-rw-r--r--TreeMapSimple.dfy1392logplain
-rw-r--r--TreeMapSimple.dfy.expect171logplain
-rw-r--r--Twice.dfy923logplain
-rw-r--r--Twice.dfy.expect331logplain
-rw-r--r--Types.dfy567logplain
-rw-r--r--Types.dfy.expect335logplain
-rw-r--r--Underspecified.dfy219logplain
-rw-r--r--Underspecified.dfy.expect778logplain
-rw-r--r--VectorUpdate.dfy1658logplain
-rw-r--r--VectorUpdate.dfy.expect281logplain
-rw-r--r--WhileLoop.dfy1001logplain
-rw-r--r--WhileLoop.dfy.expect99logplain