From 6061334b713e3e086d3ec10bb8053c6ac600f18f Mon Sep 17 00:00:00 2001 From: bugarela Date: Thu, 19 Sep 2024 14:10:39 -0300 Subject: [PATCH 1/2] Bump Apalache to 0.45.6 --- CHANGELOG.md | 5 +++++ quint/src/apalache.ts | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index dc77355af..333b88aa2 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -12,6 +12,11 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ### Deprecated ### Removed ### Fixed + +- Some error scenarios when importing files on Windows were fixed (#1498) +- `quint verify` on Windows should now properly start an Apalache server on the + background (#1499) + ### Security ## v0.22.0 -- 2024-09-09 diff --git a/quint/src/apalache.ts b/quint/src/apalache.ts index dfd930eba..54e6205fd 100644 --- a/quint/src/apalache.ts +++ b/quint/src/apalache.ts @@ -75,7 +75,7 @@ export function serverEndpointToConnectionString(endpoint: ServerEndpoint): stri return `${endpoint.hostname}:${endpoint.port}` } -const APALACHE_VERSION_TAG = '0.44.11' +const APALACHE_VERSION_TAG = '0.45.6' // TODO: used by GitHub api approach: https://github.com/informalsystems/quint/issues/1124 // const APALACHE_TGZ = 'apalache.tgz' From 4ff8b068a2062d59a4e8bfa0208fff8a04ff0088 Mon Sep 17 00:00:00 2001 From: Gabriela Moreira Date: Tue, 24 Sep 2024 11:50:16 -0300 Subject: [PATCH 2/2] Bump apalache to 0.46.1 --- quint/src/apalache.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/quint/src/apalache.ts b/quint/src/apalache.ts index 54e6205fd..94aaa2f7a 100644 --- a/quint/src/apalache.ts +++ b/quint/src/apalache.ts @@ -75,7 +75,7 @@ export function serverEndpointToConnectionString(endpoint: ServerEndpoint): stri return `${endpoint.hostname}:${endpoint.port}` } -const APALACHE_VERSION_TAG = '0.45.6' +const APALACHE_VERSION_TAG = '0.46.1' // TODO: used by GitHub api approach: https://github.com/informalsystems/quint/issues/1124 // const APALACHE_TGZ = 'apalache.tgz'