Copyright notices

LICENSE

library/instrumentation/package.scala

library/invariant/package.scala

library/proof/Internal.scala

library/proof/package.scala

src/main/scala/leon/evaluators/ScalacEvaluator.scala

src/main/scala/leon/invariant/engine/InferenceReport.scala

...ala/leon/invariant/templateSolvers/ExtendedUFSolver.scala

...verification/newsolvers/valid/AddingPositiveNumbers.scala

...ession/verification/newsolvers/valid/AmortizedQueue.scala

...ression/verification/newsolvers/valid/ArrayLiterals.scala

...gression/verification/newsolvers/valid/ArrayUpdated.scala

...ssion/verification/newsolvers/valid/AssociativeList.scala

...ression/verification/newsolvers/valid/BestRealTypes.scala

...egression/verification/newsolvers/valid/CaseObject1.scala

...ces/regression/verification/newsolvers/valid/Field1.scala

...ces/regression/verification/newsolvers/valid/Field2.scala

...regression/verification/newsolvers/valid/FiniteSort.scala

...s/regression/verification/newsolvers/valid/Generics.scala

.../regression/verification/newsolvers/valid/Generics1.scala