-
- Downloads
Function closure: adding all used vars in the argument declaration of each nested function
Showing
- src/main/scala/leon/FunctionClosure.scala 73 additions, 0 deletionssrc/main/scala/leon/FunctionClosure.scala
- src/main/scala/leon/plugin/CodeExtraction.scala 2 additions, 3 deletionssrc/main/scala/leon/plugin/CodeExtraction.scala
- src/main/scala/leon/plugin/Extractors.scala 3 additions, 3 deletionssrc/main/scala/leon/plugin/Extractors.scala
Loading
Please register or sign in to comment