-
- Downloads
reject all sort of program using array in non-supported way, and add a clone array method
Showing
- src/main/scala/leon/ArrayTransformation.scala 4 additions, 1 deletionsrc/main/scala/leon/ArrayTransformation.scala
- src/main/scala/leon/plugin/CodeExtraction.scala 102 additions, 18 deletionssrc/main/scala/leon/plugin/CodeExtraction.scala
- src/main/scala/leon/plugin/Extractors.scala 7 additions, 0 deletionssrc/main/scala/leon/plugin/Extractors.scala
- src/main/scala/leon/purescala/PrettyPrinter.scala 4 additions, 0 deletionssrc/main/scala/leon/purescala/PrettyPrinter.scala
- src/main/scala/leon/purescala/Trees.scala 7 additions, 0 deletionssrc/main/scala/leon/purescala/Trees.scala
- testcases/BubbleSort.scala 1 addition, 1 deletiontestcases/BubbleSort.scala
- testcases/regression/error/Array10.scala 12 additions, 0 deletionstestcases/regression/error/Array10.scala
- testcases/regression/error/Array2.scala 3 additions, 2 deletionstestcases/regression/error/Array2.scala
- testcases/regression/error/Array3.scala 2 additions, 1 deletiontestcases/regression/error/Array3.scala
- testcases/regression/error/Array4.scala 8 additions, 0 deletionstestcases/regression/error/Array4.scala
- testcases/regression/error/Array5.scala 10 additions, 0 deletionstestcases/regression/error/Array5.scala
- testcases/regression/error/Array6.scala 10 additions, 0 deletionstestcases/regression/error/Array6.scala
- testcases/regression/error/Array7.scala 9 additions, 0 deletionstestcases/regression/error/Array7.scala
- testcases/regression/error/Array8.scala 7 additions, 0 deletionstestcases/regression/error/Array8.scala
- testcases/regression/error/Array9.scala 11 additions, 0 deletionstestcases/regression/error/Array9.scala
- testcases/regression/valid/Array10.scala 9 additions, 0 deletionstestcases/regression/valid/Array10.scala
- testcases/regression/valid/Array9.scala 15 additions, 0 deletionstestcases/regression/valid/Array9.scala
Loading
Please register or sign in to comment