Skip to content

Commit

Permalink
implement and measure Parikh constraint system
Browse files Browse the repository at this point in the history
  • Loading branch information
breandan committed Apr 16, 2023
1 parent 6cc54ac commit 82e96a1
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 7 deletions.
12 changes: 6 additions & 6 deletions build.gradle.kts
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ dependencies {
// implementation("ai.djl.tensorflow:tensorflow-native-cu101:2.3.1")
// implementation("ai.djl:examples:0.6.0")

val djlVersion = "0.21.0"
val djlVersion = "0.22.0"
implementation("ai.djl:api:$djlVersion")
implementation("ai.djl.mxnet:mxnet-engine:$djlVersion")
implementation("ai.djl.mxnet:mxnet-native-cu102mkl:1.9.1")
Expand Down Expand Up @@ -54,7 +54,7 @@ dependencies {

// Source code transformation
// implementation("com.github.h0tk3y.betterParse:better-parse:0.4.2")
val openrwVersion = "7.38.0"
val openrwVersion = "7.39.1"
implementation("org.openrewrite:rewrite-java:$openrwVersion")
runtimeOnly("org.openrewrite:rewrite-java-11:$openrwVersion")

Expand Down Expand Up @@ -83,7 +83,7 @@ dependencies {
// Querying and filtering data from GitHub
implementation("org.kohsuke:github-api:1.314")
// Querying and filtering data from GitLab
implementation("org.gitlab4j:gitlab4j-api:5.1.0")
implementation("org.gitlab4j:gitlab4j-api:6.0.0-rc.1")

implementation("org.jetbrains.lets-plot:lets-plot-kotlin-jvm:4.3.0")

Expand Down Expand Up @@ -145,13 +145,13 @@ dependencies {
exclude(group = "org.sosy-lab", module = "javasmt-solver-mathsat5")
}
implementation("io.github.vovak:astminer:0.9.0")
implementation("com.github.ben-manes.caffeine:caffeine:3.1.5")
implementation("com.github.ben-manes.caffeine:caffeine:3.1.6")

// Source Code Transformations
implementation("fr.inria.gforge.spoon:spoon-core:10.3.0")
implementation("fr.inria.gforge.spoon:spoon-core:10.4.0-beta-1")

// implementation("com.theokanning.openai-gpt3-java:api:0.12.0")
implementation("com.aallam.openai:openai-client:3.2.0")
implementation("com.aallam.openai:openai-client:3.2.1")

// Common statistical tests
implementation("org.hipparchus:hipparchus-stat:2.3")
Expand Down
2 changes: 1 addition & 1 deletion gradle/wrapper/gradle-wrapper.properties
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
distributionBase=GRADLE_USER_HOME
distributionPath=wrapper/dists
distributionUrl=https\://services.gradle.org/distributions/gradle-8.1-rc-2-bin.zip
distributionUrl=https\://services.gradle.org/distributions/gradle-8.1-bin.zip
networkTimeout=10000
zipStoreBase=GRADLE_USER_HOME
zipStorePath=wrapper/dists

0 comments on commit 82e96a1

Please sign in to comment.