Fix #43

lf-lang · Jul 21, 2023 · 8cda4a2 · 8cda4a2
1 parent 246b2cf
commit 8cda4a2
Show file tree

Hide file tree

Showing 10 changed files with 2 additions and 2 deletions.
diff --git a/examples/CCpp/src/DoorLock/DoorLock.lf → examples/CCpp/DoorLock/src/DoorLock.lf b/examples/CCpp/src/DoorLock/DoorLock.lf → examples/CCpp/DoorLock/src/DoorLock.lf
diff --git a/examples/CCpp/src/DoorLock/include/types.h → examples/CCpp/DoorLock/src/include/types.h b/examples/CCpp/src/DoorLock/include/types.h → examples/CCpp/DoorLock/src/include/types.h
diff --git a/examples/CCpp/src/DoorLock/lib/AuthSim.lf → examples/CCpp/DoorLock/src/lib/AuthSim.lf b/examples/CCpp/src/DoorLock/lib/AuthSim.lf → examples/CCpp/DoorLock/src/lib/AuthSim.lf
diff --git a/...p/src/DoorLock/lib/PropagationDelaySim.lf → ...p/DoorLock/src/lib/PropagationDelaySim.lf b/...p/src/DoorLock/lib/PropagationDelaySim.lf → ...p/DoorLock/src/lib/PropagationDelaySim.lf
diff --git a/.../CCpp/src/DoorLock/lib/UserInteraction.lf → .../CCpp/DoorLock/src/lib/UserInteraction.lf b/.../CCpp/src/DoorLock/lib/UserInteraction.lf → .../CCpp/DoorLock/src/lib/UserInteraction.lf
diff --git a/examples/CCpp/src/README.md → examples/CCpp/README.md b/examples/CCpp/src/README.md → examples/CCpp/README.md
diff --git a/examples/CCpp/src/ROS/README.md → examples/CCpp/ROS/README.md b/examples/CCpp/src/ROS/README.md → examples/CCpp/ROS/README.md
@@ -7,9 +7,9 @@ The examples have been tested on Foxy on Ubuntu 20.04 LTS, Humble on Ubuntu 22.0
 To see instructions on how to set up each example, refer to the files themselves. Here is an
 overview of the current examples:
 
-- ROSBuiltInSerialization: A two reactor sender-receiver example that demonstrates the built-in capability to serialize 
+- `src/ROSBuiltInSerialization.lf`: A two reactor sender-receiver example that demonstrates the built-in capability to serialize 
   and deserialize ROS 2 messages in federated programs using the CCpp target.
 
-- ROSSerialization: Similar to ROSBuiltInSerialization but the inner-workings of serialization and deserialization are
+- `src/ROSSerialization.lf`: Similar to ROSBuiltInSerialization but the inner-workings of serialization and deserialization are
   exposed in reaction bodies.
 
diff --git a/...s/CCpp/src/ROS/ROSBuiltInSerialization.lf → ...s/CCpp/ROS/src/ROSBuiltInSerialization.lf b/...s/CCpp/src/ROS/ROSBuiltInSerialization.lf → ...s/CCpp/ROS/src/ROSBuiltInSerialization.lf
diff --git a/examples/CCpp/src/ROS/ROSSerialization.lf → examples/CCpp/ROS/src/ROSSerialization.lf b/examples/CCpp/src/ROS/ROSSerialization.lf → examples/CCpp/ROS/src/ROSSerialization.lf
diff --git a/...p/src/ROS/include/CMakeListsExtension.txt → ...p/ROS/src/include/CMakeListsExtension.txt b/...p/src/ROS/include/CMakeListsExtension.txt → ...p/ROS/src/include/CMakeListsExtension.txt