Fix generateActionSequence and validActionSequence for Activity Final nodes#393

Closed

Copilot wants to merge 15 commits intodevfrom

copilot/fix-187

Commits on Sep 17, 2025

Initial plan
Copilot
committed
Fix generateActionSequence and validActionSequence for Activity Ends

Copilot
and
jvoigtlaender
committed
Improve test descriptions for Activity Final node tests

Copilot
and
jvoigtlaender
committed
Fix missing newline at end of ActionSequencesActivityFinalSpec.hs
jvoigtlaender
authored
Fix formatting in ActionSequencesActivityFinalSpec.hs
jvoigtlaender
authored
Fix zero state creation for Activity Final nodes and update failing test expectation

Copilot
and
jvoigtlaender
committed
Fix zero state creation using all places in Petri net and restore test expectation

Copilot
and
jvoigtlaender
committed
Implement Activity Final detection using original diagram labels

Copilot
and
jvoigtlaender
committed
Replace 'lbl' variable with 'nodeLabel' for spell-checking compliance

Copilot
and
jvoigtlaender
committed
Improve zero state creation to use target state structure

Copilot
and
jvoigtlaender
committed
Fix formatting issues in ActionSequences.hs
jvoigtlaender
authored
Fix generateActionSequence and validActionSequence for Activity Final nodes

Copilot
and
jvoigtlaender
committed
Fix zero state consistency across all Activity Final functions

Copilot
and
jvoigtlaender
committed
Merge branch 'dev' into copilot/fix-187
jvoigtlaender
authored

Commits on Sep 28, 2025

Merge branch 'dev' into copilot/fix-187
jvoigtlaender
authored