From 80cedbcdb7d00567670e39fc07b4383cc6406ffa Mon Sep 17 00:00:00 2001 From: Ritvik Kapila Date: Wed, 5 Feb 2025 15:25:08 -0800 Subject: [PATCH 1/3] chore(java): allow local testing v3.8.0 --- project.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/project.properties b/project.properties index 99cdd29ef..47f3cf3f5 100644 --- a/project.properties +++ b/project.properties @@ -1,4 +1,4 @@ -projectJavaVersion=3.8.0 +projectJavaVersion=3.8.0-SNAPSHOT mplDependencyJavaVersion=1.9.0 dafnyVersion=4.9.0 dafnyVerifyVersion=4.9.0 From 30a2025b57c2f9decdea1cae9f6aa8748a022180 Mon Sep 17 00:00:00 2001 From: Ritvik Kapila Date: Wed, 5 Feb 2025 15:31:32 -0800 Subject: [PATCH 2/3] bump mpl --- submodules/MaterialProviders | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders index 51ccca1c0..70e580991 160000 --- a/submodules/MaterialProviders +++ b/submodules/MaterialProviders @@ -1 +1 @@ -Subproject commit 51ccca1c05088a984d201ac2e2d27dd9229d7b2c +Subproject commit 70e580991678387ce897a286c4f7f449aa616785 From 22b2026b8cfa76cc48282c6bf6187a7fa4b9ab59 Mon Sep 17 00:00:00 2001 From: Ritvik Kapila Date: Wed, 5 Feb 2025 15:39:27 -0800 Subject: [PATCH 3/3] m --- project.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/project.properties b/project.properties index 47f3cf3f5..28a3b90f1 100644 --- a/project.properties +++ b/project.properties @@ -1,5 +1,5 @@ projectJavaVersion=3.8.0-SNAPSHOT -mplDependencyJavaVersion=1.9.0 +mplDependencyJavaVersion=1.9.0-SNAPSHOT dafnyVersion=4.9.0 dafnyVerifyVersion=4.9.0 dafnyRuntimeJavaVersion=4.9.0