-
- Downloads
Merge C code generation from Marco
No related branches found
No related tags found
Showing
- .larabot.conf 1 addition, 0 deletions.larabot.conf
- build.sbt 11 additions, 1 deletionbuild.sbt
- src/main/scala/leon/Main.scala 15 additions, 3 deletionssrc/main/scala/leon/Main.scala
- src/main/scala/leon/frontends/scalac/CodeExtraction.scala 1 addition, 1 deletionsrc/main/scala/leon/frontends/scalac/CodeExtraction.scala
- src/main/scala/leon/genc/CAST.scala 296 additions, 0 deletionssrc/main/scala/leon/genc/CAST.scala
- src/main/scala/leon/genc/CConverter.scala 708 additions, 0 deletionssrc/main/scala/leon/genc/CConverter.scala
- src/main/scala/leon/genc/CFileOutputPhase.scala 54 additions, 0 deletionssrc/main/scala/leon/genc/CFileOutputPhase.scala
- src/main/scala/leon/genc/CPrinter.scala 198 additions, 0 deletionssrc/main/scala/leon/genc/CPrinter.scala
- src/main/scala/leon/genc/CPrinterHelper.scala 86 additions, 0 deletionssrc/main/scala/leon/genc/CPrinterHelper.scala
- src/main/scala/leon/genc/GenerateCPhase.scala 20 additions, 0 deletionssrc/main/scala/leon/genc/GenerateCPhase.scala
- src/main/scala/leon/purescala/Expressions.scala 2 additions, 2 deletionssrc/main/scala/leon/purescala/Expressions.scala
- src/main/scala/leon/purescala/PrettyPrinter.scala 1 addition, 0 deletionssrc/main/scala/leon/purescala/PrettyPrinter.scala
- src/main/scala/leon/utils/DebugSections.scala 3 additions, 1 deletionsrc/main/scala/leon/utils/DebugSections.scala
- src/main/scala/leon/utils/PreprocessingPhase.scala 13 additions, 5 deletionssrc/main/scala/leon/utils/PreprocessingPhase.scala
- src/sphinx/genc.rst 122 additions, 0 deletionssrc/sphinx/genc.rst
- src/sphinx/index.rst 1 addition, 0 deletionssrc/sphinx/index.rst
- src/sphinx/options.rst 86 additions, 75 deletionssrc/sphinx/options.rst
- src/test/resources/regression/genc/invalid/AbsFun.scala 66 additions, 0 deletionssrc/test/resources/regression/genc/invalid/AbsFun.scala
- src/test/resources/regression/genc/invalid/LinearSearch.scala 40 additions, 0 deletions...test/resources/regression/genc/invalid/LinearSearch.scala
- src/test/resources/regression/genc/unverified/BinarySearch.scala 82 additions, 0 deletions...t/resources/regression/genc/unverified/BinarySearch.scala
Loading
Please register or sign in to comment