From 5083ed65d2b7d5e0c5116e6afcc8d7e18343276b Mon Sep 17 00:00:00 2001 From: Thomas Pani Date: Thu, 7 Nov 2024 09:43:09 +0700 Subject: [PATCH] Replace Zulip with Discourse --- README.md | 1 - docs/src/adr/006rfc-unit-testing.md | 4 ++-- docs/src/tutorials/entry-tutorial.md | 4 ++-- docs/src/tutorials/pluscal-tutorial.md | 4 ++-- docs/src/tutorials/snowcat-tutorial.md | 4 ++-- 5 files changed, 8 insertions(+), 9 deletions(-) diff --git a/README.md b/README.md index 893c9b36df..86131a0a61 100644 --- a/README.md +++ b/README.md @@ -145,7 +145,6 @@ Related reports and publications can be found at the [releases page]: https://github.com/apalache-mc/apalache/releases [master]: https://github.com/apalache-mc/apalache/tree/master [main branch]: https://github.com/apalache-mc/apalache/tree/main -[apalache zulip stream]: https://informal-systems.zulipchat.com/#narrow/stream/265309-apalache [tendermint specs]: https://github.com/tendermint/tendermint/tree/master/spec/light-client/accountability [tendermint blockchain]: https://github.com/tendermint [standard repository of tla+ examples]: https://github.com/tlaplus/Examples diff --git a/docs/src/adr/006rfc-unit-testing.md b/docs/src/adr/006rfc-unit-testing.md index a16a24e023..b3c98332fd 100644 --- a/docs/src/adr/006rfc-unit-testing.md +++ b/docs/src/adr/006rfc-unit-testing.md @@ -621,14 +621,14 @@ By having all test options specified directly in tests, we reach two goals: Let us know: - - At [Apalache Zulip stream][], + - At [Apalache Discourse][], - On [ApalacheTLA Twitter][], - email: igor at informal.systems. -[Apalache Zulip stream]: https://informal-systems.zulipchat.com/#narrow/stream/265309-apalache +[Apalache Discourse]: https://apalache.discourse.group/ [ApalacheTLA Twitter]: https://twitter.com/ApalacheTLA [Unit testing]: https://en.wikipedia.org/wiki/Unit_testing [Property-based testing]: https://en.wikipedia.org/wiki/QuickCheck diff --git a/docs/src/tutorials/entry-tutorial.md b/docs/src/tutorials/entry-tutorial.md index 7e8c1a8560..ba4eb56693 100644 --- a/docs/src/tutorials/entry-tutorial.md +++ b/docs/src/tutorials/entry-tutorial.md @@ -1175,7 +1175,7 @@ did not discuss non-determinism, as our specification is entirely deterministic. We will demonstrate advanced features in future tutorials. If you are experiencing a problem with Apalache, feel free to [open an issue] -or drop us a message on [Zulip chat]. +or drop us a message on [Discourse]. [HOWTO on writing type annotations]: ../HOWTOs/howto-write-type-annotations.md @@ -1205,5 +1205,5 @@ or drop us a message on [Zulip chat]. [Specifying Systems]: http://lamport.azurewebsites.net/tla/book.html?back-link=learning.html [Test-driven development]: https://en.wikipedia.org/wiki/Test-driven_development [TLC]: https://github.com/tlaplus/tlaplus/ -[Zulip chat]: https://informal-systems.zulipchat.com/login/#narrow/stream/265309-apalache +[Discourse]: https://apalache.discourse.group/ [ZIP archive]: https://download-directory.github.io/?url=https://github.com/informalsystems/apalache/tree/main/test/tla/bin-search diff --git a/docs/src/tutorials/pluscal-tutorial.md b/docs/src/tutorials/pluscal-tutorial.md index 967724cc3a..883dee4833 100644 --- a/docs/src/tutorials/pluscal-tutorial.md +++ b/docs/src/tutorials/pluscal-tutorial.md @@ -256,7 +256,7 @@ In this tutorial, we have shown how to: `N=4`). If you are experiencing a problem with Apalache, feel free to [open an issue] -or drop us a message on [Zulip chat]. +or drop us a message on [Discourse]. ## Further reading @@ -284,6 +284,6 @@ or drop us a message on [Zulip chat]. [Specifying Systems]: http://lamport.azurewebsites.net/tla/book.html?back-link=learning.html [TLC]: https://github.com/tlaplus/tlaplus/ [TLAPS]: https://tla.msr-inria.inria.fr/tlaps/content/Home.html -[Zulip chat]: https://informal-systems.zulipchat.com/login/#narrow/stream/265309-apalache +[Discourse]: https://apalache.discourse.group/ [Bakery algorithm]: https://en.wikipedia.org/wiki/Lamport%27s_bakery_algorithm [ZIP archive]: https://download-directory.github.io/?url=https://github.com/informalsystems/apalache/tree/main/test/tla/bakery-pluscal diff --git a/docs/src/tutorials/snowcat-tutorial.md b/docs/src/tutorials/snowcat-tutorial.md index b808831b72..d42d562d27 100644 --- a/docs/src/tutorials/snowcat-tutorial.md +++ b/docs/src/tutorials/snowcat-tutorial.md @@ -292,7 +292,7 @@ type checker. To learn about type aliases, see [HOWTO on writing type annotations][]. If you are experiencing a problem with Snowcat, feel free to [open an issue][] -or drop us a message on [Zulip chat][]. +or drop us a message on [Discourse][]. [ADR002]: ../adr/002adr-types.md @@ -312,5 +312,5 @@ or drop us a message on [Zulip chat][]. [CarTalkPuzzleTyped.tla]: https://github.com/informalsystems/apalache/blob/main/test/tla/CarTalkPuzzleTyped.tla [QueensTyped.tla]: https://github.com/informalsystems/apalache/blob/main/test/tla/QueensTyped.tla [open an issue]: https://github.com/informalsystems/apalache/issues -[Zulip chat]: https://informal-systems.zulipchat.com/login/#narrow/stream/265309-apalache +[Discourse]: https://apalache.discourse.group/ [Idiom 15]: ../idiomatic/003record-sets.md