diff --git a/build.gradle.kts b/build.gradle.kts index f758461..d7514f8 100644 --- a/build.gradle.kts +++ b/build.gradle.kts @@ -27,7 +27,7 @@ dependencies { // implementation("ai.djl.tensorflow:tensorflow-native-cu101:2.3.1") // implementation("ai.djl:examples:0.6.0") - val djlVersion = "0.26.0" + val djlVersion = "0.27.0" implementation("ai.djl:api:$djlVersion") implementation("ai.djl.mxnet:mxnet-engine:$djlVersion") implementation("ai.djl.mxnet:mxnet-native-cu102mkl:1.9.1") @@ -50,17 +50,17 @@ dependencies { implementation("info.debatty:java-string-similarity:2.0.0") // CLI parser - implementation("com.github.ajalt.clikt:clikt:4.2.2") + implementation("com.github.ajalt.clikt:clikt:4.3.0") implementation("com.beust:klaxon:5.6") // Source code transformation // implementation("com.github.h0tk3y.betterParse:better-parse:0.4.2") - val openrwVersion = "8.21.0" + val openrwVersion = "8.23.2" implementation("org.openrewrite:rewrite-java:$openrwVersion") runtimeOnly("org.openrewrite:rewrite-java-11:$openrwVersion") - val smileVersion = "3.0.3" + val smileVersion = "3.1.0" implementation("com.github.haifengl:smile-kotlin:$smileVersion") implementation("com.github.haifengl:smile-core:$smileVersion") @@ -83,7 +83,7 @@ dependencies { implementation("dk.brics:automaton:1.12-4") // Querying and filtering data from GitHub - implementation("org.kohsuke:github-api:1.320") + implementation("org.kohsuke:github-api:1.321") // Querying and filtering data from GitLab implementation("org.gitlab4j:gitlab4j-api:6.0.0-rc.4") @@ -147,20 +147,20 @@ dependencies { exclude(group = "org.sosy-lab", module = "java-smt") exclude(group = "org.sosy-lab", module = "javasmt-solver-mathsat5") } - implementation("org.apache.datasketches:datasketches-java:5.0.1") + implementation("org.apache.datasketches:datasketches-java:5.0.2") implementation("io.github.vovak:astminer:0.9.0") implementation("com.github.ben-manes.caffeine:caffeine:3.1.8") - implementation("de.kherud:llama:2.3.5") + implementation("de.kherud:llama:3.0.0") // Source Code Transformations implementation("fr.inria.gforge.spoon:spoon-core:10.4.3-beta-21") // implementation("com.theokanning.openai-gpt3-java:api:0.12.0") - implementation("com.aallam.openai:openai-client:3.7.0") + implementation("com.aallam.openai:openai-client:3.7.1") // Common statistical tests - implementation("org.hipparchus:hipparchus-stat:3.0") + implementation("org.hipparchus:hipparchus-stat:3.1") // implementation("io.github.danielnaczo:python3parser:1.0.4") implementation("org.antlr:antlr4:4.13.1") diff --git a/galoisenne b/galoisenne index f9e3c84..9f30d4d 160000 --- a/galoisenne +++ b/galoisenne @@ -1 +1 @@ -Subproject commit f9e3c84cbeb41038db8b01a8df693af3ed264831 +Subproject commit 9f30d4de60c9015c6e1f3ae607cbe668664eef09 diff --git a/gradle/wrapper/gradle-wrapper.properties b/gradle/wrapper/gradle-wrapper.properties index dd93a87..0289e90 100644 --- a/gradle/wrapper/gradle-wrapper.properties +++ b/gradle/wrapper/gradle-wrapper.properties @@ -1,6 +1,6 @@ distributionBase=GRADLE_USER_HOME distributionPath=wrapper/dists -distributionUrl=https\://services.gradle.org/distributions/gradle-8.6-bin.zip +distributionUrl=https\://services.gradle.org/distributions/gradle-8.7-bin.zip networkTimeout=10000 zipStoreBase=GRADLE_USER_HOME zipStorePath=wrapper/dists \ No newline at end of file diff --git a/src/main/kotlin/edu/mcgill/cstk/experiments/repair/PythonBarHillelRepair.kt b/src/main/kotlin/edu/mcgill/cstk/experiments/repair/PythonBarHillelRepair.kt index fd80ffe..b798e08 100644 --- a/src/main/kotlin/edu/mcgill/cstk/experiments/repair/PythonBarHillelRepair.kt +++ b/src/main/kotlin/edu/mcgill/cstk/experiments/repair/PythonBarHillelRepair.kt @@ -24,8 +24,8 @@ fun main() { // MAX_UNIQUE = 1_000 TIMEOUT_MS = 30_000 MIN_TOKENS = 3 - MAX_TOKENS = 80 -// MAX_RADIUS = 2 + MAX_TOKENS = 50 + MAX_RADIUS = 3 CFG_THRESH = 10_000 evaluateBarHillelRepairOnStackOverflow() // evaluateSeq2ParseRepair() @@ -210,7 +210,7 @@ fun evaluateBarHillelRepairOnStackOverflow() { val stability = ((levBlanket.count { it != "_" }.toDouble() / toRepair.size) * 100).roundToInt() editLocationsByLenAndDist.getOrPut(lenBucket to levDist) { S2PMetrics() }.top1 += stability - println("Mutability profile\n=============") + println("Stability profile\n=============") println(editLocationsByLenAndDist.summarizeLenAndDist()) } }