-
- Downloads
Cleaning up benchmakrs, and adding support for statistics
Showing
- results/recent-res/Conqueue.out 0 additions, 306 deletionsresults/recent-res/Conqueue.out
- results/recent-res/Esop.out 0 additions, 47 deletionsresults/recent-res/Esop.out
- results/recent-res/Knapsack.out 0 additions, 167 deletionsresults/recent-res/Knapsack.out
- results/recent-res/MsortBU.out 0 additions, 138 deletionsresults/recent-res/MsortBU.out
- results/recent-res/Num.out 0 additions, 297 deletionsresults/recent-res/Num.out
- results/recent-res/NumRep.out 0 additions, 0 deletionsresults/recent-res/NumRep.out
- results/recent-res/Packrat.out 0 additions, 197 deletionsresults/recent-res/Packrat.out
- results/recent-res/RDQ.out 0 additions, 288 deletionsresults/recent-res/RDQ.out
- results/recent-res/RTQ.out 0 additions, 102 deletionsresults/recent-res/RTQ.out
- results/recent-res/Sort.out 0 additions, 75 deletionsresults/recent-res/Sort.out
- run-benchs.sh 2 additions, 2 deletionsrun-benchs.sh
- src/main/scala/leon/laziness/LazinessEliminationPhase.scala 36 additions, 0 deletionssrc/main/scala/leon/laziness/LazinessEliminationPhase.scala
- testcases/lazy-datastructures/BottomUpMegeSort.scala 6 additions, 2 deletionstestcases/lazy-datastructures/BottomUpMegeSort.scala
- testcases/lazy-datastructures/LazyNumericalRep.scala 1 addition, 6 deletionstestcases/lazy-datastructures/LazyNumericalRep.scala
- testcases/lazy-datastructures/RealTimeDeque.scala 4 additions, 12 deletionstestcases/lazy-datastructures/RealTimeDeque.scala
- testcases/lazy-datastructures/RealTimeQueue-new.scala 0 additions, 109 deletionstestcases/lazy-datastructures/RealTimeQueue-new.scala
- testcases/lazy-datastructures/RealTimeQueue.scala 18 additions, 23 deletionstestcases/lazy-datastructures/RealTimeQueue.scala
- testcases/lazy-datastructures/SortingnConcat.scala 0 additions, 1 deletiontestcases/lazy-datastructures/SortingnConcat.scala
- testcases/lazy-datastructures/conc/Conqueue.scala 1 addition, 9 deletionstestcases/lazy-datastructures/conc/Conqueue.scala
- testcases/lazy-datastructures/memoization/WeightedScheduling.scala 0 additions, 4 deletions.../lazy-datastructures/memoization/WeightedScheduling.scala
Loading
Please register or sign in to comment