-
- Downloads
"README.md" did not exist on "bbb050ee74d06324c2865d83a25e8df64071842d"
Adding more benchmarks
Showing
- src/main/scala/leon/invariant/util/LetTupleSimplifications.scala 23 additions, 22 deletions...n/scala/leon/invariant/util/LetTupleSimplifications.scala
- src/main/scala/leon/laziness/LazyClosureConverter.scala 7 additions, 3 deletionssrc/main/scala/leon/laziness/LazyClosureConverter.scala
- src/main/scala/leon/laziness/LazyClosureFactory.scala 16 additions, 17 deletionssrc/main/scala/leon/laziness/LazyClosureFactory.scala
- src/main/scala/leon/laziness/TypeChecker.scala 0 additions, 1 deletionsrc/main/scala/leon/laziness/TypeChecker.scala
- src/main/scala/leon/transformations/InstProgSimplifier.scala 12 additions, 10 deletionssrc/main/scala/leon/transformations/InstProgSimplifier.scala
- src/main/scala/leon/transformations/InstrumentationUtil.scala 7 additions, 0 deletions...main/scala/leon/transformations/InstrumentationUtil.scala
- testcases/lazy-datastructures/Concat.scala 43 additions, 0 deletionstestcases/lazy-datastructures/Concat.scala
- testcases/lazy-datastructures/Sorting.scala 12 additions, 6 deletionstestcases/lazy-datastructures/Sorting.scala
- testcases/lazy-datastructures/SortingnConcat.scala 82 additions, 0 deletionstestcases/lazy-datastructures/SortingnConcat.scala
Loading
Please register or sign in to comment