Search results

Embassy support is lacking

Status: Open.

#33 In titanclass/edfsm;

· huntc opened on Aug 10, 2025

Repeated call to with_output() or with_event_log() should not be allowed.

Status: Open.

#24 In titanclass/edfsm;

· arnolddevos opened on Nov 27, 2024

Cleanup bounds and migrate to Ed. 2024

Status: Open.

#23 In titanclass/edfsm;

· arnolddevos opened on Nov 27, 2024

Timeout on states

Status: Open.

#20 In titanclass/edfsm;

· huntc opened on Nov 25, 2024

Transition type

Status: Open.

#13 In titanclass/edfsm;

· huntc opened on Mar 16, 2023

Not detecting unreachable code for macro generated match arms

Status: Open.

#4 In titanclass/edfsm;

· huntc opened on Aug 4, 2022