yield cartesian product of multiterminal completion

breandan · Apr 25, 2023 · b3160f8 · b3160f8
1 parent 7cd87a9
commit b3160f8
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -1,5 +1,5 @@
 plugins {
-  kotlin("jvm") version "1.8.20"
+  kotlin("jvm") version "1.8.21"
   id("com.github.ben-manes.versions") version "0.46.0"
   id("de.undercouch.download") version "5.4.0"
   id("com.github.johnrengelman.shadow") version "8.1.1"

diff --git a/galoisenne b/galoisenne
diff --git a/src/main/kotlin/edu/mcgill/cstk/experiments/repair/PythonStatementRepair.kt b/src/main/kotlin/edu/mcgill/cstk/experiments/repair/PythonStatementRepair.kt
@@ -13,7 +13,7 @@ import kotlin.time.*
 */
 
 fun main() {
-  MAX_SAMPLE = 20
+  MAX_SAMPLE = 100
   MAX_REPAIR = 2
   syntheticErrorCorrection()
   organicErrorCorrection()
@@ -102,7 +102,7 @@ fun repairPythonStatement(
   cfg = pythonStatementCFG,
   coarsen = String::coarsenAsPython,
   uncoarsen = String::uncoarsenAsPython,
-  synthesizer = optRepair(clock), // Enumerative search
+  synthesizer = satRepair(clock), // Enumerative search
   diagnostic = { println("Δ=${ levenshtein( prompt, it ) - 1 } repair: ${prettyDiffNoFrills(prompt, it)}") },
   filter = { isValidPython() },
 )
@@ -235,7 +235,7 @@ S -> S IOP S | S BOP S
 IOP -> + | - | * | / | % | ** | << | >> | & | ^
 BOP -> < | > | <= | >= | == | != | in | is | not in | is not
 S -> S ;
-S -> :
+S -> S | S : | - S
 S -> None | True | False
 S -> S ^ S | S in S
 S -> [ S : ]