index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny0
Mode
Name
Size
-rw-r--r--
AdvancedLHS.dfy
1541
log
plain
-rw-r--r--
AdvancedLHS.dfy.expect
178
log
plain
-rw-r--r--
Array.dfy
8343
log
plain
-rw-r--r--
Array.dfy.expect
3710
log
plain
-rw-r--r--
AssumptionVariables0.dfy
1225
log
plain
-rw-r--r--
AssumptionVariables0.dfy.expect
1956
log
plain
-rw-r--r--
AssumptionVariables1.dfy
585
log
plain
-rw-r--r--
AssumptionVariables1.dfy.expect
61
log
plain
-rw-r--r--
AutoReq.dfy
5625
log
plain
-rw-r--r--
AutoReq.dfy.expect
1448
log
plain
-rw-r--r--
BadFunction.dfy
487
log
plain
-rw-r--r--
BadFunction.dfy.expect
189
log
plain
-rw-r--r--
Basics.dfy
13001
log
plain
-rw-r--r--
Basics.dfy.expect
2316
log
plain
-rw-r--r--
Calculations.dfy
2382
log
plain
-rw-r--r--
Calculations.dfy.expect
811
log
plain
-rw-r--r--
CallStmtTests.dfy
429
log
plain
-rw-r--r--
CallStmtTests.dfy.expect
228
log
plain
-rw-r--r--
ChainingDisjointTests.dfy
1013
log
plain
-rw-r--r--
ChainingDisjointTests.dfy.expect
61
log
plain
-rw-r--r--
CoPrefix.dfy
4413
log
plain
-rw-r--r--
CoPrefix.dfy.expect
1860
log
plain
-rw-r--r--
CoResolution.dfy
4485
log
plain
-rw-r--r--
CoResolution.dfy.expect
2568
log
plain
-rw-r--r--
Coinductive.dfy
5196
log
plain
-rw-r--r--
Coinductive.dfy.expect
2320
log
plain
-rw-r--r--
CoinductiveProofs.dfy
4329
log
plain
-rw-r--r--
CoinductiveProofs.dfy.expect
2122
log
plain
-rw-r--r--
Compilation.dfy
4066
log
plain
-rw-r--r--
Compilation.dfy.expect
102
log
plain
-rw-r--r--
CompilationErrors.dfy
864
log
plain
-rw-r--r--
CompilationErrors.dfy.expect
767
log
plain
-rw-r--r--
Comprehensions.dfy
1379
log
plain
-rw-r--r--
Comprehensions.dfy.expect
282
log
plain
-rw-r--r--
Computations.dfy
5225
log
plain
-rw-r--r--
Computations.dfy.expect
62
log
plain
-rw-r--r--
ComputationsLoop.dfy
252
log
plain
-rw-r--r--
ComputationsLoop.dfy.expect
288
log
plain
-rw-r--r--
ComputationsLoop2.dfy
303
log
plain
-rw-r--r--
ComputationsLoop2.dfy.expect
464
log
plain
-rw-r--r--
ComputationsNeg.dfy
1050
log
plain
-rw-r--r--
ComputationsNeg.dfy.expect
826
log
plain
-rw-r--r--
ControlStructures.dfy
6502
log
plain
-rw-r--r--
ControlStructures.dfy.expect
4210
log
plain
-rw-r--r--
Corecursion.dfy
5573
log
plain
-rw-r--r--
Corecursion.dfy.expect
1901
log
plain
-rw-r--r--
DTypes.dfy
5142
log
plain
-rw-r--r--
DTypes.dfy.expect
984
log
plain
-rw-r--r--
DatatypeUpdate.dfy
972
log
plain
-rw-r--r--
DatatypeUpdate.dfy.expect
61
log
plain
-rw-r--r--
Datatypes.dfy
7960
log
plain
-rw-r--r--
Datatypes.dfy.expect
2233
log
plain
-rw-r--r--
Definedness.dfy
6389
log
plain
-rw-r--r--
Definedness.dfy.expect
6401
log
plain
-rw-r--r--
DirtyLoops.dfy
214
log
plain
-rw-r--r--
DirtyLoops.dfy.expect
122
log
plain
-rw-r--r--
DiscoverBounds.dfy
1154
log
plain
-rw-r--r--
DiscoverBounds.dfy.expect
584
log
plain
-rw-r--r--
DisplayExpressions.dfy
440
log
plain
-rw-r--r--
DisplayExpressions.dfy.expect
473
log
plain
-rw-r--r--
EqualityTypes.dfy
7420
log
plain
-rw-r--r--
EqualityTypes.dfy.expect
3950
log
plain
-rw-r--r--
FunctionSpecifications.dfy
4574
log
plain
-rw-r--r--
FunctionSpecifications.dfy.expect
2804
log
plain
-rw-r--r--
Include.dfy
793
log
plain
-rw-r--r--
Include.dfy.expect
631
log
plain
-rw-r--r--
Includee.dfy
563
log
plain
-rw-r--r--
Includee.dfy.expect
564
log
plain
-rw-r--r--
Inverses.dfy
4133
log
plain
-rw-r--r--
Inverses.dfy.expect
528
log
plain
-rw-r--r--
IteratorResolution.dfy
3631
log
plain
-rw-r--r--
IteratorResolution.dfy.expect
1141
log
plain
-rw-r--r--
Iterators.dfy
9056
log
plain
-rw-r--r--
Iterators.dfy.expect
3379
log
plain
-rw-r--r--
LetExpr.dfy
7918
log
plain
-rw-r--r--
LetExpr.dfy.expect
1095
log
plain
-rw-r--r--
LiberalEquality.dfy
1026
log
plain
-rw-r--r--
LiberalEquality.dfy.expect
356
log
plain
-rw-r--r--
LoopModifies.dfy
6905
log
plain
-rw-r--r--
LoopModifies.dfy.expect
2823
log
plain
-rw-r--r--
Maps.dfy
4187
log
plain
-rw-r--r--
Maps.dfy.expect
233
log
plain
-rw-r--r--
MatchBraces.dfy
3035
log
plain
-rw-r--r--
MatchBraces.dfy.expect
2617
log
plain
-rw-r--r--
ModifyStmt.dfy
3941
log
plain
-rw-r--r--
ModifyStmt.dfy.expect
1382
log
plain
-rw-r--r--
Modules0.dfy
7566
log
plain
-rw-r--r--
Modules0.dfy.expect
3010
log
plain
-rw-r--r--
Modules1.dfy
2449
log
plain
-rw-r--r--
Modules1.dfy.expect
641
log
plain
-rw-r--r--
Modules2.dfy
1661
log
plain
-rw-r--r--
Modules2.dfy.expect
634
log
plain
-rw-r--r--
ModulesCycle.dfy
265
log
plain
-rw-r--r--
ModulesCycle.dfy.expect
249
log
plain
-rw-r--r--
MultiDimArray.dfy
2384
log
plain
-rw-r--r--
MultiDimArray.dfy.expect
335
log
plain
-rw-r--r--
MultiSets.dfy
8136
log
plain
-rw-r--r--
MultiSets.dfy.expect
970
log
plain
-rw-r--r--
NatTypes.dfy
2922
log
plain
-rw-r--r--
NatTypes.dfy.expect
1313
log
plain
-rw-r--r--
Newtypes.dfy
6366
log
plain
-rw-r--r--
Newtypes.dfy.expect
1543
log
plain
-rw-r--r--
NewtypesResolution.dfy
6662
log
plain
-rw-r--r--
NewtypesResolution.dfy.expect
3308
log
plain
-rw-r--r--
NoTypeArgs.dfy
2097
log
plain
-rw-r--r--
NoTypeArgs.dfy.expect
62
log
plain
-rw-r--r--
NonGhostQuantifiers.dfy
7074
log
plain
-rw-r--r--
NonGhostQuantifiers.dfy.expect
3969
log
plain
-rw-r--r--
OpaqueFunctions.dfy
4228
log
plain
-rw-r--r--
OpaqueFunctions.dfy.expect
2869
log
plain
-rw-r--r--
OpaqueFunctionsFail.dfy
311
log
plain
-rw-r--r--
OpaqueFunctionsFail.dfy.expect
574
log
plain
-rw-r--r--
Parallel.dfy
8073
log
plain
-rw-r--r--
Parallel.dfy.expect
2005
log
plain
-rw-r--r--
ParallelResolveErrors.dfy
3676
log
plain
-rw-r--r--
ParallelResolveErrors.dfy.expect
2702
log
plain
-rw-r--r--
ParseErrors.dfy
2303
log
plain
-rw-r--r--
ParseErrors.dfy.expect
1331
log
plain
-rw-r--r--
PredExpr.dfy
1896
log
plain
-rw-r--r--
PredExpr.dfy.expect
592
log
plain
-rw-r--r--
Predicates.dfy
3551
log
plain
-rw-r--r--
Predicates.dfy.expect
1273
log
plain
-rw-r--r--
RankNeg.dfy
746
log
plain
-rw-r--r--
RankNeg.dfy.expect
737
log
plain
-rw-r--r--
RankPos.dfy
1618
log
plain
-rw-r--r--
RankPos.dfy.expect
62
log
plain
-rw-r--r--
Reads.dfy
1126
log
plain
-rw-r--r--
Reads.dfy.expect
774
log
plain
-rw-r--r--
RealCompare.dfy
2351
log
plain
-rw-r--r--
RealCompare.dfy.expect
799
log
plain
-rw-r--r--
RealTypes.dfy
1149
log
plain
-rw-r--r--
RealTypes.dfy.expect
740
log
plain
-rw-r--r--
Refinement.dfy
3891
log
plain
-rw-r--r--
Refinement.dfy.expect
1860
log
plain
-rw-r--r--
RefinementErrors.dfy
1689
log
plain
-rw-r--r--
RefinementErrors.dfy.expect
1614
log
plain
-rw-r--r--
RefinementModificationChecking.dfy
548
log
plain
-rw-r--r--
RefinementModificationChecking.dfy.expect
263
log
plain
-rw-r--r--
ResolutionErrors.dfy
34075
log
plain
-rw-r--r--
ResolutionErrors.dfy.expect
18807
log
plain
-rw-r--r--
ReturnErrors.dfy
843
log
plain
-rw-r--r--
ReturnErrors.dfy.expect
324
log
plain
-rw-r--r--
ReturnTests.dfy
1493
log
plain
-rw-r--r--
ReturnTests.dfy.expect
62
log
plain
-rw-r--r--
SeqSlice.dfy
889
log
plain
-rw-r--r--
SeqSlice.dfy.expect
61
log
plain
-rw-r--r--
Simple.dfy
1433
log
plain
-rw-r--r--
Simple.dfy.expect
1356
log
plain
-rw-r--r--
Skeletons.dfy
1051
log
plain
-rw-r--r--
Skeletons.dfy.expect
474
log
plain
-rw-r--r--
SmallTests.dfy
18270
log
plain
-rw-r--r--
SmallTests.dfy.expect
6187
log
plain
-rw-r--r--
SplitExpr.dfy
3036
log
plain
-rw-r--r--
SplitExpr.dfy.expect
215
log
plain
-rw-r--r--
StatementExpressions.dfy
2692
log
plain
-rw-r--r--
StatementExpressions.dfy.expect
840
log
plain
-rw-r--r--
Superposition.dfy
1566
log
plain
-rw-r--r--
Superposition.dfy.expect
1596
log
plain
-rw-r--r--
TailCalls.dfy
2640
log
plain
-rw-r--r--
TailCalls.dfy.expect
406
log
plain
-rw-r--r--
Termination.dfy
9837
log
plain
-rw-r--r--
Termination.dfy.expect
2099
log
plain
d---------
Trait
816
log
plain
-rw-r--r--
Tuples.dfy
800
log
plain
-rw-r--r--
Tuples.dfy.expect
233
log
plain
-rw-r--r--
TypeAntecedents.dfy
2748
log
plain
-rw-r--r--
TypeAntecedents.dfy.expect
784
log
plain
-rw-r--r--
TypeInstantiations.dfy
1630
log
plain
-rw-r--r--
TypeInstantiations.dfy.expect
1822
log
plain
-rw-r--r--
TypeParameters.dfy
7022
log
plain
-rw-r--r--
TypeParameters.dfy.expect
1756
log
plain
-rw-r--r--
TypeSynonyms.dfy
972
log
plain
-rw-r--r--
TypeSynonyms.dfy.expect
61
log
plain
-rw-r--r--
TypeTests.dfy
4645
log
plain
-rw-r--r--
TypeTests.dfy.expect
2985
log
plain
d---------
snapshots
856
log
plain