Skip to content

Latest commit

 

History

History

valid

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
MicroTests
MicroTests
 
 
AbstractPost.scala
AbstractPost.scala
 
 
AbstractRefinementMap.scala
AbstractRefinementMap.scala
 
 
Acc.scala
Acc.scala
 
 
Actors.scala
Actors.scala
 
 
AdtSpecializationUnapply.scala
AdtSpecializationUnapply.scala
 
 
AdtSpecializationUnapply2.scala
AdtSpecializationUnapply2.scala
 
 
AmortizedQueue.scala
AmortizedQueue.scala
 
 
AnonymousClasses1.scala
AnonymousClasses1.scala
 
 
AnonymousClasses2.scala
AnonymousClasses2.scala
 
 
AnonymousClasses3.scala
AnonymousClasses3.scala
 
 
ArrayOfTypeAlias.scala
ArrayOfTypeAlias.scala
 
 
ArraySlice.scala
ArraySlice.scala
 
 
AssociativeList.scala
AssociativeList.scala
 
 
AssociativityProperties.scala
AssociativityProperties.scala
 
 
BVMaxInterpret.scala
BVMaxInterpret.scala
 
 
BalancedParentheses.scala
BalancedParentheses.scala
 
 
BasicReal.scala
BasicReal.scala
 
 
BestRealTypes.scala
BestRealTypes.scala
 
 
BigIntMonoidLaws.scala
BigIntMonoidLaws.scala
 
 
BigIntRing.scala
BigIntRing.scala
 
 
BinarySearch.scala
BinarySearch.scala
 
 
BinarySearchTreeQuant.scala
BinarySearchTreeQuant.scala
 
 
BinarySearchTreeQuant2.scala
BinarySearchTreeQuant2.scala
 
 
BitsTricks.scala
BitsTricks.scala
 
 
BitsTricksSlow.scala
BitsTricksSlow.scala
 
 
BooleanOps.scala
BooleanOps.scala
 
 
Bytes.scala
Bytes.scala
 
 
ChooseWithWitness.scala
ChooseWithWitness.scala
 
 
Client.scala
Client.scala
 
 
Composition.scala
Composition.scala
 
 
ConcRope.scala
ConcRope.scala
 
 
ConcTree.scala
ConcTree.scala
 
 
ContMonad.scala
ContMonad.scala
 
 
ContainerHOFs.scala
ContainerHOFs.scala
 
 
ContainerTest.scala
ContainerTest.scala
 
 
Copy2.scala
Copy2.scala
 
 
Count.scala
Count.scala
 
 
Countable.scala
Countable.scala
 
 
CovCollection.scala
CovCollection.scala
 
 
DivisionByZero.scala
DivisionByZero.scala
 
 
EffectfulPost.scala
EffectfulPost.scala
 
 
EitherLaws.scala
EitherLaws.scala
 
 
Equations.scala
Equations.scala
 
 
Existentials.scala
Existentials.scala
 
 
ExternField.scala
ExternField.scala
 
 
ExternFieldPure.scala
ExternFieldPure.scala
 
 
ExternPost.scala
ExternPost.scala
 
 
ExternWithUnsupportedFeatures.scala
ExternWithUnsupportedFeatures.scala
 
 
Factorial.scala
Factorial.scala
 
 
Filter.scala
Filter.scala
 
 
FiniteSort.scala
FiniteSort.scala
 
 
FlatMap.scala
FlatMap.scala
 
 
Float8.scala
Float8.scala
 
 
FoldAssociative.scala
FoldAssociative.scala
 
 
FoolProofAdder.scala
FoolProofAdder.scala
 
 
ForallAssoc.scala
ForallAssoc.scala
 
 
ForallWithBlock.scala
ForallWithBlock.scala
 
 
Formulas.scala
Formulas.scala
 
 
FunctionMaps.scala
FunctionMaps.scala
 
 
FunctionMapsObj.scala
FunctionMapsObj.scala
 
 
GhostClass.scala
GhostClass.scala
 
 
GodelNumbering.scala
GodelNumbering.scala
 
 
GoodInitialization.scala
GoodInitialization.scala
 
 
HOInvocations.scala
HOInvocations.scala
 
 
HOInvocations2.scala
HOInvocations2.scala
 
 
Havoc.scala
Havoc.scala
 
 
Heaps.scala
Heaps.scala
 
 
IndexOfInjective.scala
IndexOfInjective.scala
 
 
InnerClassTypeMember.scala
InnerClassTypeMember.scala
 
 
InnerClasses0.scala
InnerClasses0.scala
 
 
InnerClasses1.scala
InnerClasses1.scala
 
 
InnerClasses2.scala
InnerClasses2.scala
 
 
InnerClasses3.scala
InnerClasses3.scala
 
 
InnerClasses4.scala
InnerClasses4.scala
 
 
InnerClasses5.scala
InnerClasses5.scala
 
 
InnerClassesInvariants.scala
InnerClassesInvariants.scala
 
 
InnerFunctions.scala
InnerFunctions.scala
 
 
InsertionSort.scala
InsertionSort.scala
 
 
IntSet.scala
IntSet.scala
 
 
IntSetInv.scala
IntSetInv.scala
 
 
IntSetProp.scala
IntSetProp.scala
 
 
IntSetUnit.scala
IntSetUnit.scala
 
 
Iterables.scala
Iterables.scala
 
 
Justify.scala
Justify.scala
 
 
LastDynAssert.scala
LastDynAssert.scala
 
 
LawTypeArgsElim.scala
LawTypeArgsElim.scala
 
 
LawsExample.scala
LawsExample.scala
 
 
ListMonad.scala
ListMonad.scala
 
 
ListMonoidLaws.scala
ListMonoidLaws.scala
 
 
ListOperations.scala
ListOperations.scala
 
 
LiteralMaps.scala
LiteralMaps.scala
 
 
Longs.scala
Longs.scala
 
 
ManyInvariants.scala
ManyInvariants.scala
 
 
MapDiff.scala
MapDiff.scala
 
 
MapGetOrElse2.scala
MapGetOrElse2.scala
 
 
MapGetPlus.scala
MapGetPlus.scala
 
 
Mean.scala
Mean.scala
 
 
MergeSort.scala
MergeSort.scala
 
 
MergeSort2.scala
MergeSort2.scala
 
 

README

This particular directory contains PureScala programs that can be entirely
proved correct by Stainless.