-
- Downloads
Refactor grammars out of synthesis
Showing
- src/main/scala/leon/datagen/GrammarDataGen.scala 2 additions, 2 deletionssrc/main/scala/leon/datagen/GrammarDataGen.scala
- src/main/scala/leon/grammars/BaseGrammar.scala 73 additions, 0 deletionssrc/main/scala/leon/grammars/BaseGrammar.scala
- src/main/scala/leon/grammars/DepthBoundedGrammar.scala 22 additions, 0 deletionssrc/main/scala/leon/grammars/DepthBoundedGrammar.scala
- src/main/scala/leon/grammars/EmbeddedGrammar.scala 21 additions, 0 deletionssrc/main/scala/leon/grammars/EmbeddedGrammar.scala
- src/main/scala/leon/grammars/Empty.scala 10 additions, 0 deletionssrc/main/scala/leon/grammars/Empty.scala
- src/main/scala/leon/grammars/EqualityGrammar.scala 20 additions, 0 deletionssrc/main/scala/leon/grammars/EqualityGrammar.scala
- src/main/scala/leon/grammars/ExpressionGrammar.scala 59 additions, 0 deletionssrc/main/scala/leon/grammars/ExpressionGrammar.scala
- src/main/scala/leon/grammars/FunctionCalls.scala 79 additions, 0 deletionssrc/main/scala/leon/grammars/FunctionCalls.scala
- src/main/scala/leon/grammars/Grammars.scala 30 additions, 0 deletionssrc/main/scala/leon/grammars/Grammars.scala
- src/main/scala/leon/grammars/Label.scala 10 additions, 0 deletionssrc/main/scala/leon/grammars/Label.scala
- src/main/scala/leon/grammars/OneOf.scala 18 additions, 0 deletionssrc/main/scala/leon/grammars/OneOf.scala
- src/main/scala/leon/grammars/Or.scala 16 additions, 0 deletionssrc/main/scala/leon/grammars/Or.scala
- src/main/scala/leon/grammars/SafeRecursiveCalls.scala 23 additions, 0 deletionssrc/main/scala/leon/grammars/SafeRecursiveCalls.scala
- src/main/scala/leon/grammars/SimilarTo.scala 174 additions, 0 deletionssrc/main/scala/leon/grammars/SimilarTo.scala
- src/main/scala/leon/grammars/SizeBoundedGrammar.scala 38 additions, 0 deletionssrc/main/scala/leon/grammars/SizeBoundedGrammar.scala
- src/main/scala/leon/grammars/ValueGrammar.scala 65 additions, 0 deletionssrc/main/scala/leon/grammars/ValueGrammar.scala
- src/main/scala/leon/repair/Repairman.scala 1 addition, 2 deletionssrc/main/scala/leon/repair/Repairman.scala
- src/main/scala/leon/synthesis/ExamplesFinder.scala 1 addition, 1 deletionsrc/main/scala/leon/synthesis/ExamplesFinder.scala
- src/main/scala/leon/synthesis/rules/BottomUpTegis.scala 2 additions, 1 deletionsrc/main/scala/leon/synthesis/rules/BottomUpTegis.scala
- src/main/scala/leon/synthesis/rules/CEGIS.scala 2 additions, 2 deletionssrc/main/scala/leon/synthesis/rules/CEGIS.scala
Loading
Please register or sign in to comment