Merge remote-tracking branch 'origin/master' into HEAD

README

src/main/scala/leon/Analysis.scala

src/main/scala/leon/ArrayTransformation.scala

src/main/scala/leon/DefaultTactic.scala

src/main/scala/leon/EpsilonElimination.scala

src/main/scala/leon/Evaluator.scala

src/main/scala/leon/Extensions.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/Main.scala

src/main/scala/leon/RandomSolver.scala

src/main/scala/leon/Simplificator.scala

src/main/scala/leon/TestExtension.scala

src/main/scala/leon/UnitElimination.scala

src/main/scala/leon/Z3ModelReconstruction.scala

src/main/scala/leon/isabelle/Main.scala