-
Notifications
You must be signed in to change notification settings - Fork 18
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#140 In tlaplus-community/tree-sitter-tlaplus;
Alias ASSUME/PROVE labels as label types
bugSomething isn't workingSomething isn't workingStatus: Open.#135 In tlaplus-community/tree-sitter-tlaplus;Proofs starting with <+> have level 0, not level 1
bugSomething isn't workingSomething isn't workingStatus: Open.#133 In tlaplus-community/tree-sitter-tlaplus;Incorrect handling of new declarations inside assume/prove block
bugSomething isn't workingSomething isn't workingStatus: Open.#132 In tlaplus-community/tree-sitter-tlaplus;Incorrect acceptance of parentheses terminating conjunction list
bugSomething isn't workingSomething isn't workingStatus: Open.#128 In tlaplus-community/tree-sitter-tlaplus;PlusCal parser appears to treat
:=as an infix operator sometimesbugSomething isn't workingSomething isn't workingpluscalRelated to PlusCal parsingRelated to PlusCal parsingStatus: Open.#109 In tlaplus-community/tree-sitter-tlaplus;Grammar failes to parse valid PlusCal syntax when eliding curly braces
bugSomething isn't workingSomething isn't workingpluscalRelated to PlusCal parsingRelated to PlusCal parsingStatus: Open.#92 In tlaplus-community/tree-sitter-tlaplus;Strange highlighting of PlusCal code on GitHub
pluscalRelated to PlusCal parsingRelated to PlusCal parsingStatus: Open.#72 In tlaplus-community/tree-sitter-tlaplus;Incorrect reference highlighting of parameters
bugSomething isn't workingSomething isn't workingStatus: Open.#62 In tlaplus-community/tree-sitter-tlaplus;