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

.gitignore

build.sbt

src/main/scala/leon/Main.scala

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

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

...main/scala/leon/invariant/datastructure/DisjointSet.scala

src/main/scala/leon/invariant/datastructure/Graph.scala

src/main/scala/leon/invariant/datastructure/Maps.scala

...a/leon/invariant/engine/CompositionalTemplateSolver.scala

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

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

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

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

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

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

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

...main/scala/leon/invariant/engine/TemplateEnumerator.scala

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

src/main/scala/leon/invariant/factories/AxiomFactory.scala

...main/scala/leon/invariant/factories/TemplateFactory.scala