-
Notifications
You must be signed in to change notification settings - Fork 27
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Add selectable Smart and Smart-All literals to the language field of Verification tasks
enhancementNew feature or requestNew feature or requestStatus: Open.Adding post-processing steps in the XSTS mapping to decompose monolithic transitions
enhancementNew feature or requestNew feature or requestStatus: Open.#183 In ftsrg/gamma;Issues with giving multiple scheduling constraints for different instances in asynchronous-reactive systems
bugSomething isn't workingSomething isn't workingStatus: Open.#182 In ftsrg/gamma;- Status: Open.#180 In ftsrg/gamma;
Fix the order of executing actions of initial transitions in regions and entry actions of states
bugSomething isn't workingSomething isn't workingStatus: Open.#132 In ftsrg/gamma;- Status: Open.#124 In ftsrg/gamma;
- Status: Open.#123 In ftsrg/gamma;
- Status: Open.#87 In ftsrg/gamma;
Gamma release on Maven central / Github packages
enhancementNew feature or requestNew feature or requestStatus: Open.#60 In ftsrg/gamma;Theta download/install script
enhancementNew feature or requestNew feature or requestStatus: Open.#15 In ftsrg/gamma;