From b5a913dc627eda9fe38a49a6d0cab073580b38b2 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 2 Jul 2015 14:52:19 +0200
Subject: [PATCH] Copyright notices

---
 src/main/scala/leon/datagen/GrammarDataGen.scala               | 2 +-
 src/main/scala/leon/solvers/ADTManager.scala                   | 2 ++
 src/main/scala/leon/solvers/GroundSolver.scala                 | 2 ++
 src/main/scala/leon/solvers/RawArray.scala                     | 2 ++
 src/main/scala/leon/solvers/package.scala                      | 2 ++
 .../scala/leon/solvers/smtlib/SMTLIBZ3QuantifiedSolver.scala   | 2 ++
 src/main/scala/leon/synthesis/Synthesizer.scala                | 3 ---
 src/main/scala/leon/synthesis/rules/CEGISLike.scala            | 2 +-
 src/main/scala/leon/termination/SelfCallsProcessor.scala       | 2 ++
 src/main/scala/leon/utils/Benchmarks.scala                     | 2 ++
 src/main/scala/leon/utils/SearchSpace.scala                    | 2 ++
 src/main/scala/leon/xlang/FixReportLabels.scala                | 1 +
 12 files changed, 19 insertions(+), 5 deletions(-)

diff --git a/src/main/scala/leon/datagen/GrammarDataGen.scala b/src/main/scala/leon/datagen/GrammarDataGen.scala
index 614af333b..7de370487 100644
--- a/src/main/scala/leon/datagen/GrammarDataGen.scala
+++ b/src/main/scala/leon/datagen/GrammarDataGen.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2014 EPFL, Lausanne */
+/* Copyright 2009-2015 EPFL, Lausanne */
 
 package leon
 package datagen
diff --git a/src/main/scala/leon/solvers/ADTManager.scala b/src/main/scala/leon/solvers/ADTManager.scala
index e28255267..0c2941481 100644
--- a/src/main/scala/leon/solvers/ADTManager.scala
+++ b/src/main/scala/leon/solvers/ADTManager.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2015 EPFL, Lausanne */
+
 package leon
 package solvers
 
diff --git a/src/main/scala/leon/solvers/GroundSolver.scala b/src/main/scala/leon/solvers/GroundSolver.scala
index fd744bb6e..5cdaa5e42 100644
--- a/src/main/scala/leon/solvers/GroundSolver.scala
+++ b/src/main/scala/leon/solvers/GroundSolver.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2015 EPFL, Lausanne */
+
 package leon
 package solvers
 
diff --git a/src/main/scala/leon/solvers/RawArray.scala b/src/main/scala/leon/solvers/RawArray.scala
index 85c104ae7..e63dbad12 100644
--- a/src/main/scala/leon/solvers/RawArray.scala
+++ b/src/main/scala/leon/solvers/RawArray.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2015 EPFL, Lausanne */
+
 package leon
 package solvers
 
diff --git a/src/main/scala/leon/solvers/package.scala b/src/main/scala/leon/solvers/package.scala
index e7bb86a63..e796cf4d1 100644
--- a/src/main/scala/leon/solvers/package.scala
+++ b/src/main/scala/leon/solvers/package.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2015 EPFL, Lausanne */
+
 package leon
 
 import scala.reflect.runtime.universe._
diff --git a/src/main/scala/leon/solvers/smtlib/SMTLIBZ3QuantifiedSolver.scala b/src/main/scala/leon/solvers/smtlib/SMTLIBZ3QuantifiedSolver.scala
index bd2f3e054..8a39d9fbb 100644
--- a/src/main/scala/leon/solvers/smtlib/SMTLIBZ3QuantifiedSolver.scala
+++ b/src/main/scala/leon/solvers/smtlib/SMTLIBZ3QuantifiedSolver.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2015 EPFL, Lausanne */
+
 package leon
 package solvers.smtlib
 
diff --git a/src/main/scala/leon/synthesis/Synthesizer.scala b/src/main/scala/leon/synthesis/Synthesizer.scala
index dd8e41851..2d2590da0 100644
--- a/src/main/scala/leon/synthesis/Synthesizer.scala
+++ b/src/main/scala/leon/synthesis/Synthesizer.scala
@@ -3,12 +3,9 @@
 package leon
 package synthesis
 
-import purescala.Common._
 import purescala.Definitions._
 import purescala.ExprOps._
 import purescala.DefOps._
-import purescala.Expressions._
-import purescala.Constructors._
 import purescala.ScalaPrinter
 import solvers._
 
diff --git a/src/main/scala/leon/synthesis/rules/CEGISLike.scala b/src/main/scala/leon/synthesis/rules/CEGISLike.scala
index 686777f8e..2eabcfe44 100644
--- a/src/main/scala/leon/synthesis/rules/CEGISLike.scala
+++ b/src/main/scala/leon/synthesis/rules/CEGISLike.scala
@@ -39,7 +39,7 @@ abstract class CEGISLike[T <% Typed](name: String) extends Rule(name) {
     val exSolverTo  = 2000L
     val cexSolverTo = 2000L
 
-    // Track non-deterministic programs up to 50'000 programs, or give up
+    // Track non-deterministic programs up to 10'000 programs, or give up
     val nProgramsLimit = 100000
 
     val sctx = hctx.sctx
diff --git a/src/main/scala/leon/termination/SelfCallsProcessor.scala b/src/main/scala/leon/termination/SelfCallsProcessor.scala
index a18d292cd..4f08355dc 100644
--- a/src/main/scala/leon/termination/SelfCallsProcessor.scala
+++ b/src/main/scala/leon/termination/SelfCallsProcessor.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2015 EPFL, Lausanne */
+
 package leon
 package termination
 
diff --git a/src/main/scala/leon/utils/Benchmarks.scala b/src/main/scala/leon/utils/Benchmarks.scala
index 39b635ba9..c3927ad12 100644
--- a/src/main/scala/leon/utils/Benchmarks.scala
+++ b/src/main/scala/leon/utils/Benchmarks.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2015 EPFL, Lausanne */
+
 package leon
 package utils
 
diff --git a/src/main/scala/leon/utils/SearchSpace.scala b/src/main/scala/leon/utils/SearchSpace.scala
index ee0424210..b013077c9 100644
--- a/src/main/scala/leon/utils/SearchSpace.scala
+++ b/src/main/scala/leon/utils/SearchSpace.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2015 EPFL, Lausanne */
+
 package leon.utils
 
 object SearchSpace {
diff --git a/src/main/scala/leon/xlang/FixReportLabels.scala b/src/main/scala/leon/xlang/FixReportLabels.scala
index 37c3fef24..6346402c2 100644
--- a/src/main/scala/leon/xlang/FixReportLabels.scala
+++ b/src/main/scala/leon/xlang/FixReportLabels.scala
@@ -1,3 +1,4 @@
+/* Copyright 2009-2015 EPFL, Lausanne */
 
 package leon
 package xlang
-- 
GitLab