Merge pull request #3012 from apalache-mc/igor/z3-downgrade-4.12.6

Downgrade Z3 to 4.12.6
apalache-mc · Oct 2, 2024 · 7ceed59 · 7ceed59
2 parents 26a0552 + 32ee0bd
commit 7ceed59
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.unreleased/breaking-changes/downgrade-z3.md b/.unreleased/breaking-changes/downgrade-z3.md
@@ -0,0 +1 @@
+Downgrade z3 to 4.12.6, due to instability of 4.13.0
diff --git a/project/Dependencies.scala b/project/Dependencies.scala
@@ -36,7 +36,7 @@ object Dependencies {
     val tla2tools = "org.lamport" % "tla2tools" % "1.7.0-SNAPSHOT"
     val ujson = "com.lihaoyi" %% "ujson" % "4.0.2"
     val upickle = "com.lihaoyi" %% "upickle" % "4.0.2"
-    val z3 = "tools.aqua" % "z3-turnkey" % "4.13.0"
+    val z3 = "tools.aqua" % "z3-turnkey" % "4.12.6"
     val zio = "dev.zio" %% "zio" % zioVersion
     // Keep up to sync with version in plugins.sbt
     val zioGrpcCodgen = "com.thesamet.scalapb.zio-grpc" %% "zio-grpc-codegen" % "0.6.0-test3" % "provided"
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		Downgrade z3 to 4.12.6, due to instability of 4.13.0