Search results

Alias ASSUME/PROVE labels as label types

bugSomething isn't workingSomething isn't working

Status: Open.

#135 In tlaplus-community/tree-sitter-tlaplus;

· ahelwer opened on Feb 24, 2025

Proofs starting with <+> have level 0, not level 1

bugSomething isn't workingSomething isn't working

Status: Open.

#133 In tlaplus-community/tree-sitter-tlaplus;

· ahelwer opened on Feb 7, 2025

Incorrect handling of new declarations inside assume/prove block

bugSomething isn't workingSomething isn't working

Status: Open.

#132 In tlaplus-community/tree-sitter-tlaplus;

· ahelwer opened on Jan 29, 2025

Incorrect acceptance of parentheses terminating conjunction list

bugSomething isn't workingSomething isn't working

Status: Open.

#128 In tlaplus-community/tree-sitter-tlaplus;

· ahelwer opened on Oct 24, 2024

PlusCal parser appears to treat <code>:=</code> as an infix operator sometimes

bugSomething isn't workingSomething isn't working

pluscalRelated to PlusCal parsingRelated to PlusCal parsing

Status: Open.

#109 In tlaplus-community/tree-sitter-tlaplus;

· ahelwer opened on Apr 11, 2024

Grammar failes to parse valid PlusCal syntax when eliding curly braces

bugSomething isn't workingSomething isn't working

pluscalRelated to PlusCal parsingRelated to PlusCal parsing

Status: Open.

#92 In tlaplus-community/tree-sitter-tlaplus;

· ahelwer opened on Jan 6, 2024

Strange highlighting of PlusCal code on GitHub

pluscalRelated to PlusCal parsingRelated to PlusCal parsing

Status: Open.

#72 In tlaplus-community/tree-sitter-tlaplus;

· ahelwer opened on Jan 18, 2023

Incorrect reference highlighting of parameters

bugSomething isn't workingSomething isn't working

Status: Open.

#62 In tlaplus-community/tree-sitter-tlaplus;

· ahelwer opened on Jul 13, 2022