index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny0
Mode
Name
Size
-rw-r--r--
AdvancedLHS.dfy
1450
log
plain
-rw-r--r--
Answer
87452
log
plain
-rw-r--r--
Array.dfy
6877
log
plain
-rw-r--r--
BadFunction.dfy
376
log
plain
-rw-r--r--
Basics.dfy
5103
log
plain
-rw-r--r--
Calculations.dfy
581
log
plain
-rw-r--r--
CallStmtTests.dfy
320
log
plain
-rw-r--r--
ChainingDisjointTests.dfy
904
log
plain
-rw-r--r--
CoPredicates.dfy
989
log
plain
-rw-r--r--
Coinductive.dfy
3073
log
plain
-rw-r--r--
Compilation.dfy
2039
log
plain
-rw-r--r--
Comprehensions.dfy
1270
log
plain
-rw-r--r--
ControlStructures.dfy
5333
log
plain
-rw-r--r--
Corecursion.dfy
1157
log
plain
-rw-r--r--
DTypes.dfy
3914
log
plain
-rw-r--r--
Datatypes.dfy
5577
log
plain
-rw-r--r--
Definedness.dfy
6235
log
plain
-rw-r--r--
EqualityTypes.dfy
2537
log
plain
-rw-r--r--
FunctionSpecifications.dfy
1866
log
plain
-rw-r--r--
IteratorResolution.dfy
3616
log
plain
-rw-r--r--
Iterators.dfy
5739
log
plain
-rw-r--r--
LetExpr.dfy
4114
log
plain
-rw-r--r--
LiberalEquality.dfy
917
log
plain
-rw-r--r--
LoopModifies.dfy
6796
log
plain
-rw-r--r--
Maps.dfy
4059
log
plain
-rw-r--r--
Modules0.dfy
7443
log
plain
-rw-r--r--
Modules1.dfy
1999
log
plain
-rw-r--r--
Modules2.dfy
1550
log
plain
-rw-r--r--
ModulesCycle.dfy
154
log
plain
-rw-r--r--
MultiDimArray.dfy
2259
log
plain
-rw-r--r--
MultiSets.dfy
3409
log
plain
-rw-r--r--
NatTypes.dfy
2811
log
plain
-rw-r--r--
NoTypeArgs.dfy
1689
log
plain
-rw-r--r--
NonGhostQuantifiers.dfy
6963
log
plain
-rw-r--r--
Parallel.dfy
7520
log
plain
-rw-r--r--
ParallelResolveErrors.dfy
3065
log
plain
-rw-r--r--
ParseErrors.dfy
1920
log
plain
-rw-r--r--
PredExpr.dfy
1785
log
plain
-rw-r--r--
Predicates.dfy
3166
log
plain
-rw-r--r--
Refinement.dfy
3700
log
plain
-rw-r--r--
RefinementErrors.dfy
1579
log
plain
-rw-r--r--
RefinementModificationChecking.dfy
433
log
plain
-rw-r--r--
ResolutionErrors.dfy
11627
log
plain
-rw-r--r--
ReturnErrors.dfy
732
log
plain
-rw-r--r--
ReturnTests.dfy
1123
log
plain
-rw-r--r--
Simple.dfy
1231
log
plain
-rw-r--r--
Skeletons.dfy
943
log
plain
-rw-r--r--
SmallTests.dfy
14809
log
plain
-rw-r--r--
SplitExpr.dfy
1841
log
plain
-rw-r--r--
Superposition.dfy
1447
log
plain
-rw-r--r--
TailCalls.dfy
2257
log
plain
-rw-r--r--
Termination.dfy
6798
log
plain
-rw-r--r--
TypeAntecedents.dfy
2645
log
plain
-rw-r--r--
TypeParameters.dfy
3624
log
plain
-rw-r--r--
TypeTests.dfy
3738
log
plain
-rw-r--r--
runtest.bat
1866
log
plain