Merge branch 'master' into instanceOf

.gitignore

PERMISSIONS

run-tests.sh

src/main/scala/leon/Analysis.scala

src/main/scala/leon/DefaultTactic.scala

src/main/scala/leon/EpsilonElimination.scala

src/main/scala/leon/Evaluator.scala

src/main/scala/leon/FairZ3Solver.scala

src/main/scala/leon/FunctionClosure.scala

src/main/scala/leon/FunctionHoisting.scala

src/main/scala/leon/FunctionTemplate.scala

src/main/scala/leon/ImperativeCodeElimination.scala

src/main/scala/leon/InductionTactic.scala

src/main/scala/leon/Logger.scala

src/main/scala/leon/Main.scala

src/main/scala/leon/Pass.scala

src/main/scala/leon/PassManager.scala

src/main/scala/leon/RandomSolver.scala

src/main/scala/leon/Reporter.scala

src/main/scala/leon/Settings.scala