From fb8973fc6364fbd4916a77101c381609f418b60e Mon Sep 17 00:00:00 2001 From: Scala Steward Date: Fri, 6 Sep 2024 15:10:21 +0000 Subject: [PATCH 1/6] Update sbt-scoverage to 2.2.0 --- project/plugins.sbt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/project/plugins.sbt b/project/plugins.sbt index 67b627f74e..c348f5f10a 100644 --- a/project/plugins.sbt +++ b/project/plugins.sbt @@ -5,7 +5,7 @@ addSbtPlugin("com.eed3si9n" % "sbt-assembly" % "1.2.0") // https://github.com/marcuslonnberg/sbt-docker addSbtPlugin("se.marcuslonnberg" % "sbt-docker" % "1.11.0") // https://github.com/scoverage/sbt-scoverage -addSbtPlugin("org.scoverage" % "sbt-scoverage" % "2.1.1") +addSbtPlugin("org.scoverage" % "sbt-scoverage" % "2.2.0") // https://github.com/sbt/sbt-buildinfo addSbtPlugin("com.eed3si9n" % "sbt-buildinfo" % "0.12.0") // https://github.com/sbt/sbt-native-packager From b913aa67748f361560f482567ee631e3ce3f15ba Mon Sep 17 00:00:00 2001 From: Igor Konnov Date: Fri, 6 Sep 2024 17:36:04 +0200 Subject: [PATCH 2/6] Update README.md Add a link to the discourse forum --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index fc0b76c80e..c13c9230fe 100644 --- a/README.md +++ b/README.md @@ -56,6 +56,7 @@ Also, check the [standard repository of TLA+ examples][]. ## Community +- Discuss the use of Apalache and R&D on the [Apalache Forum][]. - Join the chat in the [Apalache zulip stream]. - [Contribute](./CONTRIBUTING.md) to the development of Apalache. @@ -163,6 +164,7 @@ Related reports and publications can be found at the [TLA-Apalache workshop]: https://github.com/informalsystems/tla-apalache-workshop [Beginner's tutorial]: https://apalache-mc.org/docs/tutorials/entry-tutorial.html [Apalache examples]: https://github.com/konnov/apalache-examples +[Apalache Forum]: https://apalache.discourse.group/ [WWTF]: https://wwtf.at/index.php?lang=EN [TU Wien]: https://www.tuwien.at/ [Inria Nancy]: https://www.inria.fr/en/inria-centre-universite-lorraine @@ -172,4 +174,4 @@ Related reports and publications can be found at the [Vienna Business Agency]: https://viennabusinessagency.at/ [Igor Konnov]: https://github.com/konnov [Jure Kukovec]: https://github.com/kukovec -[Thomas Pani]: https://github.com/thpani \ No newline at end of file +[Thomas Pani]: https://github.com/thpani From 87ed25ceb1ceb5a888b6eaff841dce8e926a1e06 Mon Sep 17 00:00:00 2001 From: Igor Konnov Date: Fri, 6 Sep 2024 18:43:19 +0200 Subject: [PATCH 3/6] Update README.md --- README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/README.md b/README.md index c13c9230fe..893c9b36df 100644 --- a/README.md +++ b/README.md @@ -57,7 +57,6 @@ Also, check the [standard repository of TLA+ examples][]. ## Community - Discuss the use of Apalache and R&D on the [Apalache Forum][]. -- Join the chat in the [Apalache zulip stream]. - [Contribute](./CONTRIBUTING.md) to the development of Apalache. ## Funding and Sponsorship From 8b72abc7d97a7cde3895cdc098aa2862bf53f71a Mon Sep 17 00:00:00 2001 From: Scala Steward Date: Sun, 8 Sep 2024 14:42:23 +0000 Subject: [PATCH 4/6] Update logback-classic, logback-core to 1.5.8 --- project/Dependencies.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/project/Dependencies.scala b/project/Dependencies.scala index 05b5431414..471d811ec1 100644 --- a/project/Dependencies.scala +++ b/project/Dependencies.scala @@ -12,7 +12,7 @@ object Dependencies { object Deps { // Versions - lazy val logbackVersion = "1.5.7" + lazy val logbackVersion = "1.5.8" lazy val clistVersion = "3.5.1" // Libraries From 86e612db3e44d29469b91b1e72723db7bb905a1f Mon Sep 17 00:00:00 2001 From: Scala Steward Date: Mon, 16 Sep 2024 15:27:20 +0000 Subject: [PATCH 5/6] Update sbt to 1.10.2 --- project/build.properties | 2 +- project/sbt-changeling/build.sbt | 2 +- project/sbt-changeling/project/build.properties | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/project/build.properties b/project/build.properties index ee4c672cd0..0b699c3052 100644 --- a/project/build.properties +++ b/project/build.properties @@ -1 +1 @@ -sbt.version=1.10.1 +sbt.version=1.10.2 diff --git a/project/sbt-changeling/build.sbt b/project/sbt-changeling/build.sbt index 2df02ef524..a877d990aa 100644 --- a/project/sbt-changeling/build.sbt +++ b/project/sbt-changeling/build.sbt @@ -2,7 +2,7 @@ ThisBuild / version := "0.1.0-SNAPSHOT" ThisBuild / organization := "systems.informal" libraryDependencies ++= Seq( - "org.scala-sbt" % "sbt" % "1.10.1" + "org.scala-sbt" % "sbt" % "1.10.2" ) lazy val sbt_changeling = (project in file(".")) diff --git a/project/sbt-changeling/project/build.properties b/project/sbt-changeling/project/build.properties index ee4c672cd0..0b699c3052 100644 --- a/project/sbt-changeling/project/build.properties +++ b/project/sbt-changeling/project/build.properties @@ -1 +1 @@ -sbt.version=1.10.1 +sbt.version=1.10.2 From ba39edde52ed20599fe80d25480b7126806235a3 Mon Sep 17 00:00:00 2001 From: Scala Steward Date: Mon, 16 Sep 2024 15:27:25 +0000 Subject: [PATCH 6/6] Update scalacheck to 1.18.1 --- project/Dependencies.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/project/Dependencies.scala b/project/Dependencies.scala index 05b5431414..9b366d00af 100644 --- a/project/Dependencies.scala +++ b/project/Dependencies.scala @@ -53,7 +53,7 @@ object Dependencies { object TestDeps { // Libraries val junit = "junit" % "junit" % "4.13.2" % Test - val scalacheck = "org.scalacheck" %% "scalacheck" % "1.18.0" % Test + val scalacheck = "org.scalacheck" %% "scalacheck" % "1.18.1" % Test val easymock = "org.easymock" % "easymock" % "5.4.0" % Test val scalaTestVersion = "3.2.15"