(a) Adding support for running lazy and memoized programs
(b) Fixing bugs in the benchmarks (c) Makinging transformation phases of Orb ignore parts of the library
Showing
- library/lazy/package.scala 34 additions, 82 deletionslibrary/lazy/package.scala
- library/mem/package.scala 56 additions, 0 deletionslibrary/mem/package.scala
- library/stats/package.scala 28 additions, 0 deletionslibrary/stats/package.scala
- libtest/build.sbt 17 additions, 0 deletionslibtest/build.sbt
- libtest/project/Build.scala 35 additions, 0 deletionslibtest/project/Build.scala
- libtest/src/main/scala/leon/annotation/isabelle.scala 31 additions, 0 deletionslibtest/src/main/scala/leon/annotation/isabelle.scala
- libtest/src/main/scala/leon/annotation/package.scala 43 additions, 0 deletionslibtest/src/main/scala/leon/annotation/package.scala
- libtest/src/main/scala/leon/collection/List.scala 897 additions, 0 deletionslibtest/src/main/scala/leon/collection/List.scala
- libtest/src/main/scala/leon/collection/package.scala 25 additions, 0 deletionslibtest/src/main/scala/leon/collection/package.scala
- libtest/src/main/scala/leon/instrumentation/package.scala 24 additions, 0 deletionslibtest/src/main/scala/leon/instrumentation/package.scala
- libtest/src/main/scala/leon/invariant/package.scala 26 additions, 0 deletionslibtest/src/main/scala/leon/invariant/package.scala
- libtest/src/main/scala/leon/lang/Dummy.scala 3 additions, 0 deletionslibtest/src/main/scala/leon/lang/Dummy.scala
- libtest/src/main/scala/leon/lang/Either.scala 27 additions, 0 deletionslibtest/src/main/scala/leon/lang/Either.scala
- libtest/src/main/scala/leon/lang/Map.scala 33 additions, 0 deletionslibtest/src/main/scala/leon/lang/Map.scala
- libtest/src/main/scala/leon/lang/Option.scala 84 additions, 0 deletionslibtest/src/main/scala/leon/lang/Option.scala
- libtest/src/main/scala/leon/lang/Rational.scala 85 additions, 0 deletionslibtest/src/main/scala/leon/lang/Rational.scala
- libtest/src/main/scala/leon/lang/Real.scala 25 additions, 0 deletionslibtest/src/main/scala/leon/lang/Real.scala
- libtest/src/main/scala/leon/lang/Set.scala 26 additions, 0 deletionslibtest/src/main/scala/leon/lang/Set.scala
- libtest/src/main/scala/leon/lang/StrOps.scala 23 additions, 0 deletionslibtest/src/main/scala/leon/lang/StrOps.scala
- libtest/src/main/scala/leon/lang/package.scala 85 additions, 0 deletionslibtest/src/main/scala/leon/lang/package.scala
Loading
Please register or sign in to comment