Search results

Federated execution with decentralized coordination doesn't properly set levels for federates

bugSomething isn't workingSomething isn't working

federated

Status: Open.

#503 In lf-lang/reactor-c;

· davidqing6432 opened on Dec 10, 2024

Unintended Action Override

bugSomething isn't workingSomething isn't working

Status: Open.

#489 In lf-lang/reactor-c;

· Depetrol opened on Oct 10, 2024

Program without reactions runs forever on Windows

bugSomething isn't workingSomething isn't working

windows

Status: Open.

#485 In lf-lang/reactor-c;

· edwardalee opened on Sep 29, 2024

GEDF scheduler deadlocks on some systems with decentralized coordination

bugSomething isn't workingSomething isn't working

Status: Open.

#474 In lf-lang/reactor-c;

· edwardalee opened on Aug 2, 2024

Stopping problems with decentralized coordination

bugSomething isn't workingSomething isn't working

Status: Open.

#473 In lf-lang/reactor-c;

· edwardalee opened on Aug 2, 2024

Flaky segfault error

Status: Open.

#466 In lf-lang/reactor-c;

· byeonggiljun opened on Jul 11, 2024

Support for nRF52 without soft devices

enhancementEnhancement of existing featureEnhancement of existing feature

Status: Open.

#460 In lf-lang/reactor-c;

· edwardalee opened on Jul 1, 2024

Memory error in trace buffer initialization

bugSomething isn't workingSomething isn't working

Status: Open.

#451 In lf-lang/reactor-c;

· cmnrd opened on Jun 24, 2024

Prevent spurious wakeups on rp2040

Status: Open.

#439 In lf-lang/reactor-c;

· lhstrh opened on May 29, 2024

Generalize RP2040 (and in the future, STM32) support to NUM_CORES

Status: Open.

#438 In lf-lang/reactor-c;

· sberkun opened on May 26, 2024

Removing barrier synchronization on levels

enhancementEnhancement of existing featureEnhancement of existing feature

Status: Open.

#434 In lf-lang/reactor-c;

· edwardalee opened on May 22, 2024

What is the correct behavior if a microstep index wraps

Status: Open.

#430 In lf-lang/reactor-c;

· erlingrj opened on May 16, 2024