epfl-lara/leon — pull request #56 by colder (2014-02-28 14:20:12+00:00)
Title: Implement the Leon library. Support classes and methods.

- Implement the Leon Library in Leon-land rather than Scala-land.
import leon.Utils._ becomes import leon.lang._
import leon.Annotations._ becomes import leon.annontation._

For now, the library defines generic Options and Lists.
The library is automatically imported from the ./leon script, unless
the --library=no option is passed.

- Support parsing of multiple files and modules.

- Introduce new annontations:
@ignore: remove definition from Leon
@verified: do not consider for verification unless explicitly
specified