Merge branch 'manos' of https://github.com/epfl-lara/leon into string-render

build.sbt

library/monads/state/State.scala

src/main/scala/leon/Main.scala

src/main/scala/leon/evaluators/RecursiveEvaluator.scala

src/main/scala/leon/frontends/scalac/CodeExtraction.scala

...in/scala/leon/invariant/engine/InferInvariantsPhase.scala

...in/scala/leon/purescala/CompleteAbstractDefinitions.scala

src/main/scala/leon/purescala/ExprOps.scala

src/main/scala/leon/purescala/Expressions.scala

src/main/scala/leon/purescala/FunctionClosure.scala

src/main/scala/leon/purescala/Quantification.scala

src/main/scala/leon/repair/Repairman.scala

src/main/scala/leon/solvers/Model.scala

src/main/scala/leon/solvers/Solver.scala

...main/scala/leon/solvers/combinators/PortfolioSolver.scala

src/main/scala/leon/solvers/isabelle/Component.scala

src/main/scala/leon/solvers/smtlib/SMTLIBCVC4Solver.scala

src/main/scala/leon/synthesis/ConversionPhase.scala

src/main/scala/leon/synthesis/ConvertWithOracle.scala

src/main/scala/leon/synthesis/Synthesizer.scala