Files · 104bdfd41850c6d86e12e85cd4f30b370ebe1921 · SPC / gdat · GitLab

Snippets Groups Projects

Name	Last commit	Last update
src/test/resources/regression/verification/newsolvers/valid/Acc.scala
src/test/resources/regression/verification/newsolvers/valid/AddingPositiveNumbers.scala
src/test/resources/regression/verification/newsolvers/valid/AmortizedQueue.scala
src/test/resources/regression/verification/newsolvers/valid/ArrayLiterals.scala
src/test/resources/regression/verification/newsolvers/valid/ArrayUpdated.scala
src/test/resources/regression/verification/newsolvers/valid/Asserts1.scala
src/test/resources/regression/verification/newsolvers/valid/AssociativeList.scala
src/test/resources/regression/verification/newsolvers/valid/BestRealTypes.scala
src/test/resources/regression/verification/newsolvers/valid/BitsTricks.scala
src/test/resources/regression/verification/newsolvers/valid/CaseObject1.scala
src/test/resources/regression/verification/newsolvers/valid/Choose1.scala
src/test/resources/regression/verification/newsolvers/valid/Field1.scala
src/test/resources/regression/verification/newsolvers/valid/Field2.scala
src/test/resources/regression/verification/newsolvers/valid/FiniteSort.scala
src/test/resources/regression/verification/newsolvers/valid/FoolProofAdder.scala
src/test/resources/regression/verification/newsolvers/valid/Generics.scala
src/test/resources/regression/verification/newsolvers/valid/Generics2.scala
src/test/resources/regression/verification/newsolvers/valid/Heap.scala
src/test/resources/regression/verification/newsolvers/valid/InsertionSort.scala
src/test/resources/regression/verification/newsolvers/valid/InstanceOf1.scala
src/test/resources/regression/verification/newsolvers/valid/ListOperations.scala
src/test/resources/regression/verification/newsolvers/valid/LiteralMaps.scala
src/test/resources/regression/verification/newsolvers/valid/MergeSort.scala
src/test/resources/regression/verification/newsolvers/valid/MyMap.scala
src/test/resources/regression/verification/newsolvers/valid/MySet.scala
src/test/resources/regression/verification/newsolvers/valid/MyTuple1.scala
src/test/resources/regression/verification/newsolvers/valid/MyTuple2.scala
src/test/resources/regression/verification/newsolvers/valid/MyTuple3.scala
src/test/resources/regression/verification/newsolvers/valid/MyTuple4.scala
src/test/resources/regression/verification/newsolvers/valid/MyTuple5.scala
src/test/resources/regression/verification/newsolvers/valid/MyTuple6.scala
src/test/resources/regression/verification/newsolvers/valid/Nat.scala
src/test/resources/regression/verification/newsolvers/valid/NotEquals.scala
src/test/resources/regression/verification/newsolvers/valid/PositiveMap.scala
src/test/resources/regression/verification/newsolvers/valid/PropositionalLogic.scala
src/test/resources/regression/verification/newsolvers/valid/README
src/test/resources/regression/verification/newsolvers/valid/RedBlackTree.scala
src/test/resources/regression/verification/newsolvers/valid/SearchLinkedList.scala
src/test/resources/regression/verification/newsolvers/valid/Subtyping1.scala
src/test/resources/regression/verification/newsolvers/valid/Subtyping2.scala
src/test/resources/regression/verification/newsolvers/valid/Unit1.scala
src/test/resources/regression/verification/newsolvers/valid/Unit2.scala

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