From 26ca0be2ea680d10d23f744abfd5afbb701d863e Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Fri, 14 Mar 2014 14:39:55 +0100
Subject: [PATCH] Fix header (2013 -> 2014). Add script to do so.
---
Library.scala | 17 -----------------
library/Option.scala | 2 ++
library/annotation/package.scala | 2 ++
library/collection/List.scala | 2 ++
library/lang/package.scala | 2 ++
scripts/applyLicense.sh | 14 ++++++++++++++
scripts/leon-gdb | 2 ++
scripts/leon-valgrind | 5 +++++
.../java/leon/codegen/runtime/ArrayBox.java | 2 +-
.../java/leon/codegen/runtime/CaseClass.java | 2 +-
.../runtime/LeonCodeGenEvaluationException.java | 2 +-
.../runtime/LeonCodeGenRuntimeException.java | 2 +-
.../runtime/LeonCodeGenRuntimeHashing.java | 2 ++
.../runtime/LeonCodeGenRuntimeMonitor.java | 2 +-
src/main/java/leon/codegen/runtime/Map.java | 2 +-
src/main/java/leon/codegen/runtime/Set.java | 2 +-
src/main/java/leon/codegen/runtime/Tuple.java | 2 +-
src/main/scala/leon/LeonComponent.scala | 2 +-
src/main/scala/leon/LeonContext.scala | 2 +-
src/main/scala/leon/LeonFatalError.scala | 2 +-
src/main/scala/leon/LeonOption.scala | 2 +-
src/main/scala/leon/LeonPhase.scala | 2 +-
src/main/scala/leon/Main.scala | 2 +-
src/main/scala/leon/Pipeline.scala | 2 +-
src/main/scala/leon/Reporter.scala | 2 +-
src/main/scala/leon/Settings.scala | 2 +-
src/main/scala/leon/Stopwatch.scala | 2 +-
src/main/scala/leon/codegen/CodeGenParams.scala | 2 ++
src/main/scala/leon/codegen/CodeGenPhase.scala | 2 +-
.../scala/leon/codegen/CodeGeneration.scala | 2 +-
.../leon/codegen/CompilationException.scala | 2 +-
.../scala/leon/codegen/CompilationResult.scala | 2 +-
.../scala/leon/codegen/CompilationUnit.scala | 2 +-
.../scala/leon/codegen/CompiledExpression.scala | 2 +-
.../leon/codegen/runtime/ChooseEntryPoint.scala | 2 +-
src/main/scala/leon/datagen/DataGenerator.scala | 2 +-
src/main/scala/leon/datagen/NaiveDataGen.scala | 2 +-
.../scala/leon/datagen/VanuatooDataGen.scala | 2 +-
.../leon/evaluators/CodeGenEvaluator.scala | 2 +-
.../leon/evaluators/DefaultEvaluator.scala | 2 +-
.../leon/evaluators/EvaluationResults.scala | 2 +-
src/main/scala/leon/evaluators/Evaluator.scala | 2 +-
.../leon/evaluators/RecursiveEvaluator.scala | 2 +-
.../leon/evaluators/TracingEvaluator.scala | 2 +-
.../leon/frontends/scalac/ASTExtractors.scala | 2 +-
.../leon/frontends/scalac/CodeExtraction.scala | 2 +-
.../leon/frontends/scalac/ExtractionPhase.scala | 2 +-
.../leon/frontends/scalac/LeonExtraction.scala | 2 +-
.../leon/frontends/scalac/ScalaCompiler.scala | 2 +-
.../leon/frontends/scalac/SimpleReporter.scala | 2 +-
src/main/scala/leon/purescala/CallGraph.scala | 2 ++
src/main/scala/leon/purescala/Common.scala | 3 ++-
.../purescala/CompleteAbstractDefinitions.scala | 2 +-
src/main/scala/leon/purescala/Definitions.scala | 2 +-
src/main/scala/leon/purescala/Extractors.scala | 2 +-
.../scala/leon/purescala/FunctionClosure.scala | 2 +-
.../scala/leon/purescala/MethodLifting.scala | 2 +-
.../scala/leon/purescala/PrettyPrinter.scala | 2 +-
.../scala/leon/purescala/PrinterOptions.scala | 2 ++
.../scala/leon/purescala/ScalaPrinter.scala | 3 ++-
.../scala/leon/purescala/ScopeSimplifier.scala | 2 +-
.../leon/purescala/SimplifierWithPaths.scala | 2 +-
src/main/scala/leon/purescala/Transformer.scala | 2 +-
.../leon/purescala/TransformerWithPC.scala | 2 +-
.../leon/purescala/TreeNormalizations.scala | 2 +-
src/main/scala/leon/purescala/TreeOps.scala | 2 +-
src/main/scala/leon/purescala/Trees.scala | 2 +-
src/main/scala/leon/purescala/TypeTreeOps.scala | 2 ++
src/main/scala/leon/purescala/TypeTrees.scala | 2 +-
.../scala/leon/solvers/AssumptionSolver.scala | 2 +-
.../scala/leon/solvers/EnumerationSolver.scala | 2 +-
.../scala/leon/solvers/IncrementalSolver.scala | 2 +-
.../solvers/SimpleAssumptionSolverAPI.scala | 2 +-
.../scala/leon/solvers/SimpleSolverAPI.scala | 2 +-
src/main/scala/leon/solvers/Solver.scala | 2 +-
src/main/scala/leon/solvers/SolverFactory.scala | 2 +-
.../leon/solvers/TimeoutAssumptionSolver.scala | 2 +-
src/main/scala/leon/solvers/TimeoutSolver.scala | 2 +-
.../leon/solvers/TimeoutSolverFactory.scala | 2 +-
.../leon/solvers/combinators/DNFSolver.scala | 2 +-
.../solvers/combinators/FunctionTemplate.scala | 2 +-
.../solvers/combinators/PortfolioSolver.scala | 2 +-
.../solvers/combinators/RewritingSolver.scala | 2 +-
.../solvers/combinators/UnrollingSolver.scala | 2 +-
.../leon/solvers/z3/AbstractZ3Solver.scala | 2 +-
.../scala/leon/solvers/z3/FairZ3Component.scala | 2 +-
.../scala/leon/solvers/z3/FairZ3Solver.scala | 2 +-
.../leon/solvers/z3/FunctionTemplate.scala | 2 +-
.../leon/solvers/z3/UninterpretedZ3Solver.scala | 2 +-
.../leon/solvers/z3/Z3ModelReconstruction.scala | 2 +-
src/main/scala/leon/synthesis/Algebra.scala | 2 +-
.../scala/leon/synthesis/BoundedSearch.scala | 2 +-
src/main/scala/leon/synthesis/ChooseInfo.scala | 2 +-
src/main/scala/leon/synthesis/CostModel.scala | 2 +-
.../scala/leon/synthesis/FileInterface.scala | 2 +-
src/main/scala/leon/synthesis/Heuristics.scala | 2 +-
.../scala/leon/synthesis/LinearEquations.scala | 2 +-
.../scala/leon/synthesis/ManualSearch.scala | 2 +-
.../scala/leon/synthesis/ParallelSearch.scala | 2 +-
src/main/scala/leon/synthesis/Problem.scala | 2 +-
src/main/scala/leon/synthesis/Rules.scala | 2 +-
.../scala/leon/synthesis/SearchCostModel.scala | 2 +-
.../scala/leon/synthesis/SimpleSearch.scala | 2 +-
src/main/scala/leon/synthesis/Solution.scala | 2 +-
.../scala/leon/synthesis/SynthesisContext.scala | 2 +-
.../scala/leon/synthesis/SynthesisOptions.scala | 2 +-
.../scala/leon/synthesis/SynthesisPhase.scala | 2 +-
src/main/scala/leon/synthesis/Synthesizer.scala | 2 +-
src/main/scala/leon/synthesis/Task.scala | 2 +-
src/main/scala/leon/synthesis/TaskRunRule.scala | 2 +-
.../scala/leon/synthesis/TaskTryRules.scala | 2 +-
.../scala/leon/synthesis/condabd/Report.scala | 2 ++
.../leon/synthesis/condabd/SynthesisInfo.scala | 2 ++
.../synthesis/condabd/SynthesizerExamples.scala | 2 ++
.../evaluation/CodeGenExampleRunner.scala | 2 ++
.../evaluation/DefaultExampleRunner.scala | 2 ++
.../condabd/evaluation/EvaluationStrategy.scala | 2 ++
.../condabd/evaluation/ExampleRunner.scala | 2 ++
.../synthesis/condabd/examples/Example.scala | 2 ++
.../condabd/examples/InputExamples.scala | 2 ++
.../synthesis/condabd/insynth/InSynth.scala | 2 ++
.../condabd/insynth/leon/CommonTypes.scala | 2 ++
.../insynth/leon/DomainTypeTransformer.scala | 2 ++
.../condabd/insynth/leon/LeonDeclaration.scala | 2 ++
.../insynth/leon/ReconstructionExpression.scala | 2 ++
.../condabd/insynth/leon/TypeTransformer.scala | 2 ++
.../leon/loader/DeclarationFactory.scala | 2 ++
.../condabd/insynth/leon/loader/LoadSpec.scala | 2 ++
.../condabd/insynth/leon/loader/Loader.scala | 2 ++
.../condabd/insynth/leon/loader/PreLoader.scala | 2 ++
.../condabd/insynth/leon/query/LeonQuery.scala | 2 ++
.../insynth/leon/query/LeonQueryBuilder.scala | 2 ++
.../condabd/insynth/reconstruction/Output.scala | 2 ++
.../insynth/reconstruction/Reconstructor.scala | 2 ++
.../reconstruction/codegen/CodeGenerator.scala | 2 ++
.../synthesis/condabd/ranking/Candidate.scala | 2 ++
.../synthesis/condabd/ranking/Evaluation.scala | 2 ++
.../leon/synthesis/condabd/ranking/Ranker.scala | 2 ++
.../synthesis/condabd/refinement/Filter.scala | 2 ++
.../condabd/refinement/VariableRefiner.scala | 2 ++
.../refinement/VariableRefinerCompose.scala | 2 ++
.../refinement/VariableRefinerExecution.scala | 2 ++
.../refinement/VariableRefinerStructure.scala | 2 ++
.../refinement/VariableSolverRefiner.scala | 2 ++
.../ConditionAbductionSynthesisTwoPhase.scala | 2 ++
.../condabd/verification/AbstractVerifier.scala | 2 ++
.../condabd/verification/RelaxedVerifier.scala | 2 ++
.../condabd/verification/Verifier.scala | 2 ++
.../synthesis/heuristics/ADTInduction.scala | 2 +-
.../synthesis/heuristics/ADTLongInduction.scala | 2 +-
.../synthesis/heuristics/InnerCaseSplit.scala | 2 +-
.../synthesis/heuristics/IntInduction.scala | 2 +-
.../heuristics/OptimisticInjection.scala | 2 +-
.../heuristics/SelectiveInlining.scala | 2 +-
src/main/scala/leon/synthesis/package.scala | 2 +-
.../scala/leon/synthesis/rules/ADTDual.scala | 2 +-
.../scala/leon/synthesis/rules/ADTSplit.scala | 2 +-
.../scala/leon/synthesis/rules/AsChoose.scala | 2 +-
.../scala/leon/synthesis/rules/Assert.scala | 2 +-
.../scala/leon/synthesis/rules/CaseSplit.scala | 2 +-
src/main/scala/leon/synthesis/rules/Cegis.scala | 2 +-
.../leon/synthesis/rules/DetupleInput.scala | 2 +-
.../leon/synthesis/rules/DetupleOutput.scala | 2 +-
.../leon/synthesis/rules/Disunification.scala | 2 +-
.../leon/synthesis/rules/EqualitySplit.scala | 2 +-
.../scala/leon/synthesis/rules/Ground.scala | 2 +-
.../leon/synthesis/rules/InequalitySplit.scala | 2 +-
.../leon/synthesis/rules/IntegerEquation.scala | 2 +-
.../synthesis/rules/IntegerInequalities.scala | 2 +-
.../scala/leon/synthesis/rules/OnePoint.scala | 2 +-
.../leon/synthesis/rules/OptimisticGround.scala | 2 +-
.../synthesis/rules/UnconstrainedOutput.scala | 2 +-
.../leon/synthesis/rules/Unification.scala | 2 +-
.../leon/synthesis/rules/UnusedInput.scala | 2 +-
.../leon/synthesis/search/AndOrGraph.scala | 2 +-
.../search/AndOrGraphDotConverter.scala | 2 +-
.../search/AndOrGraphParallelSearch.scala | 2 +-
.../search/AndOrGraphPartialSolution.scala | 2 +-
.../synthesis/search/AndOrGraphSearch.scala | 2 +-
src/main/scala/leon/synthesis/search/Cost.scala | 2 +-
.../utils/SynthesisProblemExtractionPhase.scala | 2 +-
.../scala/leon/termination/ChainBuilder.scala | 2 ++
.../leon/termination/ChainComparator.scala | 2 ++
.../scala/leon/termination/ChainProcessor.scala | 2 ++
.../termination/ComplexTerminationChecker.scala | 2 ++
.../leon/termination/ComponentBuilder.scala | 2 ++
.../leon/termination/ComponentProcessor.scala | 2 ++
.../scala/leon/termination/LoopProcessor.scala | 2 ++
src/main/scala/leon/termination/Processor.scala | 2 ++
.../leon/termination/RecursionProcessor.scala | 2 ++
.../leon/termination/RelationBuilder.scala | 2 ++
.../leon/termination/RelationComparator.scala | 2 ++
.../leon/termination/RelationProcessor.scala | 2 ++
src/main/scala/leon/termination/SCC.scala | 2 +-
.../termination/SimpleTerminationChecker.scala | 2 +-
.../scala/leon/termination/StructuralSize.scala | 2 ++
.../leon/termination/TerminationChecker.scala | 2 +-
.../leon/termination/TerminationPhase.scala | 2 +-
.../leon/termination/TerminationReport.scala | 2 +-
src/main/scala/leon/utils/DebugSections.scala | 2 ++
.../scala/leon/utils/InterruptManager.scala | 2 +-
src/main/scala/leon/utils/Interruptible.scala | 2 +-
src/main/scala/leon/utils/Positions.scala | 2 ++
src/main/scala/leon/utils/SubtypingPhase.scala | 2 +-
.../scala/leon/utils/TemporaryInputPhase.scala | 2 +-
src/main/scala/leon/utils/Timer.scala | 2 +-
src/main/scala/leon/utils/UnitElimination.scala | 2 +-
.../scala/leon/verification/AnalysisPhase.scala | 2 +-
.../scala/leon/verification/DefaultTactic.scala | 2 +-
.../leon/verification/InductionTactic.scala | 2 +-
src/main/scala/leon/verification/Tactic.scala | 2 +-
.../verification/VerificationCondition.scala | 2 +-
.../leon/verification/VerificationContext.scala | 2 +-
.../leon/verification/VerificationReport.scala | 2 +-
.../scala/leon/xlang/ArrayTransformation.scala | 2 +-
.../scala/leon/xlang/EpsilonElimination.scala | 2 +-
.../leon/xlang/ImperativeCodeElimination.scala | 2 +-
src/main/scala/leon/xlang/TreeOps.scala | 2 +-
src/main/scala/leon/xlang/Trees.scala | 3 ++-
.../scala/leon/xlang/XlangAnalysisPhase.scala | 2 +-
src/main/scala/leon/z3plugins/bapa/AST.scala | 2 +-
.../scala/leon/z3plugins/bapa/BAPATheory.scala | 2 +-
.../leon/z3plugins/bapa/BAPATheoryBubbles.scala | 2 +-
.../leon/z3plugins/bapa/BAPATheoryEqc.scala | 2 +-
.../scala/leon/z3plugins/bapa/Bubbles.scala | 2 +-
.../scala/leon/z3plugins/bapa/NormalForms.scala | 2 +-
.../leon/z3plugins/bapa/PrettyPrinter.scala | 2 +-
.../scala/leon/z3plugins/bapa/VennRegions.scala | 2 +-
.../regression/synthesis/Church/Add.scala | 2 ++
.../regression/synthesis/Church/Distinct.scala | 2 ++
.../regression/synthesis/Church/Mult.scala | 2 ++
.../regression/synthesis/Church/Squared.scala | 2 ++
.../regression/synthesis/List/Delete.scala | 2 ++
.../regression/synthesis/List/Diff.scala | 2 ++
.../regression/synthesis/List/Insert.scala | 2 ++
.../regression/synthesis/List/Split.scala | 2 ++
.../regression/synthesis/List/Union.scala | 2 ++
.../termination/looping/Numeric1.scala | 2 ++
.../termination/looping/Numeric2.scala | 2 ++
.../looping/Termination_failling1.scala | 2 ++
.../termination/unknown/Numeric3.scala | 2 ++
.../termination/valid/BinaryTreeImp.scala | 2 ++
.../termination/valid/BubbleSort.scala | 2 ++
.../termination/valid/ComplexChains.scala | 2 ++
.../termination/valid/Fibonacci.scala | 2 ++
.../termination/valid/ListWithSize.scala | 2 ++
.../regression/termination/valid/Numeric1.scala | 2 ++
.../termination/valid/QuickSort.scala | 2 ++
.../termination/valid/RedBlackTree.scala | 2 ++
.../termination/valid/SimpInterpret.scala | 2 ++
.../valid/Termination_passing1.scala | 2 ++
.../valid/Termination_passing2.scala | 2 ++
.../regression/transformations/Match.scala | 2 +-
.../transformations/SimplifyLets.scala | 2 +-
.../purescala/error/InstanceOf1.scala | 2 +-
.../verification/purescala/invalid/Array1.scala | 2 +-
.../verification/purescala/invalid/Array2.scala | 2 +-
.../verification/purescala/invalid/Array3.scala | 2 ++
.../verification/purescala/invalid/Array4.scala | 2 +-
.../purescala/invalid/Choose1.scala | 2 +-
.../purescala/invalid/FiniteSort.scala | 2 +-
.../purescala/invalid/Generics.scala | 2 ++
.../purescala/invalid/Generics2.scala | 2 ++
.../purescala/invalid/InsertionSort.scala | 2 +-
.../purescala/invalid/ListOperations.scala | 2 +-
.../purescala/invalid/MyTuple1.scala | 2 +-
.../purescala/invalid/MyTuple2.scala | 2 +-
.../purescala/invalid/MyTuple3.scala | 2 +-
.../purescala/invalid/PropositionalLogic.scala | 2 +-
.../purescala/invalid/RedBlackTree.scala | 2 +-
.../verification/purescala/invalid/Unit1.scala | 2 +-
.../purescala/valid/AmortizedQueue.scala | 2 +-
.../purescala/valid/ArrayLiterals.scala | 2 ++
.../purescala/valid/ArrayUpdated.scala | 2 ++
.../purescala/valid/AssociativeList.scala | 2 +-
.../purescala/valid/BestRealTypes.scala | 2 +-
.../purescala/valid/CaseObject1.scala | 2 +-
.../verification/purescala/valid/Choose1.scala | 2 +-
.../verification/purescala/valid/Field1.scala | 2 +-
.../verification/purescala/valid/Field2.scala | 2 +-
.../purescala/valid/FiniteSort.scala | 2 +-
.../verification/purescala/valid/Generics.scala | 2 ++
.../purescala/valid/Generics2.scala | 2 ++
.../verification/purescala/valid/Heap.scala | 2 ++
.../purescala/valid/InsertionSort.scala | 2 +-
.../purescala/valid/InstanceOf1.scala | 2 +-
.../purescala/valid/IsolatedAbstract.scala | 2 ++
.../purescala/valid/ListOperations.scala | 2 +-
.../purescala/valid/LiteralMaps.scala | 2 +-
.../purescala/valid/MergeSort.scala | 2 +-
.../verification/purescala/valid/MyMap.scala | 2 +-
.../verification/purescala/valid/MySet.scala | 2 +-
.../verification/purescala/valid/MyTuple1.scala | 2 +-
.../verification/purescala/valid/MyTuple2.scala | 2 +-
.../verification/purescala/valid/MyTuple3.scala | 2 +-
.../verification/purescala/valid/MyTuple4.scala | 2 +-
.../verification/purescala/valid/MyTuple5.scala | 2 +-
.../verification/purescala/valid/MyTuple6.scala | 2 +-
.../verification/purescala/valid/Nat.scala | 2 ++
.../purescala/valid/PropositionalLogic.scala | 2 +-
.../purescala/valid/RedBlackTree.scala | 2 +-
.../purescala/valid/SearchLinkedList.scala | 2 +-
.../purescala/valid/Subtyping1.scala | 2 +-
.../purescala/valid/Subtyping2.scala | 2 +-
.../purescala/valid/SumAndMax.scala | 2 +-
.../verification/purescala/valid/Unit1.scala | 2 +-
.../verification/purescala/valid/Unit2.scala | 2 +-
.../verification/xlang/error/Array1.scala | 2 +-
.../verification/xlang/error/Array10.scala | 2 +-
.../verification/xlang/error/Array2.scala | 2 +-
.../verification/xlang/error/Array3.scala | 2 +-
.../verification/xlang/error/Array4.scala | 2 +-
.../verification/xlang/error/Array5.scala | 2 +-
.../verification/xlang/error/Array6.scala | 2 +-
.../verification/xlang/error/Array7.scala | 2 +-
.../verification/xlang/error/Array8.scala | 2 +-
.../verification/xlang/error/Array9.scala | 2 +-
.../verification/xlang/invalid/Array1.scala | 2 +-
.../verification/xlang/invalid/Array2.scala | 2 +-
.../verification/xlang/invalid/Array3.scala | 2 +-
.../verification/xlang/invalid/Array4.scala | 2 +-
.../verification/xlang/invalid/Array5.scala | 2 +-
.../verification/xlang/invalid/Array6.scala | 2 +-
.../verification/xlang/invalid/Epsilon1.scala | 2 +-
.../verification/xlang/invalid/Epsilon2.scala | 2 +-
.../verification/xlang/invalid/Epsilon3.scala | 2 +-
.../verification/xlang/invalid/Epsilon4.scala | 2 +-
.../verification/xlang/invalid/Epsilon5.scala | 2 +-
.../verification/xlang/invalid/Epsilon6.scala | 2 +-
.../verification/xlang/invalid/IfExpr1.scala | 2 +-
.../verification/xlang/invalid/IfExpr2.scala | 2 +-
.../verification/xlang/valid/Arithmetic.scala | 2 +-
.../verification/xlang/valid/Array1.scala | 2 +-
.../verification/xlang/valid/Array10.scala | 2 +-
.../verification/xlang/valid/Array2.scala | 2 +-
.../verification/xlang/valid/Array3.scala | 2 +-
.../verification/xlang/valid/Array4.scala | 2 +-
.../verification/xlang/valid/Array5.scala | 2 +-
.../verification/xlang/valid/Array6.scala | 2 +-
.../verification/xlang/valid/Array7.scala | 2 +-
.../verification/xlang/valid/Array8.scala | 2 +-
.../verification/xlang/valid/Array9.scala | 2 +-
.../verification/xlang/valid/Assign1.scala | 2 +-
.../verification/xlang/valid/Choose1.scala | 2 +-
.../verification/xlang/valid/Epsilon1.scala | 2 +-
.../verification/xlang/valid/Epsilon2.scala | 2 +-
.../verification/xlang/valid/Epsilon3.scala | 2 +-
.../verification/xlang/valid/Epsilon4.scala | 2 +-
.../verification/xlang/valid/Epsilon5.scala | 2 +-
.../verification/xlang/valid/IfExpr1.scala | 2 +-
.../verification/xlang/valid/IfExpr2.scala | 2 +-
.../verification/xlang/valid/IfExpr3.scala | 2 +-
.../verification/xlang/valid/IfExpr4.scala | 2 +-
.../verification/xlang/valid/Nested1.scala | 2 +-
.../verification/xlang/valid/Nested10.scala | 2 +-
.../verification/xlang/valid/Nested11.scala | 2 +-
.../verification/xlang/valid/Nested12.scala | 2 +-
.../verification/xlang/valid/Nested13.scala | 2 +-
.../verification/xlang/valid/Nested14.scala | 2 +-
.../verification/xlang/valid/Nested2.scala | 2 +-
.../verification/xlang/valid/Nested3.scala | 2 +-
.../verification/xlang/valid/Nested4.scala | 2 +-
.../verification/xlang/valid/Nested5.scala | 2 +-
.../verification/xlang/valid/Nested6.scala | 2 +-
.../verification/xlang/valid/Nested7.scala | 2 +-
.../verification/xlang/valid/Nested8.scala | 2 +-
.../verification/xlang/valid/Nested9.scala | 2 +-
.../verification/xlang/valid/NestedVar.scala | 2 +-
.../verification/xlang/valid/While1.scala | 2 +-
.../verification/xlang/valid/While2.scala | 2 +-
.../verification/xlang/valid/While3.scala | 2 +-
src/test/scala/leon/test/LeonTestSuite.scala | 2 ++
.../scala/leon/test/TestSilentReporter.scala | 2 ++
.../leon/test/condabd/EvaluationTest.scala | 2 ++
.../scala/leon/test/condabd/VerifierTest.scala | 2 ++
.../condabd/enumeration/EnumeratorTest.scala | 2 ++
.../leon/test/condabd/insynth/InSynthTest.scala | 2 ++
.../condabd/insynth/loader/LoaderTest.scala | 2 ++
.../reconstruction/CodeGeneratorTest.scala | 2 ++
.../reconstruction/ReconstructorTest.scala | 2 ++
.../insynth/testutil/CommonDeclarations.scala | 2 ++
.../condabd/insynth/testutil/CommonLambda.scala | 2 ++
.../testutil/CommonLeonExpressions.scala | 2 ++
.../insynth/testutil/CommonProofTrees.scala | 2 ++
.../condabd/insynth/testutil/CommonUtils.scala | 2 ++
.../test/condabd/refinement/FilterTest.scala | 2 ++
.../condabd/refinement/RefinementExamples.scala | 2 ++
.../refinement/VariableRefinerComposeTest.scala | 2 ++
.../VariableRefinerExecutionTest.scala | 2 ++
.../VariableRefinerStructureTest.scala | 2 ++
.../refinement/VariableSolverRefinerTest.scala | 2 ++
.../scala/leon/test/condabd/util/Scaffold.scala | 2 ++
.../scala/leon/test/condabd/util/Utils.scala | 2 ++
.../leon/test/evaluators/EvaluatorsTests.scala | 2 +-
.../scala/leon/test/purescala/DataGen.scala | 2 +-
.../scala/leon/test/purescala/LikelyEq.scala | 2 +-
.../leon/test/purescala/LikelyEqSuite.scala | 2 +-
.../test/purescala/TransformationTests.scala | 2 +-
.../purescala/TreeNormalizationsTests.scala | 2 +-
.../leon/test/purescala/TreeOpsTests.scala | 2 +-
.../scala/leon/test/purescala/TreeTests.scala | 2 +-
.../test/solvers/EnumerationSolverTests.scala | 2 +-
.../leon/test/solvers/TimeoutSolverTests.scala | 2 +-
.../test/solvers/z3/FairZ3SolverTests.scala | 2 +-
.../solvers/z3/FairZ3SolverTestsNewAPI.scala | 2 +-
.../solvers/z3/UninterpretedZ3SolverTests.scala | 2 +-
.../leon/test/synthesis/AlgebraSuite.scala | 2 +-
.../test/synthesis/LinearEquationsSuite.scala | 2 +-
.../synthesis/SynthesisRegressionSuite.scala | 2 +-
.../leon/test/synthesis/SynthesisSuite.scala | 2 +-
.../termination/TerminationRegression.scala | 2 +-
.../LibraryVerificationRegression.scala | 2 +-
.../PureScalaVerificationRegression.scala | 2 +-
.../XLangVerificationRegression.scala | 2 +-
414 files changed, 551 insertions(+), 310 deletions(-)
delete mode 100644 Library.scala
create mode 100755 scripts/applyLicense.sh
create mode 100755 scripts/leon-gdb
create mode 100755 scripts/leon-valgrind
mode change 100755 => 100644 src/main/scala/leon/synthesis/condabd/Report.scala
mode change 100755 => 100644 src/main/scala/leon/synthesis/condabd/SynthesizerExamples.scala
mode change 100755 => 100644 src/main/scala/leon/synthesis/condabd/examples/InputExamples.scala
mode change 100755 => 100644 src/main/scala/leon/synthesis/condabd/refinement/Filter.scala
mode change 100755 => 100644 src/main/scala/leon/synthesis/condabd/refinement/VariableRefiner.scala
mode change 100755 => 100644 src/main/scala/leon/synthesis/condabd/refinement/VariableRefinerCompose.scala
mode change 100755 => 100644 src/main/scala/leon/synthesis/condabd/refinement/VariableRefinerExecution.scala
mode change 100755 => 100644 src/main/scala/leon/synthesis/condabd/refinement/VariableRefinerStructure.scala
mode change 100755 => 100644 src/main/scala/leon/synthesis/condabd/refinement/VariableSolverRefiner.scala
mode change 100755 => 100644 src/main/scala/leon/synthesis/condabd/rules/ConditionAbductionSynthesisTwoPhase.scala
diff --git a/Library.scala b/Library.scala
deleted file mode 100644
index 979bc50ee..000000000
--- a/Library.scala
+++ /dev/null
@@ -1,17 +0,0 @@
-package leon.library
-
-import leon.Annotations._
-import leon.Utils._
-
-object collections {
- /***
- * Lists
- ***/
-
- /***
- * Options
- ***/
-
-
-
-}
diff --git a/library/Option.scala b/library/Option.scala
index 06e6882f7..8aff85e7c 100644
--- a/library/Option.scala
+++ b/library/Option.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
import leon.annotation._
diff --git a/library/annotation/package.scala b/library/annotation/package.scala
index 683ca09df..68cf4e4c6 100644
--- a/library/annotation/package.scala
+++ b/library/annotation/package.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
import scala.annotation.StaticAnnotation
diff --git a/library/collection/List.scala b/library/collection/List.scala
index c3356cdca..622cdb77b 100644
--- a/library/collection/List.scala
+++ b/library/collection/List.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.collection
import leon.lang._
diff --git a/library/lang/package.scala b/library/lang/package.scala
index cc6f51122..358cf40f2 100644
--- a/library/lang/package.scala
+++ b/library/lang/package.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
import leon.annotation._
diff --git a/scripts/applyLicense.sh b/scripts/applyLicense.sh
new file mode 100755
index 000000000..7bf0aa64f
--- /dev/null
+++ b/scripts/applyLicense.sh
@@ -0,0 +1,14 @@
+printf "/* Copyright 2009-2014 EPFL, Lausanne */\n\n" > /tmp/Leon-license
+
+for f in $(find {src,library} -name "*.java" -o -name "*.scala") ;do
+ if [ -f $f ]; then
+ cat "/tmp/Leon-license" > /tmp/newfile
+ if grep -Fq "EPFL, Lausanne" "$f";
+ then
+ tail -n +3 $f >> /tmp/newfile
+ else
+ cat $f >> /tmp/newfile
+ fi
+ mv /tmp/newfile "$f"
+ fi
+done
diff --git a/scripts/leon-gdb b/scripts/leon-gdb
new file mode 100755
index 000000000..70fb686f1
--- /dev/null
+++ b/scripts/leon-gdb
@@ -0,0 +1,2 @@
+#!/bin/bash --posix
+gdb /opt/oracle-jdk-bin-1.7.0.45/bin/java `ps aux | grep java | grep leon | awk '{ print $2}'`
diff --git a/scripts/leon-valgrind b/scripts/leon-valgrind
new file mode 100755
index 000000000..d99de40eb
--- /dev/null
+++ b/scripts/leon-valgrind
@@ -0,0 +1,5 @@
+#!/bin/bash --posix
+SCALACLASSPATH="/home/ekneuss/git/leon/src/main/resources:/home/ekneuss/git/leon/target/scala-2.10/classes:/home/ekneuss/git/leon/unmanaged/64/vanuatoo_2.10-0.1.jar:/home/ekneuss/git/leon/unmanaged/64/scalaz3-unix-64b-2.1.jar:/home/ekneuss/git/leon/unmanaged/64/insynth_2.10-2.1.jar:/home/ekneuss/git/leon/unmanaged/64/cafebabe_2.10-1.2.jar:/home/ekneuss/.sbt/boot/scala-2.10.2/lib/scala-library.jar:/home/ekneuss/.sbt/boot/scala-2.10.2/lib/scala-compiler.jar:/home/ekneuss/.ivy2/cache/org.scala-lang/scala-reflect/jars/scala-reflect-2.10.2.jar:/home/ekneuss/.ivy2/cache/com.typesafe.akka/akka-actor_2.10/jars/akka-actor_2.10-2.2.0.jar:/home/ekneuss/.ivy2/cache/com.typesafe/config/bundles/config-1.0.2.jar"
+
+source /home/ekneuss/git/leon/./setupenv
+valgrind --trace-children=yes java -Xmx2G -Xms512M -classpath ${SCALACLASSPATH} -Dscala.home="$SCALA_HOME" -Dscala.usejavacp=true scala.tools.nsc.MainGenericRunner -classpath ${SCALACLASSPATH} leon.Main $@ 2>&1 | tee last.log
diff --git a/src/main/java/leon/codegen/runtime/ArrayBox.java b/src/main/java/leon/codegen/runtime/ArrayBox.java
index 07f4bec8e..5a915f553 100644
--- a/src/main/java/leon/codegen/runtime/ArrayBox.java
+++ b/src/main/java/leon/codegen/runtime/ArrayBox.java
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.codegen.runtime;
diff --git a/src/main/java/leon/codegen/runtime/CaseClass.java b/src/main/java/leon/codegen/runtime/CaseClass.java
index 50243c5c6..f1b20506f 100644
--- a/src/main/java/leon/codegen/runtime/CaseClass.java
+++ b/src/main/java/leon/codegen/runtime/CaseClass.java
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.codegen.runtime;
diff --git a/src/main/java/leon/codegen/runtime/LeonCodeGenEvaluationException.java b/src/main/java/leon/codegen/runtime/LeonCodeGenEvaluationException.java
index d4d5c3588..60355a7b5 100644
--- a/src/main/java/leon/codegen/runtime/LeonCodeGenEvaluationException.java
+++ b/src/main/java/leon/codegen/runtime/LeonCodeGenEvaluationException.java
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.codegen.runtime;
diff --git a/src/main/java/leon/codegen/runtime/LeonCodeGenRuntimeException.java b/src/main/java/leon/codegen/runtime/LeonCodeGenRuntimeException.java
index 88af910a2..1ff3b5fd0 100644
--- a/src/main/java/leon/codegen/runtime/LeonCodeGenRuntimeException.java
+++ b/src/main/java/leon/codegen/runtime/LeonCodeGenRuntimeException.java
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.codegen.runtime;
diff --git a/src/main/java/leon/codegen/runtime/LeonCodeGenRuntimeHashing.java b/src/main/java/leon/codegen/runtime/LeonCodeGenRuntimeHashing.java
index 5a919af14..d7f3d90fb 100644
--- a/src/main/java/leon/codegen/runtime/LeonCodeGenRuntimeHashing.java
+++ b/src/main/java/leon/codegen/runtime/LeonCodeGenRuntimeHashing.java
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.codegen.runtime;
// MurmurHash3, reproduced from std. Scala lib.
diff --git a/src/main/java/leon/codegen/runtime/LeonCodeGenRuntimeMonitor.java b/src/main/java/leon/codegen/runtime/LeonCodeGenRuntimeMonitor.java
index 12bcc82d8..65454c0b0 100644
--- a/src/main/java/leon/codegen/runtime/LeonCodeGenRuntimeMonitor.java
+++ b/src/main/java/leon/codegen/runtime/LeonCodeGenRuntimeMonitor.java
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.codegen.runtime;
diff --git a/src/main/java/leon/codegen/runtime/Map.java b/src/main/java/leon/codegen/runtime/Map.java
index 514a3e1b4..9183ded2a 100644
--- a/src/main/java/leon/codegen/runtime/Map.java
+++ b/src/main/java/leon/codegen/runtime/Map.java
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.codegen.runtime;
diff --git a/src/main/java/leon/codegen/runtime/Set.java b/src/main/java/leon/codegen/runtime/Set.java
index 2bd466af8..e5e1db584 100644
--- a/src/main/java/leon/codegen/runtime/Set.java
+++ b/src/main/java/leon/codegen/runtime/Set.java
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.codegen.runtime;
diff --git a/src/main/java/leon/codegen/runtime/Tuple.java b/src/main/java/leon/codegen/runtime/Tuple.java
index 6bd7279df..c83048dd2 100644
--- a/src/main/java/leon/codegen/runtime/Tuple.java
+++ b/src/main/java/leon/codegen/runtime/Tuple.java
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.codegen.runtime;
diff --git a/src/main/scala/leon/LeonComponent.scala b/src/main/scala/leon/LeonComponent.scala
index e69af9aa7..2ed01dc5b 100644
--- a/src/main/scala/leon/LeonComponent.scala
+++ b/src/main/scala/leon/LeonComponent.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
diff --git a/src/main/scala/leon/LeonContext.scala b/src/main/scala/leon/LeonContext.scala
index 91ad25d72..633ba2d4e 100644
--- a/src/main/scala/leon/LeonContext.scala
+++ b/src/main/scala/leon/LeonContext.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
diff --git a/src/main/scala/leon/LeonFatalError.scala b/src/main/scala/leon/LeonFatalError.scala
index 00f959cd6..546ae5a1c 100644
--- a/src/main/scala/leon/LeonFatalError.scala
+++ b/src/main/scala/leon/LeonFatalError.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
diff --git a/src/main/scala/leon/LeonOption.scala b/src/main/scala/leon/LeonOption.scala
index a40f2d4c7..c9c989e23 100644
--- a/src/main/scala/leon/LeonOption.scala
+++ b/src/main/scala/leon/LeonOption.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
diff --git a/src/main/scala/leon/LeonPhase.scala b/src/main/scala/leon/LeonPhase.scala
index 4b00b7566..b116d68f5 100644
--- a/src/main/scala/leon/LeonPhase.scala
+++ b/src/main/scala/leon/LeonPhase.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index ef6548935..959607856 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
diff --git a/src/main/scala/leon/Pipeline.scala b/src/main/scala/leon/Pipeline.scala
index 6438bb8d1..82125a9af 100644
--- a/src/main/scala/leon/Pipeline.scala
+++ b/src/main/scala/leon/Pipeline.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
diff --git a/src/main/scala/leon/Reporter.scala b/src/main/scala/leon/Reporter.scala
index 48dcbc151..e5015a46d 100644
--- a/src/main/scala/leon/Reporter.scala
+++ b/src/main/scala/leon/Reporter.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
diff --git a/src/main/scala/leon/Settings.scala b/src/main/scala/leon/Settings.scala
index a4ef710c3..bd4910f4c 100644
--- a/src/main/scala/leon/Settings.scala
+++ b/src/main/scala/leon/Settings.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
diff --git a/src/main/scala/leon/Stopwatch.scala b/src/main/scala/leon/Stopwatch.scala
index bc6c37c7d..714531f78 100644
--- a/src/main/scala/leon/Stopwatch.scala
+++ b/src/main/scala/leon/Stopwatch.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
diff --git a/src/main/scala/leon/codegen/CodeGenParams.scala b/src/main/scala/leon/codegen/CodeGenParams.scala
index 743b2682d..97a21a78b 100644
--- a/src/main/scala/leon/codegen/CodeGenParams.scala
+++ b/src/main/scala/leon/codegen/CodeGenParams.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package codegen
diff --git a/src/main/scala/leon/codegen/CodeGenPhase.scala b/src/main/scala/leon/codegen/CodeGenPhase.scala
index d905b179c..12f31cf2f 100644
--- a/src/main/scala/leon/codegen/CodeGenPhase.scala
+++ b/src/main/scala/leon/codegen/CodeGenPhase.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package codegen
diff --git a/src/main/scala/leon/codegen/CodeGeneration.scala b/src/main/scala/leon/codegen/CodeGeneration.scala
index 0702fb7da..f1ff028aa 100644
--- a/src/main/scala/leon/codegen/CodeGeneration.scala
+++ b/src/main/scala/leon/codegen/CodeGeneration.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package codegen
diff --git a/src/main/scala/leon/codegen/CompilationException.scala b/src/main/scala/leon/codegen/CompilationException.scala
index 78948a451..70fde61c8 100644
--- a/src/main/scala/leon/codegen/CompilationException.scala
+++ b/src/main/scala/leon/codegen/CompilationException.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package codegen
diff --git a/src/main/scala/leon/codegen/CompilationResult.scala b/src/main/scala/leon/codegen/CompilationResult.scala
index 50873242a..94bcc334a 100644
--- a/src/main/scala/leon/codegen/CompilationResult.scala
+++ b/src/main/scala/leon/codegen/CompilationResult.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package codegen
diff --git a/src/main/scala/leon/codegen/CompilationUnit.scala b/src/main/scala/leon/codegen/CompilationUnit.scala
index 0af4052a6..165317b32 100644
--- a/src/main/scala/leon/codegen/CompilationUnit.scala
+++ b/src/main/scala/leon/codegen/CompilationUnit.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package codegen
diff --git a/src/main/scala/leon/codegen/CompiledExpression.scala b/src/main/scala/leon/codegen/CompiledExpression.scala
index 4c2035921..1bc72443b 100644
--- a/src/main/scala/leon/codegen/CompiledExpression.scala
+++ b/src/main/scala/leon/codegen/CompiledExpression.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package codegen
diff --git a/src/main/scala/leon/codegen/runtime/ChooseEntryPoint.scala b/src/main/scala/leon/codegen/runtime/ChooseEntryPoint.scala
index cf6a7ac28..ea1c685eb 100644
--- a/src/main/scala/leon/codegen/runtime/ChooseEntryPoint.scala
+++ b/src/main/scala/leon/codegen/runtime/ChooseEntryPoint.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package codegen.runtime
diff --git a/src/main/scala/leon/datagen/DataGenerator.scala b/src/main/scala/leon/datagen/DataGenerator.scala
index 810083dd1..210385cd1 100644
--- a/src/main/scala/leon/datagen/DataGenerator.scala
+++ b/src/main/scala/leon/datagen/DataGenerator.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package datagen
diff --git a/src/main/scala/leon/datagen/NaiveDataGen.scala b/src/main/scala/leon/datagen/NaiveDataGen.scala
index 7be5b1075..6dc3865c9 100644
--- a/src/main/scala/leon/datagen/NaiveDataGen.scala
+++ b/src/main/scala/leon/datagen/NaiveDataGen.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package datagen
diff --git a/src/main/scala/leon/datagen/VanuatooDataGen.scala b/src/main/scala/leon/datagen/VanuatooDataGen.scala
index 12f76a2a8..87e1184bc 100644
--- a/src/main/scala/leon/datagen/VanuatooDataGen.scala
+++ b/src/main/scala/leon/datagen/VanuatooDataGen.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package datagen
diff --git a/src/main/scala/leon/evaluators/CodeGenEvaluator.scala b/src/main/scala/leon/evaluators/CodeGenEvaluator.scala
index 12d864cef..158547f13 100644
--- a/src/main/scala/leon/evaluators/CodeGenEvaluator.scala
+++ b/src/main/scala/leon/evaluators/CodeGenEvaluator.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package evaluators
diff --git a/src/main/scala/leon/evaluators/DefaultEvaluator.scala b/src/main/scala/leon/evaluators/DefaultEvaluator.scala
index 259ecd85e..fcc4f96a0 100644
--- a/src/main/scala/leon/evaluators/DefaultEvaluator.scala
+++ b/src/main/scala/leon/evaluators/DefaultEvaluator.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package evaluators
diff --git a/src/main/scala/leon/evaluators/EvaluationResults.scala b/src/main/scala/leon/evaluators/EvaluationResults.scala
index 9a3d97123..caabd5f4c 100644
--- a/src/main/scala/leon/evaluators/EvaluationResults.scala
+++ b/src/main/scala/leon/evaluators/EvaluationResults.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package evaluators
diff --git a/src/main/scala/leon/evaluators/Evaluator.scala b/src/main/scala/leon/evaluators/Evaluator.scala
index fd907bd0e..689299d72 100644
--- a/src/main/scala/leon/evaluators/Evaluator.scala
+++ b/src/main/scala/leon/evaluators/Evaluator.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package evaluators
diff --git a/src/main/scala/leon/evaluators/RecursiveEvaluator.scala b/src/main/scala/leon/evaluators/RecursiveEvaluator.scala
index 8257f082c..a9c1231fb 100644
--- a/src/main/scala/leon/evaluators/RecursiveEvaluator.scala
+++ b/src/main/scala/leon/evaluators/RecursiveEvaluator.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package evaluators
diff --git a/src/main/scala/leon/evaluators/TracingEvaluator.scala b/src/main/scala/leon/evaluators/TracingEvaluator.scala
index 2548abe07..b4f8b488e 100644
--- a/src/main/scala/leon/evaluators/TracingEvaluator.scala
+++ b/src/main/scala/leon/evaluators/TracingEvaluator.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package evaluators
diff --git a/src/main/scala/leon/frontends/scalac/ASTExtractors.scala b/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
index 095927d15..aceb624af 100644
--- a/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
+++ b/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package frontends.scalac
diff --git a/src/main/scala/leon/frontends/scalac/CodeExtraction.scala b/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
index e7c9b6c90..7451ba0a6 100644
--- a/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
+++ b/src/main/scala/leon/frontends/scalac/CodeExtraction.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package frontends.scalac
diff --git a/src/main/scala/leon/frontends/scalac/ExtractionPhase.scala b/src/main/scala/leon/frontends/scalac/ExtractionPhase.scala
index a88ac222a..cb771c9d2 100644
--- a/src/main/scala/leon/frontends/scalac/ExtractionPhase.scala
+++ b/src/main/scala/leon/frontends/scalac/ExtractionPhase.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package frontends.scalac
diff --git a/src/main/scala/leon/frontends/scalac/LeonExtraction.scala b/src/main/scala/leon/frontends/scalac/LeonExtraction.scala
index be0fbe8c7..075f3dc26 100644
--- a/src/main/scala/leon/frontends/scalac/LeonExtraction.scala
+++ b/src/main/scala/leon/frontends/scalac/LeonExtraction.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package frontends.scalac
diff --git a/src/main/scala/leon/frontends/scalac/ScalaCompiler.scala b/src/main/scala/leon/frontends/scalac/ScalaCompiler.scala
index 331bc0906..dfb766624 100644
--- a/src/main/scala/leon/frontends/scalac/ScalaCompiler.scala
+++ b/src/main/scala/leon/frontends/scalac/ScalaCompiler.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package frontends.scalac
diff --git a/src/main/scala/leon/frontends/scalac/SimpleReporter.scala b/src/main/scala/leon/frontends/scalac/SimpleReporter.scala
index b31cd91bb..62cf0773a 100644
--- a/src/main/scala/leon/frontends/scalac/SimpleReporter.scala
+++ b/src/main/scala/leon/frontends/scalac/SimpleReporter.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package frontends.scalac
diff --git a/src/main/scala/leon/purescala/CallGraph.scala b/src/main/scala/leon/purescala/CallGraph.scala
index da480905d..0318f8311 100644
--- a/src/main/scala/leon/purescala/CallGraph.scala
+++ b/src/main/scala/leon/purescala/CallGraph.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/Common.scala b/src/main/scala/leon/purescala/Common.scala
index ca6b4fc0f..d6fe41299 100644
--- a/src/main/scala/leon/purescala/Common.scala
+++ b/src/main/scala/leon/purescala/Common.scala
@@ -1,4 +1,5 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/CompleteAbstractDefinitions.scala b/src/main/scala/leon/purescala/CompleteAbstractDefinitions.scala
index 56c5db8ee..b4d181799 100644
--- a/src/main/scala/leon/purescala/CompleteAbstractDefinitions.scala
+++ b/src/main/scala/leon/purescala/CompleteAbstractDefinitions.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/Definitions.scala b/src/main/scala/leon/purescala/Definitions.scala
index cc399eed0..a82ff2446 100644
--- a/src/main/scala/leon/purescala/Definitions.scala
+++ b/src/main/scala/leon/purescala/Definitions.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/Extractors.scala b/src/main/scala/leon/purescala/Extractors.scala
index b5941c283..fcd088388 100644
--- a/src/main/scala/leon/purescala/Extractors.scala
+++ b/src/main/scala/leon/purescala/Extractors.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/FunctionClosure.scala b/src/main/scala/leon/purescala/FunctionClosure.scala
index bfd3b2634..f6b321365 100644
--- a/src/main/scala/leon/purescala/FunctionClosure.scala
+++ b/src/main/scala/leon/purescala/FunctionClosure.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/MethodLifting.scala b/src/main/scala/leon/purescala/MethodLifting.scala
index a09130ee0..25d717c7b 100644
--- a/src/main/scala/leon/purescala/MethodLifting.scala
+++ b/src/main/scala/leon/purescala/MethodLifting.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index f5704454d..6c73e1e63 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/PrinterOptions.scala b/src/main/scala/leon/purescala/PrinterOptions.scala
index 65c4017e0..5cbe64239 100644
--- a/src/main/scala/leon/purescala/PrinterOptions.scala
+++ b/src/main/scala/leon/purescala/PrinterOptions.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/ScalaPrinter.scala b/src/main/scala/leon/purescala/ScalaPrinter.scala
index 660c60c12..2d1202d73 100644
--- a/src/main/scala/leon/purescala/ScalaPrinter.scala
+++ b/src/main/scala/leon/purescala/ScalaPrinter.scala
@@ -1,4 +1,5 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/ScopeSimplifier.scala b/src/main/scala/leon/purescala/ScopeSimplifier.scala
index de5fdac46..c72e6c3ce 100644
--- a/src/main/scala/leon/purescala/ScopeSimplifier.scala
+++ b/src/main/scala/leon/purescala/ScopeSimplifier.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/SimplifierWithPaths.scala b/src/main/scala/leon/purescala/SimplifierWithPaths.scala
index 4f6670898..70cc667a4 100644
--- a/src/main/scala/leon/purescala/SimplifierWithPaths.scala
+++ b/src/main/scala/leon/purescala/SimplifierWithPaths.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/Transformer.scala b/src/main/scala/leon/purescala/Transformer.scala
index 54b9245b6..c623aa1dd 100644
--- a/src/main/scala/leon/purescala/Transformer.scala
+++ b/src/main/scala/leon/purescala/Transformer.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/TransformerWithPC.scala b/src/main/scala/leon/purescala/TransformerWithPC.scala
index 0551aba59..a3655aaa1 100644
--- a/src/main/scala/leon/purescala/TransformerWithPC.scala
+++ b/src/main/scala/leon/purescala/TransformerWithPC.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/TreeNormalizations.scala b/src/main/scala/leon/purescala/TreeNormalizations.scala
index 7e450b3e9..2f080d93e 100644
--- a/src/main/scala/leon/purescala/TreeNormalizations.scala
+++ b/src/main/scala/leon/purescala/TreeNormalizations.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/TreeOps.scala b/src/main/scala/leon/purescala/TreeOps.scala
index 124b163d9..233d9913b 100644
--- a/src/main/scala/leon/purescala/TreeOps.scala
+++ b/src/main/scala/leon/purescala/TreeOps.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/Trees.scala b/src/main/scala/leon/purescala/Trees.scala
index 6cdb61b81..7ff43180b 100644
--- a/src/main/scala/leon/purescala/Trees.scala
+++ b/src/main/scala/leon/purescala/Trees.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/TypeTreeOps.scala b/src/main/scala/leon/purescala/TypeTreeOps.scala
index 2c22a6e97..2068c5fa6 100644
--- a/src/main/scala/leon/purescala/TypeTreeOps.scala
+++ b/src/main/scala/leon/purescala/TypeTreeOps.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package purescala
diff --git a/src/main/scala/leon/purescala/TypeTrees.scala b/src/main/scala/leon/purescala/TypeTrees.scala
index fbf266b0c..ecab7fc07 100644
--- a/src/main/scala/leon/purescala/TypeTrees.scala
+++ b/src/main/scala/leon/purescala/TypeTrees.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package purescala
diff --git a/src/main/scala/leon/solvers/AssumptionSolver.scala b/src/main/scala/leon/solvers/AssumptionSolver.scala
index e906687be..73084bf6d 100644
--- a/src/main/scala/leon/solvers/AssumptionSolver.scala
+++ b/src/main/scala/leon/solvers/AssumptionSolver.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers
diff --git a/src/main/scala/leon/solvers/EnumerationSolver.scala b/src/main/scala/leon/solvers/EnumerationSolver.scala
index 3730fb45a..35f1ed907 100644
--- a/src/main/scala/leon/solvers/EnumerationSolver.scala
+++ b/src/main/scala/leon/solvers/EnumerationSolver.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers
diff --git a/src/main/scala/leon/solvers/IncrementalSolver.scala b/src/main/scala/leon/solvers/IncrementalSolver.scala
index 79c8d04d4..c2d407c8f 100644
--- a/src/main/scala/leon/solvers/IncrementalSolver.scala
+++ b/src/main/scala/leon/solvers/IncrementalSolver.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers
diff --git a/src/main/scala/leon/solvers/SimpleAssumptionSolverAPI.scala b/src/main/scala/leon/solvers/SimpleAssumptionSolverAPI.scala
index 0ce1eb8d2..5d7b8982a 100644
--- a/src/main/scala/leon/solvers/SimpleAssumptionSolverAPI.scala
+++ b/src/main/scala/leon/solvers/SimpleAssumptionSolverAPI.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers
diff --git a/src/main/scala/leon/solvers/SimpleSolverAPI.scala b/src/main/scala/leon/solvers/SimpleSolverAPI.scala
index 59b20f8f9..097ba58d6 100644
--- a/src/main/scala/leon/solvers/SimpleSolverAPI.scala
+++ b/src/main/scala/leon/solvers/SimpleSolverAPI.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers
diff --git a/src/main/scala/leon/solvers/Solver.scala b/src/main/scala/leon/solvers/Solver.scala
index be9b144c5..e1b430346 100644
--- a/src/main/scala/leon/solvers/Solver.scala
+++ b/src/main/scala/leon/solvers/Solver.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers
diff --git a/src/main/scala/leon/solvers/SolverFactory.scala b/src/main/scala/leon/solvers/SolverFactory.scala
index 147d681d9..44c1f4140 100644
--- a/src/main/scala/leon/solvers/SolverFactory.scala
+++ b/src/main/scala/leon/solvers/SolverFactory.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers
diff --git a/src/main/scala/leon/solvers/TimeoutAssumptionSolver.scala b/src/main/scala/leon/solvers/TimeoutAssumptionSolver.scala
index bfae8365d..958260d18 100644
--- a/src/main/scala/leon/solvers/TimeoutAssumptionSolver.scala
+++ b/src/main/scala/leon/solvers/TimeoutAssumptionSolver.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers
diff --git a/src/main/scala/leon/solvers/TimeoutSolver.scala b/src/main/scala/leon/solvers/TimeoutSolver.scala
index 1f805c3db..b4e4aece3 100644
--- a/src/main/scala/leon/solvers/TimeoutSolver.scala
+++ b/src/main/scala/leon/solvers/TimeoutSolver.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers
diff --git a/src/main/scala/leon/solvers/TimeoutSolverFactory.scala b/src/main/scala/leon/solvers/TimeoutSolverFactory.scala
index 02bf21c8a..640216967 100644
--- a/src/main/scala/leon/solvers/TimeoutSolverFactory.scala
+++ b/src/main/scala/leon/solvers/TimeoutSolverFactory.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers
diff --git a/src/main/scala/leon/solvers/combinators/DNFSolver.scala b/src/main/scala/leon/solvers/combinators/DNFSolver.scala
index 9a36612b1..c208dea23 100644
--- a/src/main/scala/leon/solvers/combinators/DNFSolver.scala
+++ b/src/main/scala/leon/solvers/combinators/DNFSolver.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers
diff --git a/src/main/scala/leon/solvers/combinators/FunctionTemplate.scala b/src/main/scala/leon/solvers/combinators/FunctionTemplate.scala
index 1bdbf4d01..820d1b963 100644
--- a/src/main/scala/leon/solvers/combinators/FunctionTemplate.scala
+++ b/src/main/scala/leon/solvers/combinators/FunctionTemplate.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers.combinators
diff --git a/src/main/scala/leon/solvers/combinators/PortfolioSolver.scala b/src/main/scala/leon/solvers/combinators/PortfolioSolver.scala
index 246ea430c..4aa880a70 100644
--- a/src/main/scala/leon/solvers/combinators/PortfolioSolver.scala
+++ b/src/main/scala/leon/solvers/combinators/PortfolioSolver.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers
diff --git a/src/main/scala/leon/solvers/combinators/RewritingSolver.scala b/src/main/scala/leon/solvers/combinators/RewritingSolver.scala
index 44e442b26..c7579ef3b 100644
--- a/src/main/scala/leon/solvers/combinators/RewritingSolver.scala
+++ b/src/main/scala/leon/solvers/combinators/RewritingSolver.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers
diff --git a/src/main/scala/leon/solvers/combinators/UnrollingSolver.scala b/src/main/scala/leon/solvers/combinators/UnrollingSolver.scala
index 7981f78e3..a77e0bd0c 100644
--- a/src/main/scala/leon/solvers/combinators/UnrollingSolver.scala
+++ b/src/main/scala/leon/solvers/combinators/UnrollingSolver.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers
diff --git a/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala b/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
index d0b52e283..35b50b8ee 100644
--- a/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
+++ b/src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers.z3
diff --git a/src/main/scala/leon/solvers/z3/FairZ3Component.scala b/src/main/scala/leon/solvers/z3/FairZ3Component.scala
index 116ce98cf..7d4e7ad03 100644
--- a/src/main/scala/leon/solvers/z3/FairZ3Component.scala
+++ b/src/main/scala/leon/solvers/z3/FairZ3Component.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers.z3
diff --git a/src/main/scala/leon/solvers/z3/FairZ3Solver.scala b/src/main/scala/leon/solvers/z3/FairZ3Solver.scala
index 0f4a77eb6..5a19411bd 100644
--- a/src/main/scala/leon/solvers/z3/FairZ3Solver.scala
+++ b/src/main/scala/leon/solvers/z3/FairZ3Solver.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers.z3
diff --git a/src/main/scala/leon/solvers/z3/FunctionTemplate.scala b/src/main/scala/leon/solvers/z3/FunctionTemplate.scala
index 9d391c326..686025374 100644
--- a/src/main/scala/leon/solvers/z3/FunctionTemplate.scala
+++ b/src/main/scala/leon/solvers/z3/FunctionTemplate.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers.z3
diff --git a/src/main/scala/leon/solvers/z3/UninterpretedZ3Solver.scala b/src/main/scala/leon/solvers/z3/UninterpretedZ3Solver.scala
index 40ccf71dd..521f181de 100644
--- a/src/main/scala/leon/solvers/z3/UninterpretedZ3Solver.scala
+++ b/src/main/scala/leon/solvers/z3/UninterpretedZ3Solver.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers.z3
diff --git a/src/main/scala/leon/solvers/z3/Z3ModelReconstruction.scala b/src/main/scala/leon/solvers/z3/Z3ModelReconstruction.scala
index 569b3a093..21f829502 100644
--- a/src/main/scala/leon/solvers/z3/Z3ModelReconstruction.scala
+++ b/src/main/scala/leon/solvers/z3/Z3ModelReconstruction.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package solvers.z3
diff --git a/src/main/scala/leon/synthesis/Algebra.scala b/src/main/scala/leon/synthesis/Algebra.scala
index 17fab2cfb..757c4c83c 100644
--- a/src/main/scala/leon/synthesis/Algebra.scala
+++ b/src/main/scala/leon/synthesis/Algebra.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.synthesis
diff --git a/src/main/scala/leon/synthesis/BoundedSearch.scala b/src/main/scala/leon/synthesis/BoundedSearch.scala
index 5f7785225..41bc86894 100644
--- a/src/main/scala/leon/synthesis/BoundedSearch.scala
+++ b/src/main/scala/leon/synthesis/BoundedSearch.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/ChooseInfo.scala b/src/main/scala/leon/synthesis/ChooseInfo.scala
index aca20208f..2295ff3dc 100644
--- a/src/main/scala/leon/synthesis/ChooseInfo.scala
+++ b/src/main/scala/leon/synthesis/ChooseInfo.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/CostModel.scala b/src/main/scala/leon/synthesis/CostModel.scala
index b4e42a0b1..75bdb7f4a 100644
--- a/src/main/scala/leon/synthesis/CostModel.scala
+++ b/src/main/scala/leon/synthesis/CostModel.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/FileInterface.scala b/src/main/scala/leon/synthesis/FileInterface.scala
index 02b5f9456..899ce89ed 100644
--- a/src/main/scala/leon/synthesis/FileInterface.scala
+++ b/src/main/scala/leon/synthesis/FileInterface.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/Heuristics.scala b/src/main/scala/leon/synthesis/Heuristics.scala
index 20bc9125a..d48e94385 100644
--- a/src/main/scala/leon/synthesis/Heuristics.scala
+++ b/src/main/scala/leon/synthesis/Heuristics.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/LinearEquations.scala b/src/main/scala/leon/synthesis/LinearEquations.scala
index 65cb7be3b..a14b936b0 100644
--- a/src/main/scala/leon/synthesis/LinearEquations.scala
+++ b/src/main/scala/leon/synthesis/LinearEquations.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/ManualSearch.scala b/src/main/scala/leon/synthesis/ManualSearch.scala
index 8e74793d6..5964eadc4 100644
--- a/src/main/scala/leon/synthesis/ManualSearch.scala
+++ b/src/main/scala/leon/synthesis/ManualSearch.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/ParallelSearch.scala b/src/main/scala/leon/synthesis/ParallelSearch.scala
index 0511dde98..e8eb0fbce 100644
--- a/src/main/scala/leon/synthesis/ParallelSearch.scala
+++ b/src/main/scala/leon/synthesis/ParallelSearch.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/Problem.scala b/src/main/scala/leon/synthesis/Problem.scala
index 57dc87a28..a227eb7c1 100644
--- a/src/main/scala/leon/synthesis/Problem.scala
+++ b/src/main/scala/leon/synthesis/Problem.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/Rules.scala b/src/main/scala/leon/synthesis/Rules.scala
index bede19443..54d53c54a 100644
--- a/src/main/scala/leon/synthesis/Rules.scala
+++ b/src/main/scala/leon/synthesis/Rules.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/SearchCostModel.scala b/src/main/scala/leon/synthesis/SearchCostModel.scala
index b183ebabf..a4b9a62d4 100644
--- a/src/main/scala/leon/synthesis/SearchCostModel.scala
+++ b/src/main/scala/leon/synthesis/SearchCostModel.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/SimpleSearch.scala b/src/main/scala/leon/synthesis/SimpleSearch.scala
index 7f5b0e850..491188cef 100644
--- a/src/main/scala/leon/synthesis/SimpleSearch.scala
+++ b/src/main/scala/leon/synthesis/SimpleSearch.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/Solution.scala b/src/main/scala/leon/synthesis/Solution.scala
index b6b68d5db..ef04d34b8 100644
--- a/src/main/scala/leon/synthesis/Solution.scala
+++ b/src/main/scala/leon/synthesis/Solution.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/SynthesisContext.scala b/src/main/scala/leon/synthesis/SynthesisContext.scala
index cd938e946..d5d01b73b 100644
--- a/src/main/scala/leon/synthesis/SynthesisContext.scala
+++ b/src/main/scala/leon/synthesis/SynthesisContext.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/SynthesisOptions.scala b/src/main/scala/leon/synthesis/SynthesisOptions.scala
index 9f867cabd..6287edbdd 100644
--- a/src/main/scala/leon/synthesis/SynthesisOptions.scala
+++ b/src/main/scala/leon/synthesis/SynthesisOptions.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/SynthesisPhase.scala b/src/main/scala/leon/synthesis/SynthesisPhase.scala
index 180b8f554..47fee50c9 100644
--- a/src/main/scala/leon/synthesis/SynthesisPhase.scala
+++ b/src/main/scala/leon/synthesis/SynthesisPhase.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/Synthesizer.scala b/src/main/scala/leon/synthesis/Synthesizer.scala
index f33071f35..11189cefc 100644
--- a/src/main/scala/leon/synthesis/Synthesizer.scala
+++ b/src/main/scala/leon/synthesis/Synthesizer.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/Task.scala b/src/main/scala/leon/synthesis/Task.scala
index deefa844e..c1f16cba4 100644
--- a/src/main/scala/leon/synthesis/Task.scala
+++ b/src/main/scala/leon/synthesis/Task.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/TaskRunRule.scala b/src/main/scala/leon/synthesis/TaskRunRule.scala
index a7f90e74f..d3b13f25b 100644
--- a/src/main/scala/leon/synthesis/TaskRunRule.scala
+++ b/src/main/scala/leon/synthesis/TaskRunRule.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/TaskTryRules.scala b/src/main/scala/leon/synthesis/TaskTryRules.scala
index fd26092cf..4511fc097 100644
--- a/src/main/scala/leon/synthesis/TaskTryRules.scala
+++ b/src/main/scala/leon/synthesis/TaskTryRules.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/condabd/Report.scala b/src/main/scala/leon/synthesis/condabd/Report.scala
old mode 100755
new mode 100644
index e8d12bc16..9efbdf379
--- a/src/main/scala/leon/synthesis/condabd/Report.scala
+++ b/src/main/scala/leon/synthesis/condabd/Report.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd
import leon.purescala.Definitions.{ TypedFunDef, ValDef, Program, ModuleDef }
diff --git a/src/main/scala/leon/synthesis/condabd/SynthesisInfo.scala b/src/main/scala/leon/synthesis/condabd/SynthesisInfo.scala
index e4825a166..e50b0a72c 100644
--- a/src/main/scala/leon/synthesis/condabd/SynthesisInfo.scala
+++ b/src/main/scala/leon/synthesis/condabd/SynthesisInfo.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd
import leon.StopwatchCollections
diff --git a/src/main/scala/leon/synthesis/condabd/SynthesizerExamples.scala b/src/main/scala/leon/synthesis/condabd/SynthesizerExamples.scala
old mode 100755
new mode 100644
index 0aec55e20..92e5bfb59
--- a/src/main/scala/leon/synthesis/condabd/SynthesizerExamples.scala
+++ b/src/main/scala/leon/synthesis/condabd/SynthesizerExamples.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd
import scala.collection.mutable.{ Map => MutableMap, Set => MutableSet }
diff --git a/src/main/scala/leon/synthesis/condabd/evaluation/CodeGenExampleRunner.scala b/src/main/scala/leon/synthesis/condabd/evaluation/CodeGenExampleRunner.scala
index aa75217d1..31fb734dc 100644
--- a/src/main/scala/leon/synthesis/condabd/evaluation/CodeGenExampleRunner.scala
+++ b/src/main/scala/leon/synthesis/condabd/evaluation/CodeGenExampleRunner.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd
package evaluation
diff --git a/src/main/scala/leon/synthesis/condabd/evaluation/DefaultExampleRunner.scala b/src/main/scala/leon/synthesis/condabd/evaluation/DefaultExampleRunner.scala
index bc33cf4e8..8c0838da0 100644
--- a/src/main/scala/leon/synthesis/condabd/evaluation/DefaultExampleRunner.scala
+++ b/src/main/scala/leon/synthesis/condabd/evaluation/DefaultExampleRunner.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd
package evaluation
diff --git a/src/main/scala/leon/synthesis/condabd/evaluation/EvaluationStrategy.scala b/src/main/scala/leon/synthesis/condabd/evaluation/EvaluationStrategy.scala
index 879c74291..f799f8f56 100644
--- a/src/main/scala/leon/synthesis/condabd/evaluation/EvaluationStrategy.scala
+++ b/src/main/scala/leon/synthesis/condabd/evaluation/EvaluationStrategy.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd
package evaluation
diff --git a/src/main/scala/leon/synthesis/condabd/evaluation/ExampleRunner.scala b/src/main/scala/leon/synthesis/condabd/evaluation/ExampleRunner.scala
index b57e1bd07..d67e3d995 100644
--- a/src/main/scala/leon/synthesis/condabd/evaluation/ExampleRunner.scala
+++ b/src/main/scala/leon/synthesis/condabd/evaluation/ExampleRunner.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd
package evaluation
diff --git a/src/main/scala/leon/synthesis/condabd/examples/Example.scala b/src/main/scala/leon/synthesis/condabd/examples/Example.scala
index 2a9abdb5f..86be74f69 100644
--- a/src/main/scala/leon/synthesis/condabd/examples/Example.scala
+++ b/src/main/scala/leon/synthesis/condabd/examples/Example.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd
package examples
diff --git a/src/main/scala/leon/synthesis/condabd/examples/InputExamples.scala b/src/main/scala/leon/synthesis/condabd/examples/InputExamples.scala
old mode 100755
new mode 100644
index 01c6d69cd..dbda0fe80
--- a/src/main/scala/leon/synthesis/condabd/examples/InputExamples.scala
+++ b/src/main/scala/leon/synthesis/condabd/examples/InputExamples.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd
package examples
diff --git a/src/main/scala/leon/synthesis/condabd/insynth/InSynth.scala b/src/main/scala/leon/synthesis/condabd/insynth/InSynth.scala
index 5dea8c9a8..8e27e2628 100644
--- a/src/main/scala/leon/synthesis/condabd/insynth/InSynth.scala
+++ b/src/main/scala/leon/synthesis/condabd/insynth/InSynth.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd.insynth
import reconstruction.codegen.CodeGenerator
diff --git a/src/main/scala/leon/synthesis/condabd/insynth/leon/CommonTypes.scala b/src/main/scala/leon/synthesis/condabd/insynth/leon/CommonTypes.scala
index f579f3f19..7d144e04a 100644
--- a/src/main/scala/leon/synthesis/condabd/insynth/leon/CommonTypes.scala
+++ b/src/main/scala/leon/synthesis/condabd/insynth/leon/CommonTypes.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd.insynth.leon
import insynth.structures.{ SuccinctType, Const, Arrow, TSet }
diff --git a/src/main/scala/leon/synthesis/condabd/insynth/leon/DomainTypeTransformer.scala b/src/main/scala/leon/synthesis/condabd/insynth/leon/DomainTypeTransformer.scala
index 78e6e77fd..b1e48f05b 100644
--- a/src/main/scala/leon/synthesis/condabd/insynth/leon/DomainTypeTransformer.scala
+++ b/src/main/scala/leon/synthesis/condabd/insynth/leon/DomainTypeTransformer.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd.insynth.leon
import insynth.structures._
diff --git a/src/main/scala/leon/synthesis/condabd/insynth/leon/LeonDeclaration.scala b/src/main/scala/leon/synthesis/condabd/insynth/leon/LeonDeclaration.scala
index ec910fcc0..c8ad8f4ec 100644
--- a/src/main/scala/leon/synthesis/condabd/insynth/leon/LeonDeclaration.scala
+++ b/src/main/scala/leon/synthesis/condabd/insynth/leon/LeonDeclaration.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd.insynth.leon
import insynth.structures.SuccinctType
diff --git a/src/main/scala/leon/synthesis/condabd/insynth/leon/ReconstructionExpression.scala b/src/main/scala/leon/synthesis/condabd/insynth/leon/ReconstructionExpression.scala
index 67db5ee32..ae62251a9 100644
--- a/src/main/scala/leon/synthesis/condabd/insynth/leon/ReconstructionExpression.scala
+++ b/src/main/scala/leon/synthesis/condabd/insynth/leon/ReconstructionExpression.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd.insynth.leon
import leon.purescala.TypeTrees.{ TypeTree => LeonType }
diff --git a/src/main/scala/leon/synthesis/condabd/insynth/leon/TypeTransformer.scala b/src/main/scala/leon/synthesis/condabd/insynth/leon/TypeTransformer.scala
index 18332e270..eb9251609 100644
--- a/src/main/scala/leon/synthesis/condabd/insynth/leon/TypeTransformer.scala
+++ b/src/main/scala/leon/synthesis/condabd/insynth/leon/TypeTransformer.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd.insynth.leon
import insynth.structures._
diff --git a/src/main/scala/leon/synthesis/condabd/insynth/leon/loader/DeclarationFactory.scala b/src/main/scala/leon/synthesis/condabd/insynth/leon/loader/DeclarationFactory.scala
index d6fd85926..dc83ac1ff 100644
--- a/src/main/scala/leon/synthesis/condabd/insynth/leon/loader/DeclarationFactory.scala
+++ b/src/main/scala/leon/synthesis/condabd/insynth/leon/loader/DeclarationFactory.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd.insynth.leon.loader
import leon.synthesis.condabd.insynth.leon.{ LeonDeclaration => Declaration, _ }
diff --git a/src/main/scala/leon/synthesis/condabd/insynth/leon/loader/LoadSpec.scala b/src/main/scala/leon/synthesis/condabd/insynth/leon/loader/LoadSpec.scala
index 2bd618183..53f8c9b5e 100644
--- a/src/main/scala/leon/synthesis/condabd/insynth/leon/loader/LoadSpec.scala
+++ b/src/main/scala/leon/synthesis/condabd/insynth/leon/loader/LoadSpec.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd.insynth.leon.loader
/** defines what to load in the PreLoader */
diff --git a/src/main/scala/leon/synthesis/condabd/insynth/leon/loader/Loader.scala b/src/main/scala/leon/synthesis/condabd/insynth/leon/loader/Loader.scala
index 80fd42722..65c207cef 100644
--- a/src/main/scala/leon/synthesis/condabd/insynth/leon/loader/Loader.scala
+++ b/src/main/scala/leon/synthesis/condabd/insynth/leon/loader/Loader.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd.insynth.leon.loader
import leon.synthesis.condabd.insynth.leon.{ LeonDeclaration => Declaration, NaryReconstructionExpression, ImmediateExpression, UnaryReconstructionExpression }
diff --git a/src/main/scala/leon/synthesis/condabd/insynth/leon/loader/PreLoader.scala b/src/main/scala/leon/synthesis/condabd/insynth/leon/loader/PreLoader.scala
index 7b92e5f7b..e3abe2f00 100644
--- a/src/main/scala/leon/synthesis/condabd/insynth/leon/loader/PreLoader.scala
+++ b/src/main/scala/leon/synthesis/condabd/insynth/leon/loader/PreLoader.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd.insynth.leon.loader
import leon.synthesis.condabd.insynth.leon.{
diff --git a/src/main/scala/leon/synthesis/condabd/insynth/leon/query/LeonQuery.scala b/src/main/scala/leon/synthesis/condabd/insynth/leon/query/LeonQuery.scala
index f2947b60c..63833f57f 100644
--- a/src/main/scala/leon/synthesis/condabd/insynth/leon/query/LeonQuery.scala
+++ b/src/main/scala/leon/synthesis/condabd/insynth/leon/query/LeonQuery.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd.insynth.leon
package query
diff --git a/src/main/scala/leon/synthesis/condabd/insynth/leon/query/LeonQueryBuilder.scala b/src/main/scala/leon/synthesis/condabd/insynth/leon/query/LeonQueryBuilder.scala
index 177240b41..1105f354d 100644
--- a/src/main/scala/leon/synthesis/condabd/insynth/leon/query/LeonQueryBuilder.scala
+++ b/src/main/scala/leon/synthesis/condabd/insynth/leon/query/LeonQueryBuilder.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd.insynth.leon
package query
diff --git a/src/main/scala/leon/synthesis/condabd/insynth/reconstruction/Output.scala b/src/main/scala/leon/synthesis/condabd/insynth/reconstruction/Output.scala
index d4929d82b..9c688c255 100644
--- a/src/main/scala/leon/synthesis/condabd/insynth/reconstruction/Output.scala
+++ b/src/main/scala/leon/synthesis/condabd/insynth/reconstruction/Output.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd.insynth.reconstruction
import insynth.structures.Weight._
diff --git a/src/main/scala/leon/synthesis/condabd/insynth/reconstruction/Reconstructor.scala b/src/main/scala/leon/synthesis/condabd/insynth/reconstruction/Reconstructor.scala
index 389d50788..67058cd93 100644
--- a/src/main/scala/leon/synthesis/condabd/insynth/reconstruction/Reconstructor.scala
+++ b/src/main/scala/leon/synthesis/condabd/insynth/reconstruction/Reconstructor.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd.insynth.reconstruction
import insynth.structures.{ SimpleNode, Weight }
diff --git a/src/main/scala/leon/synthesis/condabd/insynth/reconstruction/codegen/CodeGenerator.scala b/src/main/scala/leon/synthesis/condabd/insynth/reconstruction/codegen/CodeGenerator.scala
index 0342dcc0d..3b2b67036 100644
--- a/src/main/scala/leon/synthesis/condabd/insynth/reconstruction/codegen/CodeGenerator.scala
+++ b/src/main/scala/leon/synthesis/condabd/insynth/reconstruction/codegen/CodeGenerator.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package synthesis.condabd.insynth
package reconstruction.codegen
diff --git a/src/main/scala/leon/synthesis/condabd/ranking/Candidate.scala b/src/main/scala/leon/synthesis/condabd/ranking/Candidate.scala
index 0bdede644..1339717ca 100644
--- a/src/main/scala/leon/synthesis/condabd/ranking/Candidate.scala
+++ b/src/main/scala/leon/synthesis/condabd/ranking/Candidate.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd
package ranking
diff --git a/src/main/scala/leon/synthesis/condabd/ranking/Evaluation.scala b/src/main/scala/leon/synthesis/condabd/ranking/Evaluation.scala
index 88472e33d..1c9d53e67 100644
--- a/src/main/scala/leon/synthesis/condabd/ranking/Evaluation.scala
+++ b/src/main/scala/leon/synthesis/condabd/ranking/Evaluation.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd
package ranking
diff --git a/src/main/scala/leon/synthesis/condabd/ranking/Ranker.scala b/src/main/scala/leon/synthesis/condabd/ranking/Ranker.scala
index 3654b69e7..030aabae8 100644
--- a/src/main/scala/leon/synthesis/condabd/ranking/Ranker.scala
+++ b/src/main/scala/leon/synthesis/condabd/ranking/Ranker.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd
package ranking
diff --git a/src/main/scala/leon/synthesis/condabd/refinement/Filter.scala b/src/main/scala/leon/synthesis/condabd/refinement/Filter.scala
old mode 100755
new mode 100644
index 125944e63..d7034b062
--- a/src/main/scala/leon/synthesis/condabd/refinement/Filter.scala
+++ b/src/main/scala/leon/synthesis/condabd/refinement/Filter.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis
package condabd.refinement
diff --git a/src/main/scala/leon/synthesis/condabd/refinement/VariableRefiner.scala b/src/main/scala/leon/synthesis/condabd/refinement/VariableRefiner.scala
old mode 100755
new mode 100644
index e47b82d97..87b4d30b8
--- a/src/main/scala/leon/synthesis/condabd/refinement/VariableRefiner.scala
+++ b/src/main/scala/leon/synthesis/condabd/refinement/VariableRefiner.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd
package refinement
diff --git a/src/main/scala/leon/synthesis/condabd/refinement/VariableRefinerCompose.scala b/src/main/scala/leon/synthesis/condabd/refinement/VariableRefinerCompose.scala
old mode 100755
new mode 100644
index 440770317..0f02aedd1
--- a/src/main/scala/leon/synthesis/condabd/refinement/VariableRefinerCompose.scala
+++ b/src/main/scala/leon/synthesis/condabd/refinement/VariableRefinerCompose.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd
package refinement
diff --git a/src/main/scala/leon/synthesis/condabd/refinement/VariableRefinerExecution.scala b/src/main/scala/leon/synthesis/condabd/refinement/VariableRefinerExecution.scala
old mode 100755
new mode 100644
index 7511e044d..d41f1428c
--- a/src/main/scala/leon/synthesis/condabd/refinement/VariableRefinerExecution.scala
+++ b/src/main/scala/leon/synthesis/condabd/refinement/VariableRefinerExecution.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package synthesis.condabd
package refinement
diff --git a/src/main/scala/leon/synthesis/condabd/refinement/VariableRefinerStructure.scala b/src/main/scala/leon/synthesis/condabd/refinement/VariableRefinerStructure.scala
old mode 100755
new mode 100644
index b3a442a72..22ab471e6
--- a/src/main/scala/leon/synthesis/condabd/refinement/VariableRefinerStructure.scala
+++ b/src/main/scala/leon/synthesis/condabd/refinement/VariableRefinerStructure.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd
package refinement
diff --git a/src/main/scala/leon/synthesis/condabd/refinement/VariableSolverRefiner.scala b/src/main/scala/leon/synthesis/condabd/refinement/VariableSolverRefiner.scala
old mode 100755
new mode 100644
index 73406a3ed..a32264395
--- a/src/main/scala/leon/synthesis/condabd/refinement/VariableSolverRefiner.scala
+++ b/src/main/scala/leon/synthesis/condabd/refinement/VariableSolverRefiner.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package synthesis.condabd
package refinement
diff --git a/src/main/scala/leon/synthesis/condabd/rules/ConditionAbductionSynthesisTwoPhase.scala b/src/main/scala/leon/synthesis/condabd/rules/ConditionAbductionSynthesisTwoPhase.scala
old mode 100755
new mode 100644
index 29178fcfe..534b99d74
--- a/src/main/scala/leon/synthesis/condabd/rules/ConditionAbductionSynthesisTwoPhase.scala
+++ b/src/main/scala/leon/synthesis/condabd/rules/ConditionAbductionSynthesisTwoPhase.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.synthesis.condabd
package rules
diff --git a/src/main/scala/leon/synthesis/condabd/verification/AbstractVerifier.scala b/src/main/scala/leon/synthesis/condabd/verification/AbstractVerifier.scala
index ddf1671ad..ffcfe66c5 100644
--- a/src/main/scala/leon/synthesis/condabd/verification/AbstractVerifier.scala
+++ b/src/main/scala/leon/synthesis/condabd/verification/AbstractVerifier.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package synthesis
package condabd
diff --git a/src/main/scala/leon/synthesis/condabd/verification/RelaxedVerifier.scala b/src/main/scala/leon/synthesis/condabd/verification/RelaxedVerifier.scala
index 2b3820915..d8be887b4 100644
--- a/src/main/scala/leon/synthesis/condabd/verification/RelaxedVerifier.scala
+++ b/src/main/scala/leon/synthesis/condabd/verification/RelaxedVerifier.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package synthesis
package condabd
diff --git a/src/main/scala/leon/synthesis/condabd/verification/Verifier.scala b/src/main/scala/leon/synthesis/condabd/verification/Verifier.scala
index 54ff32154..f3bde5039 100644
--- a/src/main/scala/leon/synthesis/condabd/verification/Verifier.scala
+++ b/src/main/scala/leon/synthesis/condabd/verification/Verifier.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package synthesis
package condabd
diff --git a/src/main/scala/leon/synthesis/heuristics/ADTInduction.scala b/src/main/scala/leon/synthesis/heuristics/ADTInduction.scala
index 1d858e9bc..f3136fbbb 100644
--- a/src/main/scala/leon/synthesis/heuristics/ADTInduction.scala
+++ b/src/main/scala/leon/synthesis/heuristics/ADTInduction.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/heuristics/ADTLongInduction.scala b/src/main/scala/leon/synthesis/heuristics/ADTLongInduction.scala
index aa70b9ec1..5ab3f672b 100644
--- a/src/main/scala/leon/synthesis/heuristics/ADTLongInduction.scala
+++ b/src/main/scala/leon/synthesis/heuristics/ADTLongInduction.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/heuristics/InnerCaseSplit.scala b/src/main/scala/leon/synthesis/heuristics/InnerCaseSplit.scala
index 1f087f1cc..36a1e11c7 100644
--- a/src/main/scala/leon/synthesis/heuristics/InnerCaseSplit.scala
+++ b/src/main/scala/leon/synthesis/heuristics/InnerCaseSplit.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/heuristics/IntInduction.scala b/src/main/scala/leon/synthesis/heuristics/IntInduction.scala
index 9761fe7ae..ac01105b4 100644
--- a/src/main/scala/leon/synthesis/heuristics/IntInduction.scala
+++ b/src/main/scala/leon/synthesis/heuristics/IntInduction.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/heuristics/OptimisticInjection.scala b/src/main/scala/leon/synthesis/heuristics/OptimisticInjection.scala
index da7ccb3b9..e33c3eee3 100644
--- a/src/main/scala/leon/synthesis/heuristics/OptimisticInjection.scala
+++ b/src/main/scala/leon/synthesis/heuristics/OptimisticInjection.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/heuristics/SelectiveInlining.scala b/src/main/scala/leon/synthesis/heuristics/SelectiveInlining.scala
index 255095bfe..3de094c8c 100644
--- a/src/main/scala/leon/synthesis/heuristics/SelectiveInlining.scala
+++ b/src/main/scala/leon/synthesis/heuristics/SelectiveInlining.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/package.scala b/src/main/scala/leon/synthesis/package.scala
index 6e41da4a0..8ad967473 100644
--- a/src/main/scala/leon/synthesis/package.scala
+++ b/src/main/scala/leon/synthesis/package.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
diff --git a/src/main/scala/leon/synthesis/rules/ADTDual.scala b/src/main/scala/leon/synthesis/rules/ADTDual.scala
index e871521b4..b1d0cf480 100644
--- a/src/main/scala/leon/synthesis/rules/ADTDual.scala
+++ b/src/main/scala/leon/synthesis/rules/ADTDual.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/ADTSplit.scala b/src/main/scala/leon/synthesis/rules/ADTSplit.scala
index cdc147b02..bd8d5ac7e 100644
--- a/src/main/scala/leon/synthesis/rules/ADTSplit.scala
+++ b/src/main/scala/leon/synthesis/rules/ADTSplit.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/AsChoose.scala b/src/main/scala/leon/synthesis/rules/AsChoose.scala
index e7b1986bd..5aefa03dc 100644
--- a/src/main/scala/leon/synthesis/rules/AsChoose.scala
+++ b/src/main/scala/leon/synthesis/rules/AsChoose.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/Assert.scala b/src/main/scala/leon/synthesis/rules/Assert.scala
index 51afa91d6..63042a3a9 100644
--- a/src/main/scala/leon/synthesis/rules/Assert.scala
+++ b/src/main/scala/leon/synthesis/rules/Assert.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/CaseSplit.scala b/src/main/scala/leon/synthesis/rules/CaseSplit.scala
index bd2a859e5..6b32b3f7f 100644
--- a/src/main/scala/leon/synthesis/rules/CaseSplit.scala
+++ b/src/main/scala/leon/synthesis/rules/CaseSplit.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/Cegis.scala b/src/main/scala/leon/synthesis/rules/Cegis.scala
index 2638bd391..4cd54bf9e 100644
--- a/src/main/scala/leon/synthesis/rules/Cegis.scala
+++ b/src/main/scala/leon/synthesis/rules/Cegis.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/DetupleInput.scala b/src/main/scala/leon/synthesis/rules/DetupleInput.scala
index 008968e44..ecf0774d6 100644
--- a/src/main/scala/leon/synthesis/rules/DetupleInput.scala
+++ b/src/main/scala/leon/synthesis/rules/DetupleInput.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/DetupleOutput.scala b/src/main/scala/leon/synthesis/rules/DetupleOutput.scala
index de4aa1809..a042753a6 100644
--- a/src/main/scala/leon/synthesis/rules/DetupleOutput.scala
+++ b/src/main/scala/leon/synthesis/rules/DetupleOutput.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/Disunification.scala b/src/main/scala/leon/synthesis/rules/Disunification.scala
index 9c8ecada3..b30a6d32a 100644
--- a/src/main/scala/leon/synthesis/rules/Disunification.scala
+++ b/src/main/scala/leon/synthesis/rules/Disunification.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/EqualitySplit.scala b/src/main/scala/leon/synthesis/rules/EqualitySplit.scala
index 6e867ce1d..9e4f2436f 100644
--- a/src/main/scala/leon/synthesis/rules/EqualitySplit.scala
+++ b/src/main/scala/leon/synthesis/rules/EqualitySplit.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/Ground.scala b/src/main/scala/leon/synthesis/rules/Ground.scala
index da7c0d651..9bfcd0383 100644
--- a/src/main/scala/leon/synthesis/rules/Ground.scala
+++ b/src/main/scala/leon/synthesis/rules/Ground.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/InequalitySplit.scala b/src/main/scala/leon/synthesis/rules/InequalitySplit.scala
index b64dc5335..688626a09 100644
--- a/src/main/scala/leon/synthesis/rules/InequalitySplit.scala
+++ b/src/main/scala/leon/synthesis/rules/InequalitySplit.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/IntegerEquation.scala b/src/main/scala/leon/synthesis/rules/IntegerEquation.scala
index b05db6949..965da8842 100644
--- a/src/main/scala/leon/synthesis/rules/IntegerEquation.scala
+++ b/src/main/scala/leon/synthesis/rules/IntegerEquation.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/IntegerInequalities.scala b/src/main/scala/leon/synthesis/rules/IntegerInequalities.scala
index 9534a1c9e..d7dc070b7 100644
--- a/src/main/scala/leon/synthesis/rules/IntegerInequalities.scala
+++ b/src/main/scala/leon/synthesis/rules/IntegerInequalities.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/OnePoint.scala b/src/main/scala/leon/synthesis/rules/OnePoint.scala
index d372a21d4..df0e4965f 100644
--- a/src/main/scala/leon/synthesis/rules/OnePoint.scala
+++ b/src/main/scala/leon/synthesis/rules/OnePoint.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/OptimisticGround.scala b/src/main/scala/leon/synthesis/rules/OptimisticGround.scala
index 3e2fcfcca..f5cdb08ac 100644
--- a/src/main/scala/leon/synthesis/rules/OptimisticGround.scala
+++ b/src/main/scala/leon/synthesis/rules/OptimisticGround.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/UnconstrainedOutput.scala b/src/main/scala/leon/synthesis/rules/UnconstrainedOutput.scala
index 9584311f7..17080def2 100644
--- a/src/main/scala/leon/synthesis/rules/UnconstrainedOutput.scala
+++ b/src/main/scala/leon/synthesis/rules/UnconstrainedOutput.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/Unification.scala b/src/main/scala/leon/synthesis/rules/Unification.scala
index bce329f13..87597e4a0 100644
--- a/src/main/scala/leon/synthesis/rules/Unification.scala
+++ b/src/main/scala/leon/synthesis/rules/Unification.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/rules/UnusedInput.scala b/src/main/scala/leon/synthesis/rules/UnusedInput.scala
index 56b869f50..8b2320fd7 100644
--- a/src/main/scala/leon/synthesis/rules/UnusedInput.scala
+++ b/src/main/scala/leon/synthesis/rules/UnusedInput.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/synthesis/search/AndOrGraph.scala b/src/main/scala/leon/synthesis/search/AndOrGraph.scala
index a6e3e19ac..ef0ef1af9 100644
--- a/src/main/scala/leon/synthesis/search/AndOrGraph.scala
+++ b/src/main/scala/leon/synthesis/search/AndOrGraph.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.synthesis.search
diff --git a/src/main/scala/leon/synthesis/search/AndOrGraphDotConverter.scala b/src/main/scala/leon/synthesis/search/AndOrGraphDotConverter.scala
index 6290f5c17..5f180d3d2 100644
--- a/src/main/scala/leon/synthesis/search/AndOrGraphDotConverter.scala
+++ b/src/main/scala/leon/synthesis/search/AndOrGraphDotConverter.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.synthesis.search
diff --git a/src/main/scala/leon/synthesis/search/AndOrGraphParallelSearch.scala b/src/main/scala/leon/synthesis/search/AndOrGraphParallelSearch.scala
index 63ecfbafa..f486d385d 100644
--- a/src/main/scala/leon/synthesis/search/AndOrGraphParallelSearch.scala
+++ b/src/main/scala/leon/synthesis/search/AndOrGraphParallelSearch.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.synthesis.search
diff --git a/src/main/scala/leon/synthesis/search/AndOrGraphPartialSolution.scala b/src/main/scala/leon/synthesis/search/AndOrGraphPartialSolution.scala
index beda712ac..9d13444ed 100644
--- a/src/main/scala/leon/synthesis/search/AndOrGraphPartialSolution.scala
+++ b/src/main/scala/leon/synthesis/search/AndOrGraphPartialSolution.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.synthesis.search
diff --git a/src/main/scala/leon/synthesis/search/AndOrGraphSearch.scala b/src/main/scala/leon/synthesis/search/AndOrGraphSearch.scala
index 2693f41af..7453fe5c0 100644
--- a/src/main/scala/leon/synthesis/search/AndOrGraphSearch.scala
+++ b/src/main/scala/leon/synthesis/search/AndOrGraphSearch.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.synthesis.search
diff --git a/src/main/scala/leon/synthesis/search/Cost.scala b/src/main/scala/leon/synthesis/search/Cost.scala
index 5f7ce459f..140ec6ba8 100644
--- a/src/main/scala/leon/synthesis/search/Cost.scala
+++ b/src/main/scala/leon/synthesis/search/Cost.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.synthesis.search
diff --git a/src/main/scala/leon/synthesis/utils/SynthesisProblemExtractionPhase.scala b/src/main/scala/leon/synthesis/utils/SynthesisProblemExtractionPhase.scala
index 8af8a4564..95dd54157 100644
--- a/src/main/scala/leon/synthesis/utils/SynthesisProblemExtractionPhase.scala
+++ b/src/main/scala/leon/synthesis/utils/SynthesisProblemExtractionPhase.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package synthesis
diff --git a/src/main/scala/leon/termination/ChainBuilder.scala b/src/main/scala/leon/termination/ChainBuilder.scala
index d028c8ab8..b6806f45c 100644
--- a/src/main/scala/leon/termination/ChainBuilder.scala
+++ b/src/main/scala/leon/termination/ChainBuilder.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package termination
diff --git a/src/main/scala/leon/termination/ChainComparator.scala b/src/main/scala/leon/termination/ChainComparator.scala
index b6720b6aa..376943e7c 100644
--- a/src/main/scala/leon/termination/ChainComparator.scala
+++ b/src/main/scala/leon/termination/ChainComparator.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package termination
diff --git a/src/main/scala/leon/termination/ChainProcessor.scala b/src/main/scala/leon/termination/ChainProcessor.scala
index 1b5dd961c..3b640b1de 100644
--- a/src/main/scala/leon/termination/ChainProcessor.scala
+++ b/src/main/scala/leon/termination/ChainProcessor.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package termination
diff --git a/src/main/scala/leon/termination/ComplexTerminationChecker.scala b/src/main/scala/leon/termination/ComplexTerminationChecker.scala
index f1ea8cda3..c9815cb5a 100644
--- a/src/main/scala/leon/termination/ComplexTerminationChecker.scala
+++ b/src/main/scala/leon/termination/ComplexTerminationChecker.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package termination
diff --git a/src/main/scala/leon/termination/ComponentBuilder.scala b/src/main/scala/leon/termination/ComponentBuilder.scala
index b70ea455d..ea65f5d7b 100644
--- a/src/main/scala/leon/termination/ComponentBuilder.scala
+++ b/src/main/scala/leon/termination/ComponentBuilder.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package termination
diff --git a/src/main/scala/leon/termination/ComponentProcessor.scala b/src/main/scala/leon/termination/ComponentProcessor.scala
index b3782b2ae..232368ea2 100644
--- a/src/main/scala/leon/termination/ComponentProcessor.scala
+++ b/src/main/scala/leon/termination/ComponentProcessor.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package termination
diff --git a/src/main/scala/leon/termination/LoopProcessor.scala b/src/main/scala/leon/termination/LoopProcessor.scala
index 3397f588f..1d30ceca8 100644
--- a/src/main/scala/leon/termination/LoopProcessor.scala
+++ b/src/main/scala/leon/termination/LoopProcessor.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package termination
diff --git a/src/main/scala/leon/termination/Processor.scala b/src/main/scala/leon/termination/Processor.scala
index ffeb4fab9..dab5cf346 100644
--- a/src/main/scala/leon/termination/Processor.scala
+++ b/src/main/scala/leon/termination/Processor.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package termination
diff --git a/src/main/scala/leon/termination/RecursionProcessor.scala b/src/main/scala/leon/termination/RecursionProcessor.scala
index bf8d13b79..f7bf287b1 100644
--- a/src/main/scala/leon/termination/RecursionProcessor.scala
+++ b/src/main/scala/leon/termination/RecursionProcessor.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package termination
diff --git a/src/main/scala/leon/termination/RelationBuilder.scala b/src/main/scala/leon/termination/RelationBuilder.scala
index a5e75a622..1eab5be8c 100644
--- a/src/main/scala/leon/termination/RelationBuilder.scala
+++ b/src/main/scala/leon/termination/RelationBuilder.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package termination
diff --git a/src/main/scala/leon/termination/RelationComparator.scala b/src/main/scala/leon/termination/RelationComparator.scala
index 213301275..c54ed7d05 100644
--- a/src/main/scala/leon/termination/RelationComparator.scala
+++ b/src/main/scala/leon/termination/RelationComparator.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package termination
diff --git a/src/main/scala/leon/termination/RelationProcessor.scala b/src/main/scala/leon/termination/RelationProcessor.scala
index 3560a4b26..44fb0c8f5 100644
--- a/src/main/scala/leon/termination/RelationProcessor.scala
+++ b/src/main/scala/leon/termination/RelationProcessor.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package termination
diff --git a/src/main/scala/leon/termination/SCC.scala b/src/main/scala/leon/termination/SCC.scala
index 201d55d96..0188a4cab 100644
--- a/src/main/scala/leon/termination/SCC.scala
+++ b/src/main/scala/leon/termination/SCC.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package termination
diff --git a/src/main/scala/leon/termination/SimpleTerminationChecker.scala b/src/main/scala/leon/termination/SimpleTerminationChecker.scala
index 97005e2e3..e87e3adf6 100644
--- a/src/main/scala/leon/termination/SimpleTerminationChecker.scala
+++ b/src/main/scala/leon/termination/SimpleTerminationChecker.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package termination
diff --git a/src/main/scala/leon/termination/StructuralSize.scala b/src/main/scala/leon/termination/StructuralSize.scala
index 744dbf589..9c0b058a7 100644
--- a/src/main/scala/leon/termination/StructuralSize.scala
+++ b/src/main/scala/leon/termination/StructuralSize.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package termination
diff --git a/src/main/scala/leon/termination/TerminationChecker.scala b/src/main/scala/leon/termination/TerminationChecker.scala
index 0b4d7878b..41c46e07b 100644
--- a/src/main/scala/leon/termination/TerminationChecker.scala
+++ b/src/main/scala/leon/termination/TerminationChecker.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package termination
diff --git a/src/main/scala/leon/termination/TerminationPhase.scala b/src/main/scala/leon/termination/TerminationPhase.scala
index 1d76f388f..727f9dda4 100644
--- a/src/main/scala/leon/termination/TerminationPhase.scala
+++ b/src/main/scala/leon/termination/TerminationPhase.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package termination
diff --git a/src/main/scala/leon/termination/TerminationReport.scala b/src/main/scala/leon/termination/TerminationReport.scala
index e38e8fa70..12dfa4757 100644
--- a/src/main/scala/leon/termination/TerminationReport.scala
+++ b/src/main/scala/leon/termination/TerminationReport.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package termination
diff --git a/src/main/scala/leon/utils/DebugSections.scala b/src/main/scala/leon/utils/DebugSections.scala
index b399a19d9..394df76ca 100644
--- a/src/main/scala/leon/utils/DebugSections.scala
+++ b/src/main/scala/leon/utils/DebugSections.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package utils
diff --git a/src/main/scala/leon/utils/InterruptManager.scala b/src/main/scala/leon/utils/InterruptManager.scala
index 04775cbc7..1aa19f9a4 100644
--- a/src/main/scala/leon/utils/InterruptManager.scala
+++ b/src/main/scala/leon/utils/InterruptManager.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package utils
diff --git a/src/main/scala/leon/utils/Interruptible.scala b/src/main/scala/leon/utils/Interruptible.scala
index b81e64ed8..4e049451e 100644
--- a/src/main/scala/leon/utils/Interruptible.scala
+++ b/src/main/scala/leon/utils/Interruptible.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package utils
diff --git a/src/main/scala/leon/utils/Positions.scala b/src/main/scala/leon/utils/Positions.scala
index 1f7eea6ca..a18d721c1 100644
--- a/src/main/scala/leon/utils/Positions.scala
+++ b/src/main/scala/leon/utils/Positions.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package utils
diff --git a/src/main/scala/leon/utils/SubtypingPhase.scala b/src/main/scala/leon/utils/SubtypingPhase.scala
index f5a29f106..35729c85b 100644
--- a/src/main/scala/leon/utils/SubtypingPhase.scala
+++ b/src/main/scala/leon/utils/SubtypingPhase.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package utils
diff --git a/src/main/scala/leon/utils/TemporaryInputPhase.scala b/src/main/scala/leon/utils/TemporaryInputPhase.scala
index 9d77ad415..b5c5f18b1 100644
--- a/src/main/scala/leon/utils/TemporaryInputPhase.scala
+++ b/src/main/scala/leon/utils/TemporaryInputPhase.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package utils
diff --git a/src/main/scala/leon/utils/Timer.scala b/src/main/scala/leon/utils/Timer.scala
index 853ae298d..8dc3c54c3 100644
--- a/src/main/scala/leon/utils/Timer.scala
+++ b/src/main/scala/leon/utils/Timer.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package utils
diff --git a/src/main/scala/leon/utils/UnitElimination.scala b/src/main/scala/leon/utils/UnitElimination.scala
index 880eed323..4887bb18f 100644
--- a/src/main/scala/leon/utils/UnitElimination.scala
+++ b/src/main/scala/leon/utils/UnitElimination.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package utils
diff --git a/src/main/scala/leon/verification/AnalysisPhase.scala b/src/main/scala/leon/verification/AnalysisPhase.scala
index aa24c61b0..7b1a1bea3 100644
--- a/src/main/scala/leon/verification/AnalysisPhase.scala
+++ b/src/main/scala/leon/verification/AnalysisPhase.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package verification
diff --git a/src/main/scala/leon/verification/DefaultTactic.scala b/src/main/scala/leon/verification/DefaultTactic.scala
index 32bf4a452..cd7cd2d68 100644
--- a/src/main/scala/leon/verification/DefaultTactic.scala
+++ b/src/main/scala/leon/verification/DefaultTactic.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package verification
diff --git a/src/main/scala/leon/verification/InductionTactic.scala b/src/main/scala/leon/verification/InductionTactic.scala
index de8ea17e5..df08846ca 100644
--- a/src/main/scala/leon/verification/InductionTactic.scala
+++ b/src/main/scala/leon/verification/InductionTactic.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package verification
diff --git a/src/main/scala/leon/verification/Tactic.scala b/src/main/scala/leon/verification/Tactic.scala
index dc31d71e1..5fe88ffad 100644
--- a/src/main/scala/leon/verification/Tactic.scala
+++ b/src/main/scala/leon/verification/Tactic.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package verification
diff --git a/src/main/scala/leon/verification/VerificationCondition.scala b/src/main/scala/leon/verification/VerificationCondition.scala
index 660c46309..204f498b4 100644
--- a/src/main/scala/leon/verification/VerificationCondition.scala
+++ b/src/main/scala/leon/verification/VerificationCondition.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.verification
diff --git a/src/main/scala/leon/verification/VerificationContext.scala b/src/main/scala/leon/verification/VerificationContext.scala
index 50d3012ea..c28f2ca39 100644
--- a/src/main/scala/leon/verification/VerificationContext.scala
+++ b/src/main/scala/leon/verification/VerificationContext.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package verification
diff --git a/src/main/scala/leon/verification/VerificationReport.scala b/src/main/scala/leon/verification/VerificationReport.scala
index a40320ef2..9827c72bd 100644
--- a/src/main/scala/leon/verification/VerificationReport.scala
+++ b/src/main/scala/leon/verification/VerificationReport.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package verification
diff --git a/src/main/scala/leon/xlang/ArrayTransformation.scala b/src/main/scala/leon/xlang/ArrayTransformation.scala
index ac9e655a2..0625936a9 100644
--- a/src/main/scala/leon/xlang/ArrayTransformation.scala
+++ b/src/main/scala/leon/xlang/ArrayTransformation.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.xlang
diff --git a/src/main/scala/leon/xlang/EpsilonElimination.scala b/src/main/scala/leon/xlang/EpsilonElimination.scala
index 771dfd022..7aa27b317 100644
--- a/src/main/scala/leon/xlang/EpsilonElimination.scala
+++ b/src/main/scala/leon/xlang/EpsilonElimination.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.xlang
diff --git a/src/main/scala/leon/xlang/ImperativeCodeElimination.scala b/src/main/scala/leon/xlang/ImperativeCodeElimination.scala
index 96b66dbe6..d94330d7e 100644
--- a/src/main/scala/leon/xlang/ImperativeCodeElimination.scala
+++ b/src/main/scala/leon/xlang/ImperativeCodeElimination.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package xlang
diff --git a/src/main/scala/leon/xlang/TreeOps.scala b/src/main/scala/leon/xlang/TreeOps.scala
index fef1d95e3..dd94605b9 100644
--- a/src/main/scala/leon/xlang/TreeOps.scala
+++ b/src/main/scala/leon/xlang/TreeOps.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package xlang
diff --git a/src/main/scala/leon/xlang/Trees.scala b/src/main/scala/leon/xlang/Trees.scala
index 7a093ebad..98bd2011d 100644
--- a/src/main/scala/leon/xlang/Trees.scala
+++ b/src/main/scala/leon/xlang/Trees.scala
@@ -1,4 +1,5 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package xlang
diff --git a/src/main/scala/leon/xlang/XlangAnalysisPhase.scala b/src/main/scala/leon/xlang/XlangAnalysisPhase.scala
index 36f220787..ad1c5e615 100644
--- a/src/main/scala/leon/xlang/XlangAnalysisPhase.scala
+++ b/src/main/scala/leon/xlang/XlangAnalysisPhase.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package xlang
diff --git a/src/main/scala/leon/z3plugins/bapa/AST.scala b/src/main/scala/leon/z3plugins/bapa/AST.scala
index 499550f19..a214d91cf 100644
--- a/src/main/scala/leon/z3plugins/bapa/AST.scala
+++ b/src/main/scala/leon/z3plugins/bapa/AST.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package purescala.z3plugins.bapa
diff --git a/src/main/scala/leon/z3plugins/bapa/BAPATheory.scala b/src/main/scala/leon/z3plugins/bapa/BAPATheory.scala
index 19355501b..7fc52a182 100644
--- a/src/main/scala/leon/z3plugins/bapa/BAPATheory.scala
+++ b/src/main/scala/leon/z3plugins/bapa/BAPATheory.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
/********************************************************************
diff --git a/src/main/scala/leon/z3plugins/bapa/BAPATheoryBubbles.scala b/src/main/scala/leon/z3plugins/bapa/BAPATheoryBubbles.scala
index e59fcbe54..d294e8b11 100644
--- a/src/main/scala/leon/z3plugins/bapa/BAPATheoryBubbles.scala
+++ b/src/main/scala/leon/z3plugins/bapa/BAPATheoryBubbles.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package purescala.z3plugins.bapa
diff --git a/src/main/scala/leon/z3plugins/bapa/BAPATheoryEqc.scala b/src/main/scala/leon/z3plugins/bapa/BAPATheoryEqc.scala
index 412704648..031a957bb 100644
--- a/src/main/scala/leon/z3plugins/bapa/BAPATheoryEqc.scala
+++ b/src/main/scala/leon/z3plugins/bapa/BAPATheoryEqc.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
/********************************************************************
diff --git a/src/main/scala/leon/z3plugins/bapa/Bubbles.scala b/src/main/scala/leon/z3plugins/bapa/Bubbles.scala
index 34d17040a..4763acae2 100644
--- a/src/main/scala/leon/z3plugins/bapa/Bubbles.scala
+++ b/src/main/scala/leon/z3plugins/bapa/Bubbles.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package purescala.z3plugins.bapa
diff --git a/src/main/scala/leon/z3plugins/bapa/NormalForms.scala b/src/main/scala/leon/z3plugins/bapa/NormalForms.scala
index df3e7a55b..5d9017262 100644
--- a/src/main/scala/leon/z3plugins/bapa/NormalForms.scala
+++ b/src/main/scala/leon/z3plugins/bapa/NormalForms.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package purescala.z3plugins.bapa
diff --git a/src/main/scala/leon/z3plugins/bapa/PrettyPrinter.scala b/src/main/scala/leon/z3plugins/bapa/PrettyPrinter.scala
index 3c825a2fc..882727d53 100644
--- a/src/main/scala/leon/z3plugins/bapa/PrettyPrinter.scala
+++ b/src/main/scala/leon/z3plugins/bapa/PrettyPrinter.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package purescala.z3plugins.bapa
diff --git a/src/main/scala/leon/z3plugins/bapa/VennRegions.scala b/src/main/scala/leon/z3plugins/bapa/VennRegions.scala
index 3e8dde3ca..464069070 100644
--- a/src/main/scala/leon/z3plugins/bapa/VennRegions.scala
+++ b/src/main/scala/leon/z3plugins/bapa/VennRegions.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package purescala.z3plugins.bapa
diff --git a/src/test/resources/regression/synthesis/Church/Add.scala b/src/test/resources/regression/synthesis/Church/Add.scala
index f9374897c..542550eb1 100644
--- a/src/test/resources/regression/synthesis/Church/Add.scala
+++ b/src/test/resources/regression/synthesis/Church/Add.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object ChurchNumerals {
sealed abstract class Num
diff --git a/src/test/resources/regression/synthesis/Church/Distinct.scala b/src/test/resources/regression/synthesis/Church/Distinct.scala
index 9472f04f7..c702d3c14 100644
--- a/src/test/resources/regression/synthesis/Church/Distinct.scala
+++ b/src/test/resources/regression/synthesis/Church/Distinct.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object ChurchNumerals {
sealed abstract class Num
diff --git a/src/test/resources/regression/synthesis/Church/Mult.scala b/src/test/resources/regression/synthesis/Church/Mult.scala
index bb51979ea..8251e0a2f 100644
--- a/src/test/resources/regression/synthesis/Church/Mult.scala
+++ b/src/test/resources/regression/synthesis/Church/Mult.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object ChurchNumerals {
sealed abstract class Num
diff --git a/src/test/resources/regression/synthesis/Church/Squared.scala b/src/test/resources/regression/synthesis/Church/Squared.scala
index 08a71c462..bf390fea7 100644
--- a/src/test/resources/regression/synthesis/Church/Squared.scala
+++ b/src/test/resources/regression/synthesis/Church/Squared.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object ChurchNumerals {
sealed abstract class Num
diff --git a/src/test/resources/regression/synthesis/List/Delete.scala b/src/test/resources/regression/synthesis/List/Delete.scala
index 998249371..113eedb44 100644
--- a/src/test/resources/regression/synthesis/List/Delete.scala
+++ b/src/test/resources/regression/synthesis/List/Delete.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.annotation._
import leon.lang._
diff --git a/src/test/resources/regression/synthesis/List/Diff.scala b/src/test/resources/regression/synthesis/List/Diff.scala
index a6c2c181d..a6bebd642 100644
--- a/src/test/resources/regression/synthesis/List/Diff.scala
+++ b/src/test/resources/regression/synthesis/List/Diff.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.annotation._
import leon.lang._
diff --git a/src/test/resources/regression/synthesis/List/Insert.scala b/src/test/resources/regression/synthesis/List/Insert.scala
index 91862f1a6..21a758ece 100644
--- a/src/test/resources/regression/synthesis/List/Insert.scala
+++ b/src/test/resources/regression/synthesis/List/Insert.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.annotation._
import leon.lang._
diff --git a/src/test/resources/regression/synthesis/List/Split.scala b/src/test/resources/regression/synthesis/List/Split.scala
index 649f0b8b1..944ee9d0b 100644
--- a/src/test/resources/regression/synthesis/List/Split.scala
+++ b/src/test/resources/regression/synthesis/List/Split.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.annotation._
import leon.lang._
diff --git a/src/test/resources/regression/synthesis/List/Union.scala b/src/test/resources/regression/synthesis/List/Union.scala
index c92d0c6c0..3b3130d7f 100644
--- a/src/test/resources/regression/synthesis/List/Union.scala
+++ b/src/test/resources/regression/synthesis/List/Union.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.annotation._
import leon.lang._
diff --git a/src/test/resources/regression/termination/looping/Numeric1.scala b/src/test/resources/regression/termination/looping/Numeric1.scala
index e6a95425a..92daf2ebe 100644
--- a/src/test/resources/regression/termination/looping/Numeric1.scala
+++ b/src/test/resources/regression/termination/looping/Numeric1.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object Numeric {
diff --git a/src/test/resources/regression/termination/looping/Numeric2.scala b/src/test/resources/regression/termination/looping/Numeric2.scala
index e6e9b38d9..a9a4af78e 100644
--- a/src/test/resources/regression/termination/looping/Numeric2.scala
+++ b/src/test/resources/regression/termination/looping/Numeric2.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object Numeric {
diff --git a/src/test/resources/regression/termination/looping/Termination_failling1.scala b/src/test/resources/regression/termination/looping/Termination_failling1.scala
index a43e3cb04..441ba92da 100644
--- a/src/test/resources/regression/termination/looping/Termination_failling1.scala
+++ b/src/test/resources/regression/termination/looping/Termination_failling1.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object Termination {
diff --git a/src/test/resources/regression/termination/unknown/Numeric3.scala b/src/test/resources/regression/termination/unknown/Numeric3.scala
index ccc9f1145..a375765d5 100644
--- a/src/test/resources/regression/termination/unknown/Numeric3.scala
+++ b/src/test/resources/regression/termination/unknown/Numeric3.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object Numeric3 {
diff --git a/src/test/resources/regression/termination/valid/BinaryTreeImp.scala b/src/test/resources/regression/termination/valid/BinaryTreeImp.scala
index 77dee8dfb..799559c4e 100644
--- a/src/test/resources/regression/termination/valid/BinaryTreeImp.scala
+++ b/src/test/resources/regression/termination/valid/BinaryTreeImp.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import scala.collection.immutable.Set
import leon.annotation._
import leon.lang._
diff --git a/src/test/resources/regression/termination/valid/BubbleSort.scala b/src/test/resources/regression/termination/valid/BubbleSort.scala
index 4f29a00b0..ff7f58e9f 100644
--- a/src/test/resources/regression/termination/valid/BubbleSort.scala
+++ b/src/test/resources/regression/termination/valid/BubbleSort.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
/* The calculus of Computation textbook */
diff --git a/src/test/resources/regression/termination/valid/ComplexChains.scala b/src/test/resources/regression/termination/valid/ComplexChains.scala
index d6c3ccd47..f6316acc0 100644
--- a/src/test/resources/regression/termination/valid/ComplexChains.scala
+++ b/src/test/resources/regression/termination/valid/ComplexChains.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object ComplexChains {
diff --git a/src/test/resources/regression/termination/valid/Fibonacci.scala b/src/test/resources/regression/termination/valid/Fibonacci.scala
index f2140e54d..feabb8aff 100644
--- a/src/test/resources/regression/termination/valid/Fibonacci.scala
+++ b/src/test/resources/regression/termination/valid/Fibonacci.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
object Fibonacci {
def fib(x: Int) : Int = {
require(x >= 0)
diff --git a/src/test/resources/regression/termination/valid/ListWithSize.scala b/src/test/resources/regression/termination/valid/ListWithSize.scala
index 5e52bf74b..db60a2049 100644
--- a/src/test/resources/regression/termination/valid/ListWithSize.scala
+++ b/src/test/resources/regression/termination/valid/ListWithSize.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import scala.collection.immutable.Set
import leon.annotation._
import leon.lang._
diff --git a/src/test/resources/regression/termination/valid/Numeric1.scala b/src/test/resources/regression/termination/valid/Numeric1.scala
index c9ad2a12f..07218fa52 100644
--- a/src/test/resources/regression/termination/valid/Numeric1.scala
+++ b/src/test/resources/regression/termination/valid/Numeric1.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object Numeric {
diff --git a/src/test/resources/regression/termination/valid/QuickSort.scala b/src/test/resources/regression/termination/valid/QuickSort.scala
index 83dd2c364..29b39f2e7 100644
--- a/src/test/resources/regression/termination/valid/QuickSort.scala
+++ b/src/test/resources/regression/termination/valid/QuickSort.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import scala.collection.immutable.Set
object QuickSort {
diff --git a/src/test/resources/regression/termination/valid/RedBlackTree.scala b/src/test/resources/regression/termination/valid/RedBlackTree.scala
index 0952a11fe..508b3f690 100644
--- a/src/test/resources/regression/termination/valid/RedBlackTree.scala
+++ b/src/test/resources/regression/termination/valid/RedBlackTree.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import scala.collection.immutable.Set
//import scala.collection.immutable.Multiset
diff --git a/src/test/resources/regression/termination/valid/SimpInterpret.scala b/src/test/resources/regression/termination/valid/SimpInterpret.scala
index 52e173af4..4cb3dc9be 100644
--- a/src/test/resources/regression/termination/valid/SimpInterpret.scala
+++ b/src/test/resources/regression/termination/valid/SimpInterpret.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
//import scala.collection.immutable.Set
//import leon.annotation._
import leon.lang._
diff --git a/src/test/resources/regression/termination/valid/Termination_passing1.scala b/src/test/resources/regression/termination/valid/Termination_passing1.scala
index 8f0a6f2bd..a0c1b760b 100644
--- a/src/test/resources/regression/termination/valid/Termination_passing1.scala
+++ b/src/test/resources/regression/termination/valid/Termination_passing1.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object Termination {
diff --git a/src/test/resources/regression/termination/valid/Termination_passing2.scala b/src/test/resources/regression/termination/valid/Termination_passing2.scala
index e8d944bfb..296104dca 100644
--- a/src/test/resources/regression/termination/valid/Termination_passing2.scala
+++ b/src/test/resources/regression/termination/valid/Termination_passing2.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object Termination {
diff --git a/src/test/resources/regression/transformations/Match.scala b/src/test/resources/regression/transformations/Match.scala
index 3af11e05e..2567ba2b3 100644
--- a/src/test/resources/regression/transformations/Match.scala
+++ b/src/test/resources/regression/transformations/Match.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.annotation._
import leon.lang._
diff --git a/src/test/resources/regression/transformations/SimplifyLets.scala b/src/test/resources/regression/transformations/SimplifyLets.scala
index 24d850932..fd0d60d09 100644
--- a/src/test/resources/regression/transformations/SimplifyLets.scala
+++ b/src/test/resources/regression/transformations/SimplifyLets.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.annotation._
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/error/InstanceOf1.scala b/src/test/resources/regression/verification/purescala/error/InstanceOf1.scala
index a9f9fa5d8..d26e838ac 100644
--- a/src/test/resources/regression/verification/purescala/error/InstanceOf1.scala
+++ b/src/test/resources/regression/verification/purescala/error/InstanceOf1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object InstanceOf1 {
diff --git a/src/test/resources/regression/verification/purescala/invalid/Array1.scala b/src/test/resources/regression/verification/purescala/invalid/Array1.scala
index cf4abc132..b9120da13 100644
--- a/src/test/resources/regression/verification/purescala/invalid/Array1.scala
+++ b/src/test/resources/regression/verification/purescala/invalid/Array1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/invalid/Array2.scala b/src/test/resources/regression/verification/purescala/invalid/Array2.scala
index a01cd23a7..0806854c6 100644
--- a/src/test/resources/regression/verification/purescala/invalid/Array2.scala
+++ b/src/test/resources/regression/verification/purescala/invalid/Array2.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/invalid/Array3.scala b/src/test/resources/regression/verification/purescala/invalid/Array3.scala
index 997ce966a..3145fb07f 100644
--- a/src/test/resources/regression/verification/purescala/invalid/Array3.scala
+++ b/src/test/resources/regression/verification/purescala/invalid/Array3.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object Test {
diff --git a/src/test/resources/regression/verification/purescala/invalid/Array4.scala b/src/test/resources/regression/verification/purescala/invalid/Array4.scala
index 280ce5bf1..b5ec4be04 100644
--- a/src/test/resources/regression/verification/purescala/invalid/Array4.scala
+++ b/src/test/resources/regression/verification/purescala/invalid/Array4.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/invalid/Choose1.scala b/src/test/resources/regression/verification/purescala/invalid/Choose1.scala
index 6779cc5f0..74e7f0db5 100644
--- a/src/test/resources/regression/verification/purescala/invalid/Choose1.scala
+++ b/src/test/resources/regression/verification/purescala/invalid/Choose1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.annotation._
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/invalid/FiniteSort.scala b/src/test/resources/regression/verification/purescala/invalid/FiniteSort.scala
index 1f95b041f..2ce16db2d 100644
--- a/src/test/resources/regression/verification/purescala/invalid/FiniteSort.scala
+++ b/src/test/resources/regression/verification/purescala/invalid/FiniteSort.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/invalid/Generics.scala b/src/test/resources/regression/verification/purescala/invalid/Generics.scala
index 258759c21..04421e754 100644
--- a/src/test/resources/regression/verification/purescala/invalid/Generics.scala
+++ b/src/test/resources/regression/verification/purescala/invalid/Generics.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object Generics1 {
diff --git a/src/test/resources/regression/verification/purescala/invalid/Generics2.scala b/src/test/resources/regression/verification/purescala/invalid/Generics2.scala
index bc204fb0f..0376cfaf2 100644
--- a/src/test/resources/regression/verification/purescala/invalid/Generics2.scala
+++ b/src/test/resources/regression/verification/purescala/invalid/Generics2.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object Generics1 {
diff --git a/src/test/resources/regression/verification/purescala/invalid/InsertionSort.scala b/src/test/resources/regression/verification/purescala/invalid/InsertionSort.scala
index e0750c49b..5fd06d36a 100644
--- a/src/test/resources/regression/verification/purescala/invalid/InsertionSort.scala
+++ b/src/test/resources/regression/verification/purescala/invalid/InsertionSort.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import scala.collection.immutable.Set
import leon.annotation._
diff --git a/src/test/resources/regression/verification/purescala/invalid/ListOperations.scala b/src/test/resources/regression/verification/purescala/invalid/ListOperations.scala
index 9a35c4a4b..bca6e6a76 100644
--- a/src/test/resources/regression/verification/purescala/invalid/ListOperations.scala
+++ b/src/test/resources/regression/verification/purescala/invalid/ListOperations.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import scala.collection.immutable.Set
import leon.annotation._
diff --git a/src/test/resources/regression/verification/purescala/invalid/MyTuple1.scala b/src/test/resources/regression/verification/purescala/invalid/MyTuple1.scala
index 200bf2086..4fcafdd5e 100644
--- a/src/test/resources/regression/verification/purescala/invalid/MyTuple1.scala
+++ b/src/test/resources/regression/verification/purescala/invalid/MyTuple1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object MyTuple1 {
diff --git a/src/test/resources/regression/verification/purescala/invalid/MyTuple2.scala b/src/test/resources/regression/verification/purescala/invalid/MyTuple2.scala
index b190043bf..88c07f3ff 100644
--- a/src/test/resources/regression/verification/purescala/invalid/MyTuple2.scala
+++ b/src/test/resources/regression/verification/purescala/invalid/MyTuple2.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object MyTuple2 {
diff --git a/src/test/resources/regression/verification/purescala/invalid/MyTuple3.scala b/src/test/resources/regression/verification/purescala/invalid/MyTuple3.scala
index 5a6d37dd3..430d98bda 100644
--- a/src/test/resources/regression/verification/purescala/invalid/MyTuple3.scala
+++ b/src/test/resources/regression/verification/purescala/invalid/MyTuple3.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object MyTuple3 {
diff --git a/src/test/resources/regression/verification/purescala/invalid/PropositionalLogic.scala b/src/test/resources/regression/verification/purescala/invalid/PropositionalLogic.scala
index 994ce5ef3..58161802f 100644
--- a/src/test/resources/regression/verification/purescala/invalid/PropositionalLogic.scala
+++ b/src/test/resources/regression/verification/purescala/invalid/PropositionalLogic.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import scala.collection.immutable.Set
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/invalid/RedBlackTree.scala b/src/test/resources/regression/verification/purescala/invalid/RedBlackTree.scala
index 48ab21763..148512d00 100644
--- a/src/test/resources/regression/verification/purescala/invalid/RedBlackTree.scala
+++ b/src/test/resources/regression/verification/purescala/invalid/RedBlackTree.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import scala.collection.immutable.Set
import leon.annotation._
diff --git a/src/test/resources/regression/verification/purescala/invalid/Unit1.scala b/src/test/resources/regression/verification/purescala/invalid/Unit1.scala
index 21ba0863c..0a5a72fca 100644
--- a/src/test/resources/regression/verification/purescala/invalid/Unit1.scala
+++ b/src/test/resources/regression/verification/purescala/invalid/Unit1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Unit1 {
diff --git a/src/test/resources/regression/verification/purescala/valid/AmortizedQueue.scala b/src/test/resources/regression/verification/purescala/valid/AmortizedQueue.scala
index 054d393e8..0c7d2170f 100644
--- a/src/test/resources/regression/verification/purescala/valid/AmortizedQueue.scala
+++ b/src/test/resources/regression/verification/purescala/valid/AmortizedQueue.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import scala.collection.immutable.Set
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/valid/ArrayLiterals.scala b/src/test/resources/regression/verification/purescala/valid/ArrayLiterals.scala
index 08c2e5a87..d80fcf4f0 100644
--- a/src/test/resources/regression/verification/purescala/valid/ArrayLiterals.scala
+++ b/src/test/resources/regression/verification/purescala/valid/ArrayLiterals.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object Numerals {
def foo(): Int = {
diff --git a/src/test/resources/regression/verification/purescala/valid/ArrayUpdated.scala b/src/test/resources/regression/verification/purescala/valid/ArrayUpdated.scala
index 78c12a631..5d336d01d 100644
--- a/src/test/resources/regression/verification/purescala/valid/ArrayUpdated.scala
+++ b/src/test/resources/regression/verification/purescala/valid/ArrayUpdated.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object Test {
diff --git a/src/test/resources/regression/verification/purescala/valid/AssociativeList.scala b/src/test/resources/regression/verification/purescala/valid/AssociativeList.scala
index 7f2a34515..a62a765f5 100644
--- a/src/test/resources/regression/verification/purescala/valid/AssociativeList.scala
+++ b/src/test/resources/regression/verification/purescala/valid/AssociativeList.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import scala.collection.immutable.Set
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/valid/BestRealTypes.scala b/src/test/resources/regression/verification/purescala/valid/BestRealTypes.scala
index 1a84e41f1..9b1002f7f 100644
--- a/src/test/resources/regression/verification/purescala/valid/BestRealTypes.scala
+++ b/src/test/resources/regression/verification/purescala/valid/BestRealTypes.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/valid/CaseObject1.scala b/src/test/resources/regression/verification/purescala/valid/CaseObject1.scala
index 4398b99c1..e46c15305 100644
--- a/src/test/resources/regression/verification/purescala/valid/CaseObject1.scala
+++ b/src/test/resources/regression/verification/purescala/valid/CaseObject1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object CaseObject1 {
diff --git a/src/test/resources/regression/verification/purescala/valid/Choose1.scala b/src/test/resources/regression/verification/purescala/valid/Choose1.scala
index dc16d2314..408dafa87 100644
--- a/src/test/resources/regression/verification/purescala/valid/Choose1.scala
+++ b/src/test/resources/regression/verification/purescala/valid/Choose1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.annotation._
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/valid/Field1.scala b/src/test/resources/regression/verification/purescala/valid/Field1.scala
index f24e3896c..7865db5e1 100644
--- a/src/test/resources/regression/verification/purescala/valid/Field1.scala
+++ b/src/test/resources/regression/verification/purescala/valid/Field1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Field1 {
diff --git a/src/test/resources/regression/verification/purescala/valid/Field2.scala b/src/test/resources/regression/verification/purescala/valid/Field2.scala
index dd62e0a55..659b64815 100644
--- a/src/test/resources/regression/verification/purescala/valid/Field2.scala
+++ b/src/test/resources/regression/verification/purescala/valid/Field2.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Field2 {
diff --git a/src/test/resources/regression/verification/purescala/valid/FiniteSort.scala b/src/test/resources/regression/verification/purescala/valid/FiniteSort.scala
index 1f8cddb50..94d90c3f4 100644
--- a/src/test/resources/regression/verification/purescala/valid/FiniteSort.scala
+++ b/src/test/resources/regression/verification/purescala/valid/FiniteSort.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/valid/Generics.scala b/src/test/resources/regression/verification/purescala/valid/Generics.scala
index 75c8d755f..2820d5a5c 100644
--- a/src/test/resources/regression/verification/purescala/valid/Generics.scala
+++ b/src/test/resources/regression/verification/purescala/valid/Generics.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object Generics1 {
diff --git a/src/test/resources/regression/verification/purescala/valid/Generics2.scala b/src/test/resources/regression/verification/purescala/valid/Generics2.scala
index fba486c8c..5bd3627d4 100644
--- a/src/test/resources/regression/verification/purescala/valid/Generics2.scala
+++ b/src/test/resources/regression/verification/purescala/valid/Generics2.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
object Generics1 {
diff --git a/src/test/resources/regression/verification/purescala/valid/Heap.scala b/src/test/resources/regression/verification/purescala/valid/Heap.scala
index af01b1cff..f70934816 100644
--- a/src/test/resources/regression/verification/purescala/valid/Heap.scala
+++ b/src/test/resources/regression/verification/purescala/valid/Heap.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.annotation._
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/valid/InsertionSort.scala b/src/test/resources/regression/verification/purescala/valid/InsertionSort.scala
index 5540fd2d8..820e97178 100644
--- a/src/test/resources/regression/verification/purescala/valid/InsertionSort.scala
+++ b/src/test/resources/regression/verification/purescala/valid/InsertionSort.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import scala.collection.immutable.Set
import leon.annotation._
diff --git a/src/test/resources/regression/verification/purescala/valid/InstanceOf1.scala b/src/test/resources/regression/verification/purescala/valid/InstanceOf1.scala
index 14aaa5a16..14dab69bc 100644
--- a/src/test/resources/regression/verification/purescala/valid/InstanceOf1.scala
+++ b/src/test/resources/regression/verification/purescala/valid/InstanceOf1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object InstanceOf1 {
diff --git a/src/test/resources/regression/verification/purescala/valid/IsolatedAbstract.scala b/src/test/resources/regression/verification/purescala/valid/IsolatedAbstract.scala
index c1b30838b..52077b354 100644
--- a/src/test/resources/regression/verification/purescala/valid/IsolatedAbstract.scala
+++ b/src/test/resources/regression/verification/purescala/valid/IsolatedAbstract.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.lang._
import leon.annotation._
diff --git a/src/test/resources/regression/verification/purescala/valid/ListOperations.scala b/src/test/resources/regression/verification/purescala/valid/ListOperations.scala
index 689aee57d..fb6b11d94 100644
--- a/src/test/resources/regression/verification/purescala/valid/ListOperations.scala
+++ b/src/test/resources/regression/verification/purescala/valid/ListOperations.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import scala.collection.immutable.Set
import leon.annotation._
diff --git a/src/test/resources/regression/verification/purescala/valid/LiteralMaps.scala b/src/test/resources/regression/verification/purescala/valid/LiteralMaps.scala
index 70f1a32eb..ed194e7a6 100644
--- a/src/test/resources/regression/verification/purescala/valid/LiteralMaps.scala
+++ b/src/test/resources/regression/verification/purescala/valid/LiteralMaps.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object LiteralMaps {
def test(): Map[Int, Int] = {
diff --git a/src/test/resources/regression/verification/purescala/valid/MergeSort.scala b/src/test/resources/regression/verification/purescala/valid/MergeSort.scala
index 61d4d6433..e3714371b 100644
--- a/src/test/resources/regression/verification/purescala/valid/MergeSort.scala
+++ b/src/test/resources/regression/verification/purescala/valid/MergeSort.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.annotation._
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/valid/MyMap.scala b/src/test/resources/regression/verification/purescala/valid/MyMap.scala
index 652d98c2f..84e9c4967 100644
--- a/src/test/resources/regression/verification/purescala/valid/MyMap.scala
+++ b/src/test/resources/regression/verification/purescala/valid/MyMap.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/valid/MySet.scala b/src/test/resources/regression/verification/purescala/valid/MySet.scala
index 1714ecb8b..19b83a93d 100644
--- a/src/test/resources/regression/verification/purescala/valid/MySet.scala
+++ b/src/test/resources/regression/verification/purescala/valid/MySet.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/valid/MyTuple1.scala b/src/test/resources/regression/verification/purescala/valid/MyTuple1.scala
index 65a0ecfba..b7fa2e8c3 100644
--- a/src/test/resources/regression/verification/purescala/valid/MyTuple1.scala
+++ b/src/test/resources/regression/verification/purescala/valid/MyTuple1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object MyTuple1 {
diff --git a/src/test/resources/regression/verification/purescala/valid/MyTuple2.scala b/src/test/resources/regression/verification/purescala/valid/MyTuple2.scala
index d9ffb9916..9117fab37 100644
--- a/src/test/resources/regression/verification/purescala/valid/MyTuple2.scala
+++ b/src/test/resources/regression/verification/purescala/valid/MyTuple2.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object MyTuple2 {
diff --git a/src/test/resources/regression/verification/purescala/valid/MyTuple3.scala b/src/test/resources/regression/verification/purescala/valid/MyTuple3.scala
index 981c83a5b..7bae15f42 100644
--- a/src/test/resources/regression/verification/purescala/valid/MyTuple3.scala
+++ b/src/test/resources/regression/verification/purescala/valid/MyTuple3.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object MyTuple3 {
diff --git a/src/test/resources/regression/verification/purescala/valid/MyTuple4.scala b/src/test/resources/regression/verification/purescala/valid/MyTuple4.scala
index 9c68b867e..77ba6dc1b 100644
--- a/src/test/resources/regression/verification/purescala/valid/MyTuple4.scala
+++ b/src/test/resources/regression/verification/purescala/valid/MyTuple4.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object MyTuple4 {
diff --git a/src/test/resources/regression/verification/purescala/valid/MyTuple5.scala b/src/test/resources/regression/verification/purescala/valid/MyTuple5.scala
index 21544dae2..0b573500d 100644
--- a/src/test/resources/regression/verification/purescala/valid/MyTuple5.scala
+++ b/src/test/resources/regression/verification/purescala/valid/MyTuple5.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object MyTuple1 {
diff --git a/src/test/resources/regression/verification/purescala/valid/MyTuple6.scala b/src/test/resources/regression/verification/purescala/valid/MyTuple6.scala
index 562fdcb97..852872652 100644
--- a/src/test/resources/regression/verification/purescala/valid/MyTuple6.scala
+++ b/src/test/resources/regression/verification/purescala/valid/MyTuple6.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object MyTuple6 {
diff --git a/src/test/resources/regression/verification/purescala/valid/Nat.scala b/src/test/resources/regression/verification/purescala/valid/Nat.scala
index f09360c57..eb7fe27c5 100644
--- a/src/test/resources/regression/verification/purescala/valid/Nat.scala
+++ b/src/test/resources/regression/verification/purescala/valid/Nat.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
import leon.annotation._
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/valid/PropositionalLogic.scala b/src/test/resources/regression/verification/purescala/valid/PropositionalLogic.scala
index 2f1c48e3e..a41dab826 100644
--- a/src/test/resources/regression/verification/purescala/valid/PropositionalLogic.scala
+++ b/src/test/resources/regression/verification/purescala/valid/PropositionalLogic.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import scala.collection.immutable.Set
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/valid/RedBlackTree.scala b/src/test/resources/regression/verification/purescala/valid/RedBlackTree.scala
index 4d052da77..15f4ba78d 100644
--- a/src/test/resources/regression/verification/purescala/valid/RedBlackTree.scala
+++ b/src/test/resources/regression/verification/purescala/valid/RedBlackTree.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import scala.collection.immutable.Set
import leon.annotation._
diff --git a/src/test/resources/regression/verification/purescala/valid/SearchLinkedList.scala b/src/test/resources/regression/verification/purescala/valid/SearchLinkedList.scala
index 27e2f4ba8..bf259ab0f 100644
--- a/src/test/resources/regression/verification/purescala/valid/SearchLinkedList.scala
+++ b/src/test/resources/regression/verification/purescala/valid/SearchLinkedList.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import scala.collection.immutable.Set
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/valid/Subtyping1.scala b/src/test/resources/regression/verification/purescala/valid/Subtyping1.scala
index 1bffd51ad..4352d070f 100644
--- a/src/test/resources/regression/verification/purescala/valid/Subtyping1.scala
+++ b/src/test/resources/regression/verification/purescala/valid/Subtyping1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Subtyping1 {
diff --git a/src/test/resources/regression/verification/purescala/valid/Subtyping2.scala b/src/test/resources/regression/verification/purescala/valid/Subtyping2.scala
index 7b6a8aa16..b51c60173 100644
--- a/src/test/resources/regression/verification/purescala/valid/Subtyping2.scala
+++ b/src/test/resources/regression/verification/purescala/valid/Subtyping2.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/purescala/valid/SumAndMax.scala b/src/test/resources/regression/verification/purescala/valid/SumAndMax.scala
index 90f2efc32..ea6305cd9 100644
--- a/src/test/resources/regression/verification/purescala/valid/SumAndMax.scala
+++ b/src/test/resources/regression/verification/purescala/valid/SumAndMax.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
import leon.annotation._
diff --git a/src/test/resources/regression/verification/purescala/valid/Unit1.scala b/src/test/resources/regression/verification/purescala/valid/Unit1.scala
index cfcbba76f..e1456aaa6 100644
--- a/src/test/resources/regression/verification/purescala/valid/Unit1.scala
+++ b/src/test/resources/regression/verification/purescala/valid/Unit1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Unit1 {
diff --git a/src/test/resources/regression/verification/purescala/valid/Unit2.scala b/src/test/resources/regression/verification/purescala/valid/Unit2.scala
index 1f09609d0..f71ea0ff5 100644
--- a/src/test/resources/regression/verification/purescala/valid/Unit2.scala
+++ b/src/test/resources/regression/verification/purescala/valid/Unit2.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Unit2 {
diff --git a/src/test/resources/regression/verification/xlang/error/Array1.scala b/src/test/resources/regression/verification/xlang/error/Array1.scala
index f8d420de5..e0efb209a 100644
--- a/src/test/resources/regression/verification/xlang/error/Array1.scala
+++ b/src/test/resources/regression/verification/xlang/error/Array1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Array1 {
diff --git a/src/test/resources/regression/verification/xlang/error/Array10.scala b/src/test/resources/regression/verification/xlang/error/Array10.scala
index ed596fec6..b1991b5a0 100644
--- a/src/test/resources/regression/verification/xlang/error/Array10.scala
+++ b/src/test/resources/regression/verification/xlang/error/Array10.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Array10 {
diff --git a/src/test/resources/regression/verification/xlang/error/Array2.scala b/src/test/resources/regression/verification/xlang/error/Array2.scala
index 4de4eaf4d..212474529 100644
--- a/src/test/resources/regression/verification/xlang/error/Array2.scala
+++ b/src/test/resources/regression/verification/xlang/error/Array2.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Array2 {
diff --git a/src/test/resources/regression/verification/xlang/error/Array3.scala b/src/test/resources/regression/verification/xlang/error/Array3.scala
index b501eadbd..4bffc616a 100644
--- a/src/test/resources/regression/verification/xlang/error/Array3.scala
+++ b/src/test/resources/regression/verification/xlang/error/Array3.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Array3 {
diff --git a/src/test/resources/regression/verification/xlang/error/Array4.scala b/src/test/resources/regression/verification/xlang/error/Array4.scala
index bc9b5fd40..73da66377 100644
--- a/src/test/resources/regression/verification/xlang/error/Array4.scala
+++ b/src/test/resources/regression/verification/xlang/error/Array4.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Array4 {
diff --git a/src/test/resources/regression/verification/xlang/error/Array5.scala b/src/test/resources/regression/verification/xlang/error/Array5.scala
index 55eef8f26..9635163ab 100644
--- a/src/test/resources/regression/verification/xlang/error/Array5.scala
+++ b/src/test/resources/regression/verification/xlang/error/Array5.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Array5 {
diff --git a/src/test/resources/regression/verification/xlang/error/Array6.scala b/src/test/resources/regression/verification/xlang/error/Array6.scala
index 818271c0c..919437732 100644
--- a/src/test/resources/regression/verification/xlang/error/Array6.scala
+++ b/src/test/resources/regression/verification/xlang/error/Array6.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Array6 {
diff --git a/src/test/resources/regression/verification/xlang/error/Array7.scala b/src/test/resources/regression/verification/xlang/error/Array7.scala
index 079f2231b..55cd6caad 100644
--- a/src/test/resources/regression/verification/xlang/error/Array7.scala
+++ b/src/test/resources/regression/verification/xlang/error/Array7.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Array7 {
diff --git a/src/test/resources/regression/verification/xlang/error/Array8.scala b/src/test/resources/regression/verification/xlang/error/Array8.scala
index 098c001bb..762d20681 100644
--- a/src/test/resources/regression/verification/xlang/error/Array8.scala
+++ b/src/test/resources/regression/verification/xlang/error/Array8.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Array8 {
diff --git a/src/test/resources/regression/verification/xlang/error/Array9.scala b/src/test/resources/regression/verification/xlang/error/Array9.scala
index edbd5beb3..5f1453b18 100644
--- a/src/test/resources/regression/verification/xlang/error/Array9.scala
+++ b/src/test/resources/regression/verification/xlang/error/Array9.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Array9 {
diff --git a/src/test/resources/regression/verification/xlang/invalid/Array1.scala b/src/test/resources/regression/verification/xlang/invalid/Array1.scala
index 40ba7871a..b6bd05bf8 100644
--- a/src/test/resources/regression/verification/xlang/invalid/Array1.scala
+++ b/src/test/resources/regression/verification/xlang/invalid/Array1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Array1 {
diff --git a/src/test/resources/regression/verification/xlang/invalid/Array2.scala b/src/test/resources/regression/verification/xlang/invalid/Array2.scala
index 5390b4477..296223bcf 100644
--- a/src/test/resources/regression/verification/xlang/invalid/Array2.scala
+++ b/src/test/resources/regression/verification/xlang/invalid/Array2.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Array2 {
diff --git a/src/test/resources/regression/verification/xlang/invalid/Array3.scala b/src/test/resources/regression/verification/xlang/invalid/Array3.scala
index eaf547035..12c50757c 100644
--- a/src/test/resources/regression/verification/xlang/invalid/Array3.scala
+++ b/src/test/resources/regression/verification/xlang/invalid/Array3.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/invalid/Array4.scala b/src/test/resources/regression/verification/xlang/invalid/Array4.scala
index cf4abc132..b9120da13 100644
--- a/src/test/resources/regression/verification/xlang/invalid/Array4.scala
+++ b/src/test/resources/regression/verification/xlang/invalid/Array4.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/invalid/Array5.scala b/src/test/resources/regression/verification/xlang/invalid/Array5.scala
index a01cd23a7..0806854c6 100644
--- a/src/test/resources/regression/verification/xlang/invalid/Array5.scala
+++ b/src/test/resources/regression/verification/xlang/invalid/Array5.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/invalid/Array6.scala b/src/test/resources/regression/verification/xlang/invalid/Array6.scala
index 13d8ea191..7cadad30d 100644
--- a/src/test/resources/regression/verification/xlang/invalid/Array6.scala
+++ b/src/test/resources/regression/verification/xlang/invalid/Array6.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/invalid/Epsilon1.scala b/src/test/resources/regression/verification/xlang/invalid/Epsilon1.scala
index 9b2372969..b6eb6a05d 100644
--- a/src/test/resources/regression/verification/xlang/invalid/Epsilon1.scala
+++ b/src/test/resources/regression/verification/xlang/invalid/Epsilon1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/invalid/Epsilon2.scala b/src/test/resources/regression/verification/xlang/invalid/Epsilon2.scala
index b23ab8e67..ee620237f 100644
--- a/src/test/resources/regression/verification/xlang/invalid/Epsilon2.scala
+++ b/src/test/resources/regression/verification/xlang/invalid/Epsilon2.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/invalid/Epsilon3.scala b/src/test/resources/regression/verification/xlang/invalid/Epsilon3.scala
index 095c8c3f2..b12fcbbe0 100644
--- a/src/test/resources/regression/verification/xlang/invalid/Epsilon3.scala
+++ b/src/test/resources/regression/verification/xlang/invalid/Epsilon3.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/invalid/Epsilon4.scala b/src/test/resources/regression/verification/xlang/invalid/Epsilon4.scala
index fc3fd5938..22beb0849 100644
--- a/src/test/resources/regression/verification/xlang/invalid/Epsilon4.scala
+++ b/src/test/resources/regression/verification/xlang/invalid/Epsilon4.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/invalid/Epsilon5.scala b/src/test/resources/regression/verification/xlang/invalid/Epsilon5.scala
index b51def1ee..75f9dd813 100644
--- a/src/test/resources/regression/verification/xlang/invalid/Epsilon5.scala
+++ b/src/test/resources/regression/verification/xlang/invalid/Epsilon5.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/invalid/Epsilon6.scala b/src/test/resources/regression/verification/xlang/invalid/Epsilon6.scala
index edcc9e2fa..0fadb7414 100644
--- a/src/test/resources/regression/verification/xlang/invalid/Epsilon6.scala
+++ b/src/test/resources/regression/verification/xlang/invalid/Epsilon6.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/invalid/IfExpr1.scala b/src/test/resources/regression/verification/xlang/invalid/IfExpr1.scala
index b06ea8f8c..cda3172a4 100644
--- a/src/test/resources/regression/verification/xlang/invalid/IfExpr1.scala
+++ b/src/test/resources/regression/verification/xlang/invalid/IfExpr1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object IfExpr1 {
diff --git a/src/test/resources/regression/verification/xlang/invalid/IfExpr2.scala b/src/test/resources/regression/verification/xlang/invalid/IfExpr2.scala
index 3f0149ccf..2c41c06b8 100644
--- a/src/test/resources/regression/verification/xlang/invalid/IfExpr2.scala
+++ b/src/test/resources/regression/verification/xlang/invalid/IfExpr2.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object IfExpr2 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Arithmetic.scala b/src/test/resources/regression/verification/xlang/valid/Arithmetic.scala
index c6be0e96b..56baab22f 100644
--- a/src/test/resources/regression/verification/xlang/valid/Arithmetic.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Arithmetic.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/valid/Array1.scala b/src/test/resources/regression/verification/xlang/valid/Array1.scala
index 76784cb89..301ee932e 100644
--- a/src/test/resources/regression/verification/xlang/valid/Array1.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Array1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Array1 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Array10.scala b/src/test/resources/regression/verification/xlang/valid/Array10.scala
index e073ebeff..a36e980fd 100644
--- a/src/test/resources/regression/verification/xlang/valid/Array10.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Array10.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Array10 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Array2.scala b/src/test/resources/regression/verification/xlang/valid/Array2.scala
index 296c5fcc3..655fa3b4d 100644
--- a/src/test/resources/regression/verification/xlang/valid/Array2.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Array2.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Array2 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Array3.scala b/src/test/resources/regression/verification/xlang/valid/Array3.scala
index 92a13d590..b6dd3aa9e 100644
--- a/src/test/resources/regression/verification/xlang/valid/Array3.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Array3.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/valid/Array4.scala b/src/test/resources/regression/verification/xlang/valid/Array4.scala
index 196f7b1df..da506df5b 100644
--- a/src/test/resources/regression/verification/xlang/valid/Array4.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Array4.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/valid/Array5.scala b/src/test/resources/regression/verification/xlang/valid/Array5.scala
index 9160dbff0..da3fa272b 100644
--- a/src/test/resources/regression/verification/xlang/valid/Array5.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Array5.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/valid/Array6.scala b/src/test/resources/regression/verification/xlang/valid/Array6.scala
index 43551bf7e..2c1883d7f 100644
--- a/src/test/resources/regression/verification/xlang/valid/Array6.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Array6.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/valid/Array7.scala b/src/test/resources/regression/verification/xlang/valid/Array7.scala
index c83f7c00c..90b07b9f9 100644
--- a/src/test/resources/regression/verification/xlang/valid/Array7.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Array7.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/valid/Array8.scala b/src/test/resources/regression/verification/xlang/valid/Array8.scala
index cb65c7c1a..267670e75 100644
--- a/src/test/resources/regression/verification/xlang/valid/Array8.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Array8.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Array8 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Array9.scala b/src/test/resources/regression/verification/xlang/valid/Array9.scala
index 662e15bda..c215e4713 100644
--- a/src/test/resources/regression/verification/xlang/valid/Array9.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Array9.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Array9 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Assign1.scala b/src/test/resources/regression/verification/xlang/valid/Assign1.scala
index 343a41065..a09d46696 100644
--- a/src/test/resources/regression/verification/xlang/valid/Assign1.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Assign1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Assign1 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Choose1.scala b/src/test/resources/regression/verification/xlang/valid/Choose1.scala
index b44c0856c..0ea5e5122 100644
--- a/src/test/resources/regression/verification/xlang/valid/Choose1.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Choose1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/valid/Epsilon1.scala b/src/test/resources/regression/verification/xlang/valid/Epsilon1.scala
index 32ca5ccf0..108ea6477 100644
--- a/src/test/resources/regression/verification/xlang/valid/Epsilon1.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Epsilon1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/valid/Epsilon2.scala b/src/test/resources/regression/verification/xlang/valid/Epsilon2.scala
index 981c463d8..dbdb96c9a 100644
--- a/src/test/resources/regression/verification/xlang/valid/Epsilon2.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Epsilon2.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/valid/Epsilon3.scala b/src/test/resources/regression/verification/xlang/valid/Epsilon3.scala
index d80401c20..541933cd8 100644
--- a/src/test/resources/regression/verification/xlang/valid/Epsilon3.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Epsilon3.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/valid/Epsilon4.scala b/src/test/resources/regression/verification/xlang/valid/Epsilon4.scala
index e20b22508..8b7f7af3b 100644
--- a/src/test/resources/regression/verification/xlang/valid/Epsilon4.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Epsilon4.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/valid/Epsilon5.scala b/src/test/resources/regression/verification/xlang/valid/Epsilon5.scala
index 08dd68e0a..565e99ec2 100644
--- a/src/test/resources/regression/verification/xlang/valid/Epsilon5.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Epsilon5.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/valid/IfExpr1.scala b/src/test/resources/regression/verification/xlang/valid/IfExpr1.scala
index bb8989ca0..84a5c409c 100644
--- a/src/test/resources/regression/verification/xlang/valid/IfExpr1.scala
+++ b/src/test/resources/regression/verification/xlang/valid/IfExpr1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object IfExpr1 {
diff --git a/src/test/resources/regression/verification/xlang/valid/IfExpr2.scala b/src/test/resources/regression/verification/xlang/valid/IfExpr2.scala
index d581b13d0..fb4204bea 100644
--- a/src/test/resources/regression/verification/xlang/valid/IfExpr2.scala
+++ b/src/test/resources/regression/verification/xlang/valid/IfExpr2.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object IfExpr2 {
diff --git a/src/test/resources/regression/verification/xlang/valid/IfExpr3.scala b/src/test/resources/regression/verification/xlang/valid/IfExpr3.scala
index 12c91f388..46f4264d3 100644
--- a/src/test/resources/regression/verification/xlang/valid/IfExpr3.scala
+++ b/src/test/resources/regression/verification/xlang/valid/IfExpr3.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object IfExpr1 {
diff --git a/src/test/resources/regression/verification/xlang/valid/IfExpr4.scala b/src/test/resources/regression/verification/xlang/valid/IfExpr4.scala
index 494b2c4b1..65d46cf1b 100644
--- a/src/test/resources/regression/verification/xlang/valid/IfExpr4.scala
+++ b/src/test/resources/regression/verification/xlang/valid/IfExpr4.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object IfExpr4 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Nested1.scala b/src/test/resources/regression/verification/xlang/valid/Nested1.scala
index f3191c4d6..5c1f76064 100644
--- a/src/test/resources/regression/verification/xlang/valid/Nested1.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Nested1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Nested1 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Nested10.scala b/src/test/resources/regression/verification/xlang/valid/Nested10.scala
index 218010b68..f4dcd0618 100644
--- a/src/test/resources/regression/verification/xlang/valid/Nested10.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Nested10.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Nested10 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Nested11.scala b/src/test/resources/regression/verification/xlang/valid/Nested11.scala
index daf1c4f76..8f89cc9a2 100644
--- a/src/test/resources/regression/verification/xlang/valid/Nested11.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Nested11.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Nested11 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Nested12.scala b/src/test/resources/regression/verification/xlang/valid/Nested12.scala
index d64f7a320..fa56d4bcf 100644
--- a/src/test/resources/regression/verification/xlang/valid/Nested12.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Nested12.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Nested12 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Nested13.scala b/src/test/resources/regression/verification/xlang/valid/Nested13.scala
index 4a0a21bc4..2926d3258 100644
--- a/src/test/resources/regression/verification/xlang/valid/Nested13.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Nested13.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Nested13 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Nested14.scala b/src/test/resources/regression/verification/xlang/valid/Nested14.scala
index 347c4958e..f3ad7bef1 100644
--- a/src/test/resources/regression/verification/xlang/valid/Nested14.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Nested14.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Nested14 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Nested2.scala b/src/test/resources/regression/verification/xlang/valid/Nested2.scala
index caff37f2f..da94f93d6 100644
--- a/src/test/resources/regression/verification/xlang/valid/Nested2.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Nested2.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Nested2 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Nested3.scala b/src/test/resources/regression/verification/xlang/valid/Nested3.scala
index f4c5f052a..81b748337 100644
--- a/src/test/resources/regression/verification/xlang/valid/Nested3.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Nested3.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Nested3 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Nested4.scala b/src/test/resources/regression/verification/xlang/valid/Nested4.scala
index 5c0745aca..cb91848ee 100644
--- a/src/test/resources/regression/verification/xlang/valid/Nested4.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Nested4.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Nested4 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Nested5.scala b/src/test/resources/regression/verification/xlang/valid/Nested5.scala
index 1442e47d2..a5f886b12 100644
--- a/src/test/resources/regression/verification/xlang/valid/Nested5.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Nested5.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Nested5 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Nested6.scala b/src/test/resources/regression/verification/xlang/valid/Nested6.scala
index 5a481fcb5..305870f84 100644
--- a/src/test/resources/regression/verification/xlang/valid/Nested6.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Nested6.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Nested5 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Nested7.scala b/src/test/resources/regression/verification/xlang/valid/Nested7.scala
index 81794c7d8..2f785f083 100644
--- a/src/test/resources/regression/verification/xlang/valid/Nested7.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Nested7.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Nested2 {
diff --git a/src/test/resources/regression/verification/xlang/valid/Nested8.scala b/src/test/resources/regression/verification/xlang/valid/Nested8.scala
index 2580c215f..4024de42c 100644
--- a/src/test/resources/regression/verification/xlang/valid/Nested8.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Nested8.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
import leon.lang._
diff --git a/src/test/resources/regression/verification/xlang/valid/Nested9.scala b/src/test/resources/regression/verification/xlang/valid/Nested9.scala
index 2723d4c79..14f912137 100644
--- a/src/test/resources/regression/verification/xlang/valid/Nested9.scala
+++ b/src/test/resources/regression/verification/xlang/valid/Nested9.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object Nested4 {
diff --git a/src/test/resources/regression/verification/xlang/valid/NestedVar.scala b/src/test/resources/regression/verification/xlang/valid/NestedVar.scala
index 317169172..f464f6fa9 100644
--- a/src/test/resources/regression/verification/xlang/valid/NestedVar.scala
+++ b/src/test/resources/regression/verification/xlang/valid/NestedVar.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object NestedVar {
diff --git a/src/test/resources/regression/verification/xlang/valid/While1.scala b/src/test/resources/regression/verification/xlang/valid/While1.scala
index c36499dfc..895f50efb 100644
--- a/src/test/resources/regression/verification/xlang/valid/While1.scala
+++ b/src/test/resources/regression/verification/xlang/valid/While1.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object While1 {
diff --git a/src/test/resources/regression/verification/xlang/valid/While2.scala b/src/test/resources/regression/verification/xlang/valid/While2.scala
index 9e2b245f2..841724ab4 100644
--- a/src/test/resources/regression/verification/xlang/valid/While2.scala
+++ b/src/test/resources/regression/verification/xlang/valid/While2.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object While1 {
diff --git a/src/test/resources/regression/verification/xlang/valid/While3.scala b/src/test/resources/regression/verification/xlang/valid/While3.scala
index 0ea9a5f64..1e2da45e6 100644
--- a/src/test/resources/regression/verification/xlang/valid/While3.scala
+++ b/src/test/resources/regression/verification/xlang/valid/While3.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
object While3 {
diff --git a/src/test/scala/leon/test/LeonTestSuite.scala b/src/test/scala/leon/test/LeonTestSuite.scala
index 415832a00..be5f00802 100644
--- a/src/test/scala/leon/test/LeonTestSuite.scala
+++ b/src/test/scala/leon/test/LeonTestSuite.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package test
diff --git a/src/test/scala/leon/test/TestSilentReporter.scala b/src/test/scala/leon/test/TestSilentReporter.scala
index 8cbde4ab1..295c04be1 100644
--- a/src/test/scala/leon/test/TestSilentReporter.scala
+++ b/src/test/scala/leon/test/TestSilentReporter.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon
package test
diff --git a/src/test/scala/leon/test/condabd/EvaluationTest.scala b/src/test/scala/leon/test/condabd/EvaluationTest.scala
index b8acc3cb8..0f3fd9dd9 100644
--- a/src/test/scala/leon/test/condabd/EvaluationTest.scala
+++ b/src/test/scala/leon/test/condabd/EvaluationTest.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd
import org.scalatest.FunSuite
diff --git a/src/test/scala/leon/test/condabd/VerifierTest.scala b/src/test/scala/leon/test/condabd/VerifierTest.scala
index ea605105b..395417e15 100644
--- a/src/test/scala/leon/test/condabd/VerifierTest.scala
+++ b/src/test/scala/leon/test/condabd/VerifierTest.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd
import org.junit.Assert._
diff --git a/src/test/scala/leon/test/condabd/enumeration/EnumeratorTest.scala b/src/test/scala/leon/test/condabd/enumeration/EnumeratorTest.scala
index b083ec4fc..6a629eb26 100644
--- a/src/test/scala/leon/test/condabd/enumeration/EnumeratorTest.scala
+++ b/src/test/scala/leon/test/condabd/enumeration/EnumeratorTest.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd
import leon.synthesis.condabd.insynth.InSynth
diff --git a/src/test/scala/leon/test/condabd/insynth/InSynthTest.scala b/src/test/scala/leon/test/condabd/insynth/InSynthTest.scala
index 50f1eead6..bdc588de1 100644
--- a/src/test/scala/leon/test/condabd/insynth/InSynthTest.scala
+++ b/src/test/scala/leon/test/condabd/insynth/InSynthTest.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd
package insynth
diff --git a/src/test/scala/leon/test/condabd/insynth/loader/LoaderTest.scala b/src/test/scala/leon/test/condabd/insynth/loader/LoaderTest.scala
index b436367ba..2b06d18cc 100644
--- a/src/test/scala/leon/test/condabd/insynth/loader/LoaderTest.scala
+++ b/src/test/scala/leon/test/condabd/insynth/loader/LoaderTest.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd
package insynth
package loader
diff --git a/src/test/scala/leon/test/condabd/insynth/reconstruction/CodeGeneratorTest.scala b/src/test/scala/leon/test/condabd/insynth/reconstruction/CodeGeneratorTest.scala
index 961b18b18..0db1d7161 100644
--- a/src/test/scala/leon/test/condabd/insynth/reconstruction/CodeGeneratorTest.scala
+++ b/src/test/scala/leon/test/condabd/insynth/reconstruction/CodeGeneratorTest.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd.insynth
package reconstruction
diff --git a/src/test/scala/leon/test/condabd/insynth/reconstruction/ReconstructorTest.scala b/src/test/scala/leon/test/condabd/insynth/reconstruction/ReconstructorTest.scala
index 7b94639ef..dc37adb2b 100644
--- a/src/test/scala/leon/test/condabd/insynth/reconstruction/ReconstructorTest.scala
+++ b/src/test/scala/leon/test/condabd/insynth/reconstruction/ReconstructorTest.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd.insynth
package reconstruction
diff --git a/src/test/scala/leon/test/condabd/insynth/testutil/CommonDeclarations.scala b/src/test/scala/leon/test/condabd/insynth/testutil/CommonDeclarations.scala
index 2d721e38b..3991240a6 100644
--- a/src/test/scala/leon/test/condabd/insynth/testutil/CommonDeclarations.scala
+++ b/src/test/scala/leon/test/condabd/insynth/testutil/CommonDeclarations.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd.insynth.testutil
import scala.collection.mutable.{ Map => MutableMap, Set => MutableSet }
diff --git a/src/test/scala/leon/test/condabd/insynth/testutil/CommonLambda.scala b/src/test/scala/leon/test/condabd/insynth/testutil/CommonLambda.scala
index 5182978c6..04593e929 100644
--- a/src/test/scala/leon/test/condabd/insynth/testutil/CommonLambda.scala
+++ b/src/test/scala/leon/test/condabd/insynth/testutil/CommonLambda.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd.insynth.testutil
import leon.synthesis.condabd.insynth.leon.query.{ LeonQueryBuilder => QueryBuilder, _ }
diff --git a/src/test/scala/leon/test/condabd/insynth/testutil/CommonLeonExpressions.scala b/src/test/scala/leon/test/condabd/insynth/testutil/CommonLeonExpressions.scala
index 93d76681f..dacfe93cd 100644
--- a/src/test/scala/leon/test/condabd/insynth/testutil/CommonLeonExpressions.scala
+++ b/src/test/scala/leon/test/condabd/insynth/testutil/CommonLeonExpressions.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd.insynth.testutil
import leon.purescala.Definitions.{ FunDef, ValDef, Program, ModuleDef }
diff --git a/src/test/scala/leon/test/condabd/insynth/testutil/CommonProofTrees.scala b/src/test/scala/leon/test/condabd/insynth/testutil/CommonProofTrees.scala
index 2cf742e76..0cfdfe301 100644
--- a/src/test/scala/leon/test/condabd/insynth/testutil/CommonProofTrees.scala
+++ b/src/test/scala/leon/test/condabd/insynth/testutil/CommonProofTrees.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd.insynth.testutil
import scala.collection.mutable.{ Map => MutableMap, Set => MutableSet }
diff --git a/src/test/scala/leon/test/condabd/insynth/testutil/CommonUtils.scala b/src/test/scala/leon/test/condabd/insynth/testutil/CommonUtils.scala
index c0e9c24ae..7c273e245 100644
--- a/src/test/scala/leon/test/condabd/insynth/testutil/CommonUtils.scala
+++ b/src/test/scala/leon/test/condabd/insynth/testutil/CommonUtils.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd.insynth.testutil
import org.junit.Assert._
diff --git a/src/test/scala/leon/test/condabd/refinement/FilterTest.scala b/src/test/scala/leon/test/condabd/refinement/FilterTest.scala
index 2c1467ec5..30cd50d2f 100644
--- a/src/test/scala/leon/test/condabd/refinement/FilterTest.scala
+++ b/src/test/scala/leon/test/condabd/refinement/FilterTest.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd
package refinement
diff --git a/src/test/scala/leon/test/condabd/refinement/RefinementExamples.scala b/src/test/scala/leon/test/condabd/refinement/RefinementExamples.scala
index e5c7c85f7..347d8ecf3 100644
--- a/src/test/scala/leon/test/condabd/refinement/RefinementExamples.scala
+++ b/src/test/scala/leon/test/condabd/refinement/RefinementExamples.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd.refinement
import scala.util.Random
diff --git a/src/test/scala/leon/test/condabd/refinement/VariableRefinerComposeTest.scala b/src/test/scala/leon/test/condabd/refinement/VariableRefinerComposeTest.scala
index da152da48..8e281fa29 100644
--- a/src/test/scala/leon/test/condabd/refinement/VariableRefinerComposeTest.scala
+++ b/src/test/scala/leon/test/condabd/refinement/VariableRefinerComposeTest.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd
package refinement
diff --git a/src/test/scala/leon/test/condabd/refinement/VariableRefinerExecutionTest.scala b/src/test/scala/leon/test/condabd/refinement/VariableRefinerExecutionTest.scala
index 8afe29d2d..770e5734a 100644
--- a/src/test/scala/leon/test/condabd/refinement/VariableRefinerExecutionTest.scala
+++ b/src/test/scala/leon/test/condabd/refinement/VariableRefinerExecutionTest.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd
package refinement
diff --git a/src/test/scala/leon/test/condabd/refinement/VariableRefinerStructureTest.scala b/src/test/scala/leon/test/condabd/refinement/VariableRefinerStructureTest.scala
index 501ae1662..f0f385719 100644
--- a/src/test/scala/leon/test/condabd/refinement/VariableRefinerStructureTest.scala
+++ b/src/test/scala/leon/test/condabd/refinement/VariableRefinerStructureTest.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd
package refinement
diff --git a/src/test/scala/leon/test/condabd/refinement/VariableSolverRefinerTest.scala b/src/test/scala/leon/test/condabd/refinement/VariableSolverRefinerTest.scala
index ca85259b4..444ca30ad 100644
--- a/src/test/scala/leon/test/condabd/refinement/VariableSolverRefinerTest.scala
+++ b/src/test/scala/leon/test/condabd/refinement/VariableSolverRefinerTest.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd
package refinement
diff --git a/src/test/scala/leon/test/condabd/util/Scaffold.scala b/src/test/scala/leon/test/condabd/util/Scaffold.scala
index 4314054eb..3b30dca9b 100644
--- a/src/test/scala/leon/test/condabd/util/Scaffold.scala
+++ b/src/test/scala/leon/test/condabd/util/Scaffold.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd
package util
diff --git a/src/test/scala/leon/test/condabd/util/Utils.scala b/src/test/scala/leon/test/condabd/util/Utils.scala
index 36c7ddf7d..0bd397000 100644
--- a/src/test/scala/leon/test/condabd/util/Utils.scala
+++ b/src/test/scala/leon/test/condabd/util/Utils.scala
@@ -1,3 +1,5 @@
+/* Copyright 2009-2014 EPFL, Lausanne */
+
package leon.test.condabd
package util
diff --git a/src/test/scala/leon/test/evaluators/EvaluatorsTests.scala b/src/test/scala/leon/test/evaluators/EvaluatorsTests.scala
index f6db22df8..77237afc0 100644
--- a/src/test/scala/leon/test/evaluators/EvaluatorsTests.scala
+++ b/src/test/scala/leon/test/evaluators/EvaluatorsTests.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.test
package evaluators
diff --git a/src/test/scala/leon/test/purescala/DataGen.scala b/src/test/scala/leon/test/purescala/DataGen.scala
index 1c118acd8..c9b19e5e4 100644
--- a/src/test/scala/leon/test/purescala/DataGen.scala
+++ b/src/test/scala/leon/test/purescala/DataGen.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.test
package purescala
diff --git a/src/test/scala/leon/test/purescala/LikelyEq.scala b/src/test/scala/leon/test/purescala/LikelyEq.scala
index 7c85c4ae2..1fd61a4c5 100644
--- a/src/test/scala/leon/test/purescala/LikelyEq.scala
+++ b/src/test/scala/leon/test/purescala/LikelyEq.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.test
package purescala
diff --git a/src/test/scala/leon/test/purescala/LikelyEqSuite.scala b/src/test/scala/leon/test/purescala/LikelyEqSuite.scala
index 54531aa35..1a5cf7e54 100644
--- a/src/test/scala/leon/test/purescala/LikelyEqSuite.scala
+++ b/src/test/scala/leon/test/purescala/LikelyEqSuite.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.test
package purescala
diff --git a/src/test/scala/leon/test/purescala/TransformationTests.scala b/src/test/scala/leon/test/purescala/TransformationTests.scala
index 953419742..f79ea2438 100644
--- a/src/test/scala/leon/test/purescala/TransformationTests.scala
+++ b/src/test/scala/leon/test/purescala/TransformationTests.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.test
package purescala
diff --git a/src/test/scala/leon/test/purescala/TreeNormalizationsTests.scala b/src/test/scala/leon/test/purescala/TreeNormalizationsTests.scala
index 5d788ef2e..a414e536a 100644
--- a/src/test/scala/leon/test/purescala/TreeNormalizationsTests.scala
+++ b/src/test/scala/leon/test/purescala/TreeNormalizationsTests.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.test
package purescala
diff --git a/src/test/scala/leon/test/purescala/TreeOpsTests.scala b/src/test/scala/leon/test/purescala/TreeOpsTests.scala
index d86c4866e..988c3ffd4 100644
--- a/src/test/scala/leon/test/purescala/TreeOpsTests.scala
+++ b/src/test/scala/leon/test/purescala/TreeOpsTests.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.test
package purescala
diff --git a/src/test/scala/leon/test/purescala/TreeTests.scala b/src/test/scala/leon/test/purescala/TreeTests.scala
index 0d46e8fb9..6abdf231a 100644
--- a/src/test/scala/leon/test/purescala/TreeTests.scala
+++ b/src/test/scala/leon/test/purescala/TreeTests.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.test
package purescala
diff --git a/src/test/scala/leon/test/solvers/EnumerationSolverTests.scala b/src/test/scala/leon/test/solvers/EnumerationSolverTests.scala
index 44ceb91e1..ac1f4926d 100644
--- a/src/test/scala/leon/test/solvers/EnumerationSolverTests.scala
+++ b/src/test/scala/leon/test/solvers/EnumerationSolverTests.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.test
package solvers
diff --git a/src/test/scala/leon/test/solvers/TimeoutSolverTests.scala b/src/test/scala/leon/test/solvers/TimeoutSolverTests.scala
index 5678bd627..109895cdc 100644
--- a/src/test/scala/leon/test/solvers/TimeoutSolverTests.scala
+++ b/src/test/scala/leon/test/solvers/TimeoutSolverTests.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.test
package solvers
diff --git a/src/test/scala/leon/test/solvers/z3/FairZ3SolverTests.scala b/src/test/scala/leon/test/solvers/z3/FairZ3SolverTests.scala
index c0ccb8917..0e520d182 100644
--- a/src/test/scala/leon/test/solvers/z3/FairZ3SolverTests.scala
+++ b/src/test/scala/leon/test/solvers/z3/FairZ3SolverTests.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.test
package solvers.z3
diff --git a/src/test/scala/leon/test/solvers/z3/FairZ3SolverTestsNewAPI.scala b/src/test/scala/leon/test/solvers/z3/FairZ3SolverTestsNewAPI.scala
index 794c900a9..8ce8d3796 100644
--- a/src/test/scala/leon/test/solvers/z3/FairZ3SolverTestsNewAPI.scala
+++ b/src/test/scala/leon/test/solvers/z3/FairZ3SolverTestsNewAPI.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.test
package solvers.z3
diff --git a/src/test/scala/leon/test/solvers/z3/UninterpretedZ3SolverTests.scala b/src/test/scala/leon/test/solvers/z3/UninterpretedZ3SolverTests.scala
index 5017f22ec..d4ac0f2e5 100644
--- a/src/test/scala/leon/test/solvers/z3/UninterpretedZ3SolverTests.scala
+++ b/src/test/scala/leon/test/solvers/z3/UninterpretedZ3SolverTests.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.test
package solvers.z3
diff --git a/src/test/scala/leon/test/synthesis/AlgebraSuite.scala b/src/test/scala/leon/test/synthesis/AlgebraSuite.scala
index aef22779e..22b4380a1 100644
--- a/src/test/scala/leon/test/synthesis/AlgebraSuite.scala
+++ b/src/test/scala/leon/test/synthesis/AlgebraSuite.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.test
package synthesis
diff --git a/src/test/scala/leon/test/synthesis/LinearEquationsSuite.scala b/src/test/scala/leon/test/synthesis/LinearEquationsSuite.scala
index b2d8ad775..84282bbe8 100644
--- a/src/test/scala/leon/test/synthesis/LinearEquationsSuite.scala
+++ b/src/test/scala/leon/test/synthesis/LinearEquationsSuite.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.test
package synthesis
diff --git a/src/test/scala/leon/test/synthesis/SynthesisRegressionSuite.scala b/src/test/scala/leon/test/synthesis/SynthesisRegressionSuite.scala
index 502679382..03d8b1170 100644
--- a/src/test/scala/leon/test/synthesis/SynthesisRegressionSuite.scala
+++ b/src/test/scala/leon/test/synthesis/SynthesisRegressionSuite.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package test
diff --git a/src/test/scala/leon/test/synthesis/SynthesisSuite.scala b/src/test/scala/leon/test/synthesis/SynthesisSuite.scala
index 4ac4e47bf..3e04edf27 100644
--- a/src/test/scala/leon/test/synthesis/SynthesisSuite.scala
+++ b/src/test/scala/leon/test/synthesis/SynthesisSuite.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon.test
package synthesis
diff --git a/src/test/scala/leon/test/termination/TerminationRegression.scala b/src/test/scala/leon/test/termination/TerminationRegression.scala
index 160a20354..0037901e8 100644
--- a/src/test/scala/leon/test/termination/TerminationRegression.scala
+++ b/src/test/scala/leon/test/termination/TerminationRegression.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package test
diff --git a/src/test/scala/leon/test/verification/LibraryVerificationRegression.scala b/src/test/scala/leon/test/verification/LibraryVerificationRegression.scala
index a0d91cdf9..119a31764 100644
--- a/src/test/scala/leon/test/verification/LibraryVerificationRegression.scala
+++ b/src/test/scala/leon/test/verification/LibraryVerificationRegression.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package test
diff --git a/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala b/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
index d65e875fb..594a0cb34 100644
--- a/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
+++ b/src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package test
diff --git a/src/test/scala/leon/test/verification/XLangVerificationRegression.scala b/src/test/scala/leon/test/verification/XLangVerificationRegression.scala
index 5492bb522..9af2b1498 100644
--- a/src/test/scala/leon/test/verification/XLangVerificationRegression.scala
+++ b/src/test/scala/leon/test/verification/XLangVerificationRegression.scala
@@ -1,4 +1,4 @@
-/* Copyright 2009-2013 EPFL, Lausanne */
+/* Copyright 2009-2014 EPFL, Lausanne */
package leon
package test
--
GitLab