Search results

User option to adjust number of leading zeros for IDs

enhancementNew feature or requestNew feature or request

Status: Open.

#92 In kieler/pasta;

· Drakae opened on Aug 19, 2025

Add controlAlgorithm to Node in stpa.langium

enhancementNew feature or requestNew feature or request

Status: Open.

#90 In kieler/pasta;

· nathan-cook-ai opened on Aug 12, 2025

Incorporate recent formal scenario archetype generation into PASTA

enhancementNew feature or requestNew feature or request

Status: Open.

#89 In kieler/pasta;

· nathan-cook-ai opened on Aug 11, 2025

Add UCA comments

enhancementNew feature or requestNew feature or request

Status: Open.

#87 In kieler/pasta;

· nathan-cook-ai opened on Aug 8, 2025

Remove duplication in LossScenario problem warning list

bugSomething isn't workingSomething isn't working

Status: Open.

#86 In kieler/pasta;

· nathan-cook-ai opened on Aug 8, 2025

Format Markdown report in accordance with markdownlint

enhancementNew feature or requestNew feature or request

Status: Open.

#82 In kieler/pasta;

· nathan-cook-ai opened on Aug 8, 2025

Input and Output should enter and exit on the sides of node boxes instead of top and bottom

bugSomething isn't workingSomething isn't working

Status: Open.

#77 In kieler/pasta;

· nathan-cook-ai opened on Aug 6, 2025

Allow Input and Output edges to be both internal and external

enhancementNew feature or requestNew feature or request

Status: Open.

#76 In kieler/pasta;

· nathan-cook-ai opened on Aug 6, 2025

Add unique IDs to every element explicitly

enhancementNew feature or requestNew feature or request

Status: Open.

#75 In kieler/pasta;

· nathan-cook-ai opened on Aug 6, 2025

Format on save results in new blank lines added between every element

Status: Open.

#71 In kieler/pasta;

· djwf opened on Apr 2, 2025

Process Model style

enhancementNew feature or requestNew feature or request

Status: Open.

#66 In kieler/pasta;

· Drakae opened on Jan 9, 2025

Display name for components

enhancementNew feature or requestNew feature or request

Status: Open.

#65 In kieler/pasta;

· Drakae opened on Jan 9, 2025