-
- Downloads
Add cost models, make things a tad bit nicer, synthesizer options
Showing
- src/main/scala/leon/synthesis/Cost.scala 21 additions, 13 deletionssrc/main/scala/leon/synthesis/Cost.scala
- src/main/scala/leon/synthesis/ParallelSearch.scala 2 additions, 1 deletionsrc/main/scala/leon/synthesis/ParallelSearch.scala
- src/main/scala/leon/synthesis/SimpleSearch.scala 13 additions, 5 deletionssrc/main/scala/leon/synthesis/SimpleSearch.scala
- src/main/scala/leon/synthesis/Solution.scala 1 addition, 5 deletionssrc/main/scala/leon/synthesis/Solution.scala
- src/main/scala/leon/synthesis/SynthesisPhase.scala 8 additions, 16 deletionssrc/main/scala/leon/synthesis/SynthesisPhase.scala
- src/main/scala/leon/synthesis/Synthesizer.scala 8 additions, 10 deletionssrc/main/scala/leon/synthesis/Synthesizer.scala
- src/main/scala/leon/synthesis/SynthesizerOptions.scala 11 additions, 0 deletionssrc/main/scala/leon/synthesis/SynthesizerOptions.scala
- src/main/scala/leon/synthesis/search/AndOrGraph.scala 12 additions, 12 deletionssrc/main/scala/leon/synthesis/search/AndOrGraph.scala
- src/main/scala/leon/synthesis/search/AndOrGraphDotConverter.scala 2 additions, 2 deletions.../scala/leon/synthesis/search/AndOrGraphDotConverter.scala
- src/main/scala/leon/synthesis/search/AndOrGraphParallelSearch.scala 1 addition, 1 deletion...cala/leon/synthesis/search/AndOrGraphParallelSearch.scala
- src/main/scala/leon/synthesis/search/AndOrGraphPartialSolution.scala 1 addition, 1 deletion...ala/leon/synthesis/search/AndOrGraphPartialSolution.scala
- src/main/scala/leon/synthesis/search/AndOrGraphSearch.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/search/AndOrGraphSearch.scala
Loading
Please register or sign in to comment