From 3da74cf6b9c5ce90ea5da7f7508b559252affa73 Mon Sep 17 00:00:00 2001 From: Igor Konnov Date: Wed, 2 Oct 2024 15:05:50 +0200 Subject: [PATCH 1/2] downgrade z3 --- project/Dependencies.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/project/Dependencies.scala b/project/Dependencies.scala index 0d9002c354..5b6df9e64d 100644 --- 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" From 32ee0bd1bc4c5a61e2c62ac85923424b5ed50a7b Mon Sep 17 00:00:00 2001 From: Igor Konnov Date: Wed, 2 Oct 2024 15:06:49 +0200 Subject: [PATCH 2/2] add release notes --- .unreleased/breaking-changes/downgrade-z3.md | 1 + 1 file changed, 1 insertion(+) create mode 100644 .unreleased/breaking-changes/downgrade-z3.md diff --git a/.unreleased/breaking-changes/downgrade-z3.md b/.unreleased/breaking-changes/downgrade-z3.md new file mode 100644 index 0000000000..c2d58933fc --- /dev/null +++ b/.unreleased/breaking-changes/downgrade-z3.md @@ -0,0 +1 @@ +Downgrade z3 to 4.12.6, due to instability of 4.13.0