-
Notifications
You must be signed in to change notification settings - Fork 0
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Make generation of auto-completions cancelable
enhancementNew feature or requestNew feature or requestStatus: Open.#49 In gts-morpher/gts_morpher;- Status: Open.#48 In gts-morpher/gts_morpher;
Export amalgamation-completing morphisms
enhancementNew feature or requestNew feature or requestStatus: Open.#47 In gts-morpher/gts_morpher;Exceptions because of cyclic dependencies
bugSomething isn't workingSomething isn't workingStatus: Open.#39 In gts-morpher/gts_morpher;Sanity check @Interface annotations
enhancementNew feature or requestNew feature or requestStatus: Open.#37 In gts-morpher/gts_morpher;unit amalgamation
enhancementNew feature or requestNew feature or requestStatus: Open.#30 In gts-morpher/gts_morpher;rules mapped to multiple rules that get joined
bugSomething isn't workingSomething isn't workingStatus: Open.#26 In gts-morpher/gts_morpher;Ensure documentation is up-to-date
documentationImprovements or additions to documentationImprovements or additions to documentationgood first issueGood for newcomersGood for newcomersStatus: Open.#19 In gts-morpher/gts_morpher;Create update site
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#18 In gts-morpher/gts_morpher;Set up proper CI/CD
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#17 In gts-morpher/gts_morpher;Consider switching to Xsemantics
enhancementNew feature or requestNew feature or requestStatus: Open.#10 In gts-morpher/gts_morpher;- Status: Open.#8 In gts-morpher/gts_morpher;