-
- Downloads
No more Analyser class. Also merged AnalysisPhase and Analysis.
Showing
- src/main/scala/leon/isabelle/Main.scala 2 additions, 3 deletionssrc/main/scala/leon/isabelle/Main.scala
- src/main/scala/leon/testgen/TestGeneration.scala 2 additions, 3 deletionssrc/main/scala/leon/testgen/TestGeneration.scala
- src/main/scala/leon/verification/Analyser.scala 0 additions, 12 deletionssrc/main/scala/leon/verification/Analyser.scala
- src/main/scala/leon/verification/Analysis.scala 0 additions, 157 deletionssrc/main/scala/leon/verification/Analysis.scala
- src/main/scala/leon/verification/AnalysisPhase.scala 133 additions, 1 deletionsrc/main/scala/leon/verification/AnalysisPhase.scala
Loading
Please register or sign in to comment