Merge branch 'master' of https://github.com/epfl-lara/leon

LICENSE

library/instrumentation/package.scala

library/invariant/package.scala

library/proof/Internal.scala

library/proof/package.scala

src/main/scala/leon/Main.scala

src/main/scala/leon/evaluators/ScalacEvaluator.scala

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

src/main/scala/leon/invariant/engine/InferenceReport.scala

...scala/leon/invariant/engine/UnfoldingTemplateSolver.scala

...ala/leon/invariant/templateSolvers/ExtendedUFSolver.scala

...la/leon/invariant/templateSolvers/FarkasLemmaSolver.scala

...ala/leon/invariant/templateSolvers/NLTemplateSolver.scala

...scala/leon/invariant/templateSolvers/TemplateSolver.scala

src/main/scala/leon/invariant/util/Minimizer.scala

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

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

src/main/scala/leon/solvers/sygus/SygusSolver.scala

src/main/scala/leon/synthesis/rules/SygusCVC4.scala

src/main/scala/leon/utils/InterruptManager.scala