From 2b577b65ecc768c63c8888be264dadbd1b825327 Mon Sep 17 00:00:00 2001 From: Thomas Pani Date: Thu, 17 Aug 2023 16:06:22 +0200 Subject: [PATCH] Add note --- doc/rfc008-managing-apalache.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/rfc008-managing-apalache.md b/doc/rfc008-managing-apalache.md index 4acfd626d..a7fb2ae79 100644 --- a/doc/rfc008-managing-apalache.md +++ b/doc/rfc008-managing-apalache.md @@ -222,6 +222,9 @@ We want to maintain compatiblity between Quint and Apalache, therefore we need some mode of linking compatible versions of both tools. Both tools follow [semantic versioning][]. +The crux here is that both an upgrade and a downgrade of Apalache, relative to a +specific Quint release, may maintain or break compatibility. + Given that Quint calls Apalache, but not the other way around, it makes sense to maintain a list of compatible Apalache versions for a given Quint release. Broadly speaking, there's two options for maintaining such a list: