epfl-lara/leon — pull request #30 by colder (2013-07-11 15:10:23+00:00)
Title: 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