Web interface moved to epfl-lara/leon-web
Restore positions of Chooses trated within ImperativeCodeElimination
Update version of scalaz3
Fix an ugly, sneaky bug that prevented substitutions
Implement solver support for FiniteArray
Fix condition for ADTSplit including/excluding cases.
Introduces a phase to protect exact type of vars

This new phase is invoked after the extraction phase. It will rewrite
precondition (and postcondition) of functions to add instanceOf when the
parameter (and return type) is a case class concrete type (instead of abstract
class).

If not done, then during the mapping to Z3 we lose the precise subtype
information, and Z3 will be able to find non valid counter-examples,
of a different case class for example.

Since tests are very important, we introduce two testcases that make
sure the issue is fixed. We also needed to update the Testcase runners
to make use of the new pipeline.
Apply BSD 2 clauses license
Update README.md

Fix some links/references
Update README.md

Fix typo
Upgrade Leon to Scala 2.10.x

- Refactor code extraction
  - Standardize extractors
  - Fix type identification by resolving type aliases

- Redo reporter integration with Scalac
  - Fix relining to prevent bizarre compile-errors

- Refactor Pretty-Printers
  - Extensible class interface
  - Not returning mutable string-buffers anymore

- Fixes according to 2.10
    - 100% false warnings in Tests
    - imports for postfix-ops or implicits

- Upgrade ScalaZ3 to 2.10

- Upgrade Cafebabe to 2.10
Fix Scalaz3 library
New benchmark, and a fix in `DefaultEvaluator`.

The new benchmark is a Heap, straight from Okasaki's PhD thesis.
Currently the specification is very weak ("implements a set").
The fix is the addition of a missing case (SubsetOf) in the evaluator.
Fix 2.10 warnings in new benchmark
Decent interface for ScalaPrinter
ScalaZ3 is specific per architecture
Update versions of ScalaZ3 to latest builds, for 32 and 64b
Fix interface of PrettyPrinter causing ScalaPrinter to fall-back
Proper hashing for records in codegen.

This commit introduces a proper hashCode function for case classes and
tuples used in codegen. It also changes the internal datastructure for
maps and sets from TreeX to HashX.
Use VanuatooDataGen: instrumenting/filtering data gen

- Activate through --cegis:vanuatoo
- Possibility to skip isomorphic models
- One pattern per conjunct