Handle problem of costs=0 in case of missing SolutionBuilder, requires passing...
Handle problem of costs=0 in case of missing SolutionBuilder, requires passing more info to RuleInstantiation, but it is useful anyway
Showing
- src/main/scala/leon/synthesis/CostModel.scala 7 additions, 2 deletionssrc/main/scala/leon/synthesis/CostModel.scala
- src/main/scala/leon/synthesis/Heuristics.scala 2 additions, 2 deletionssrc/main/scala/leon/synthesis/Heuristics.scala
- src/main/scala/leon/synthesis/ParallelSearch.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/ParallelSearch.scala
- src/main/scala/leon/synthesis/Rules.scala 5 additions, 5 deletionssrc/main/scala/leon/synthesis/Rules.scala
- src/main/scala/leon/synthesis/SimpleSearch.scala 7 additions, 3 deletionssrc/main/scala/leon/synthesis/SimpleSearch.scala
- src/main/scala/leon/synthesis/heuristics/ADTInduction.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/heuristics/ADTInduction.scala
- src/main/scala/leon/synthesis/heuristics/IntInduction.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/heuristics/IntInduction.scala
- src/main/scala/leon/synthesis/heuristics/OptimisticInjection.scala 1 addition, 1 deletion...scala/leon/synthesis/heuristics/OptimisticInjection.scala
- src/main/scala/leon/synthesis/heuristics/SelectiveInlining.scala 1 addition, 1 deletion...n/scala/leon/synthesis/heuristics/SelectiveInlining.scala
- src/main/scala/leon/synthesis/rules/ADTDual.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/ADTDual.scala
- src/main/scala/leon/synthesis/rules/ADTSplit.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/ADTSplit.scala
- src/main/scala/leon/synthesis/rules/Assert.scala 2 additions, 2 deletionssrc/main/scala/leon/synthesis/rules/Assert.scala
- src/main/scala/leon/synthesis/rules/CaseSplit.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/CaseSplit.scala
- src/main/scala/leon/synthesis/rules/Cegis.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/Cegis.scala
- src/main/scala/leon/synthesis/rules/Disunification.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/Disunification.scala
- src/main/scala/leon/synthesis/rules/EqualitySplit.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/EqualitySplit.scala
- src/main/scala/leon/synthesis/rules/Ground.scala 2 additions, 2 deletionssrc/main/scala/leon/synthesis/rules/Ground.scala
- src/main/scala/leon/synthesis/rules/IntegerEquation.scala 2 additions, 2 deletionssrc/main/scala/leon/synthesis/rules/IntegerEquation.scala
- src/main/scala/leon/synthesis/rules/IntegerInequalities.scala 2 additions, 2 deletions...main/scala/leon/synthesis/rules/IntegerInequalities.scala
- src/main/scala/leon/synthesis/rules/OnePoint.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/rules/OnePoint.scala
Loading
Please register or sign in to comment