Differences

This shows you the differences between two versions of the page.

--- leon-repair [2015/02/06 17:21]
ekneuss created
+++ leon-repair [2015/02/09 14:57]
ekneuss
@@ Line 6: / Line 6: @@
 Each benchmark contains a "fixme" comment indicating the place and kind of error introduced:
-  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Desugar/Desugar1.scala|Desugar.desugar1]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Compiler/Compiler1.scala|Compiler.desugar1]]
-  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Desugar/Desugar2.scala|Desugar.desugar2]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Compiler/Compiler2.scala|Compiler.desugar2]]
-  *[[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Desugar/Desugar3.scala|Desugar.desugar3]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Compiler/Compiler3.scala|Compiler.desugar3]]
-  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Desugar/Desugar4.scala|Desugar.desugar4]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Compiler/Compiler4.scala|Compiler.desugar4]]
-  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/HeapSort/HeapSort3.scala|HeapSort.merge1]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Compiler/Compiler5.scala|Compiler.desugar5]]
-  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/HeapSort/HeapSort4.scala|HeapSort.merge2]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Compiler/Compiler6.scala|Compiler.simplify1]]
-  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/HeapSort/HeapSort5.scala|HeapSort.merge3]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Compiler/Compiler7.scala|Compiler.simplify2]]
-  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/HeapSort/HeapSort6.scala|HeapSort.merge4]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Heap/Heap3.scala|Heap.merge1]]
-  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/HeapSort/HeapSort7.scala|HeapSort.merge5]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Heap/Heap4.scala|Heap.merge2]]
-  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/HeapSort/HeapSort8.scala|HeapSort.insert]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Heap/Heap5.scala|Heap.merge3]]
-  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/HeapSort/HeapSort9.scala|HeapSort.makeNode]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Heap/Heap6.scala|Heap.merge4]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Heap/Heap7.scala|Heap.merge5]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Heap/Heap8.scala|Heap.insert]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Heap/Heap9.scala|Heap.makeNode]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Heap/Heap10.scala|Heap.merge]]
   * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/List/List1.scala|List.pad]]
   * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/List/List2.scala|List.++]]
@@ Line 27: / Line 31: @@
   * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/List/List10.scala|List.size]]
   * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/List/List11.scala|List.sum]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/List/List12.scala|List.delete]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/List/List13.scala|List.drop]]
   * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/PropLogic/PropLogic1.scala|PropLogic.nnf1]]
   * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/PropLogic/PropLogic2.scala|PropLogic.nnf2]]
@@ Line 32: / Line 38: @@
   * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/PropLogic/PropLogic4.scala|PropLogic.nnf4]]
   * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/PropLogic/PropLogic5.scala|PropLogic.nnf5]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Numerical/Numerical1.scala|Numerical.power]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/Numerical/Numerical3.scala|Numerical.moddiv]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/MergeSort/MergeSort1.scala|MergeSort.split]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/MergeSort/MergeSort2.scala|MergeSort.merge1]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/MergeSort/MergeSort3.scala|MergeSort.merge2]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/MergeSort/MergeSort4.scala|MergeSort.merge3]]
+  * [[https://github.com/colder/leon/blob/topic/repair/testcases/repair/MergeSort/MergeSort5.scala|MergeSort.merge4]]
+The version of Leon used to run all these benchmarks is [[https://github.com/colder/leon/commit/ddd08e3aac4cc52c51dc60b59867eaea38f3cbf5| publicly available on Github]].
-The version of Leon used to run all these benchmarks is [[https://github.com/colder/leon/tree/56d3d2e0ef7a7707b9d8a079870e9fb8edd9e014| publicly available on Github]].