Skip to content
Snippets Groups Projects
Select Git revision
  • main default
  • scala-2.13
  • github/fork/mario-bucev/more-instantiation
  • github/fork/SolalPirelli/sp/minimizer
  • scala-2.12.13
  • add-blocker-graph-debug
  • add-map-equal-value-keys
  • fix-stainless-1135
  • github/fork/jad-hamza/replaceFromSymbols-positions
  • refactor-parser
  • dotty-compat
  • v1.1.5
  • v1.1.0
  • v1.0.2
  • v1.0.1
  • v1.0
16 results
Compare
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
README
This particular directory contains PureScala programs that can be entirely
proved correct by Leon.