Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fixing lff formatting issues by running lff and excluding intentionally failing example in zero delay cycles examples #120

Merged
merged 3 commits into from
Feb 8, 2025
Merged

Fixing lff formatting issues by running lff and excluding intentionally failing example in zero delay cycles examples #120

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
3637ab6
Fix lff formatting issues in zero delay cycles examples by running lff
hokeun Feb 7, 2025
e6b5495
Move CausalityLoop.lf into failing directory.
hokeun Feb 7, 2025
ff41745
Add explanation for the failing example with a diagram.
hokeun Feb 7, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 4 additions & 6 deletions examples/C/src/zero-delay-cycles/Consistency.lf
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,17 +14,15 @@ reactor Controller {
state latest_control: double = 0.0
state first: bool = true

reaction c1(local_update, remote_update) {=
=}
reaction c1(local_update, remote_update) {= =}

reaction c2(local_update) -> control {=
=}
reaction c2(local_update) -> control {= =}
}

reactor Platform {
input update: double
output publish: double

c = new Controller()
p = new PhysicalPlant()
p.sensor -> c.local_update
Expand All @@ -36,7 +34,7 @@ reactor Platform {
federated reactor {
p1 = new Platform()
p2 = new Platform()

p1.publish -> p2.update
p2.publish -> p1.update
}
14 changes: 7 additions & 7 deletions examples/C/src/zero-delay-cycles/ZeroDelayCycle.lf
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
target C

reactor A (Period:time = 1 msec) {
input in:int
output out:int
reactor A(Period: time = 1 msec) {
input in: int
output out: int

timer t(0, Period)

Expand All @@ -15,10 +15,10 @@ reactor A (Period:time = 1 msec) {
=}
}


reactor B {
input in:int
output out:int
input in: int
output out: int

reaction(in) -> out {=
lf_set(out, in->value);
=}
Expand All @@ -30,4 +30,4 @@ federated reactor {

a.out -> b.in
b.out -> a.in
}
}
Loading