Merge branch 'main' into dataflow

lf-lang · Jan 3, 2025 · d53a6e8 · d53a6e8
2 parents 8b16838 + 97a7151
commit d53a6e8
Show file tree

Hide file tree

Showing 18 changed files with 59 additions and 959 deletions.
diff --git a/README.md b/README.md
@@ -11,7 +11,7 @@ Quick start:
 2. Open with [VS Code](https://code.visualstudio.com) (`code playground-lingua-franca`)
 3. Install the [Lingua Franca extension](https://github.com/lf-lang/vscode-lingua-franca) (<kbd>Ctrl</kbd>+<kbd>P</kbd> and enter `ext install lf-lang.vscode-lingua-franca`).
 
-Once in VSCode, navigate to [./examples](./examples) and click on any of the `.lf` files to open them into your editor. To build and run, use <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>P</kbd> and select `Lingua Franca: Build and Run`. Note: You might need not install additional dependencies in order to successfully build some of the code you find in this repository. For more information, see the [setup-env.bash](./utils/scripts/setup-env.bash) script that we use to configure our Docker-based environments.
+Once in VSCode, navigate to [./examples](./examples) and click on any of the `.lf` files to open them into your editor. To build and run, use <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>P</kbd> and select `Lingua Franca: Build and Run`. Note: You might need to install additional dependencies in order to successfully build some of the code you find in this repository. For more information, see the [setup-env.bash](./utils/scripts/setup-env.bash) script that we use to configure our Docker-based environments.
 
 
 ## :rocket: Running in the Cloud

diff --git a/examples/C/README.md b/examples/C/README.md
@@ -10,7 +10,7 @@
 * [Furuta Pendulum](src/modal_models/FurutaPendulum/README.md): A controller and simulation illustrating a modal reactor.
 * [Keyboard](src/keyboard/README.md): Responding to keyboard input using ncurses.
 * [Leader Election](src/leader-election/README.md): Federated fault-tolerant system with leader election.
-* [MQTT](src/mqtt/README.md): Interacting with MQTT-based services.
+* [MQTT](https://github.com/lf-lang/mqtt-c): Interacting with MQTT publish-and-subscribed (moved to a library repo).
 * [Patterns](src/patterns/README.md): Common communication patterns.
 * [Rhythm](src/rhythm/README.md): Sound generation and terminal user interface demos.
 * [Rosace](src/rosace/README.md): Aircraft controller illustrating periodic systems with multiple periods.

diff --git a/examples/C/src/mqtt/MQTTDistributed.lf b/examples/C/src/mqtt/MQTTDistributed.lf
diff --git a/examples/C/src/mqtt/MQTTDistributedActivity.lf b/examples/C/src/mqtt/MQTTDistributedActivity.lf
diff --git a/examples/C/src/mqtt/MQTTLegacy.lf b/examples/C/src/mqtt/MQTTLegacy.lf
diff --git a/examples/C/src/mqtt/MQTTLogical.lf b/examples/C/src/mqtt/MQTTLogical.lf
diff --git a/examples/C/src/mqtt/MQTTPhysical.lf b/examples/C/src/mqtt/MQTTPhysical.lf
diff --git a/examples/C/src/mqtt/README.md b/examples/C/src/mqtt/README.md
diff --git a/examples/C/src/mqtt/include/mosquitto-extension.cmake b/examples/C/src/mqtt/include/mosquitto-extension.cmake
diff --git a/examples/C/src/mqtt/include/net_utils.cmake b/examples/C/src/mqtt/include/net_utils.cmake