tlaplus-community/tree-sitter-tlaplus issues and pull requests

#131 - Add & reorganize syntax tests

Pull Request - State: closed - Opened by ahelwer 3 months ago

#130 - Synced syntax tests

Pull Request - State: closed - Opened by ahelwer 3 months ago

#129 - Update Node & TypeScript consumers, sync syntax tests

Pull Request - State: closed - Opened by ahelwer 3 months ago

#128 - Incorrect acceptance of parentheses terminating conjunction list

Issue - State: open - Opened by ahelwer 3 months ago
Labels: bug

#128 - Incorrect acceptance of parentheses terminating conjunction list

Issue - State: open - Opened by ahelwer 3 months ago
Labels: bug

#127 - Upgraded to tree-sitter-cli 0.24.3

Pull Request - State: closed - Opened by ahelwer 3 months ago

#126 - Bump tree-sitter Rust dependency to 0.23

Pull Request - State: closed - Opened by BekaValentine 4 months ago - 3 comments

#125 - Fixed python & typescript consumers

Pull Request - State: closed - Opened by ahelwer 4 months ago

#124 - Python consumer example doesn't work with tree-sitter ≥ 0.23

Issue - State: closed - Opened by smheidrich 4 months ago - 1 comment

#123 - Easier/cleaner way to write tree-sitter grammar

Issue - State: closed - Opened by mingodad 5 months ago - 1 comment

#123 - Easier/cleaner way to write tree-sitter grammar

Issue - State: closed - Opened by mingodad 5 months ago - 1 comment

#121 - Build rust project with tree-sitter-tlaplus to wasm target

Issue - State: closed - Opened by FedericoPonzi 6 months ago

#120 - Add eco tracking to CI

Pull Request - State: closed - Opened by ahelwer 6 months ago

#119 - fix!: adapt to breaking upstream changes

Pull Request - State: closed - Opened by clason 6 months ago - 4 comments

#118 - Fix python consumer

Pull Request - State: closed - Opened by ahelwer 8 months ago

#117 - Allow PlusCal algorithms as top-level parse entities

Pull Request - State: closed - Opened by ahelwer 9 months ago

#116 - Use fake version number to dynamically override during release

Pull Request - State: closed - Opened by ahelwer 9 months ago

#115 - Identify number sets in operator definitions and subexpression references

Pull Request - State: closed - Opened by ahelwer 9 months ago

#114 - Fix handling of nonfix `!!` operator

Pull Request - State: closed - Opened by ahelwer 9 months ago

#113 - Fixed prefix op precedences

Pull Request - State: closed - Opened by ahelwer 9 months ago

#112 - Correctly parse junct token as higher-level op parameter

Pull Request - State: closed - Opened by ahelwer 9 months ago

#111 - Incorporate fix for unicode queries on rust

Pull Request - State: closed - Opened by ahelwer 9 months ago

#110 - Call canary workflow from release

Pull Request - State: closed - Opened by ahelwer 9 months ago

#110 - Call canary workflow from release

Pull Request - State: closed - Opened by ahelwer 9 months ago

#109 - PlusCal parser appears to treat `:=` as an infix operator sometimes

Issue - State: open - Opened by ahelwer 9 months ago - 1 comment
Labels: bug, pluscal

#108 - Test consumers in CI

Pull Request - State: closed - Opened by ahelwer 10 months ago

#107 - Add additional checks to release workflow

Pull Request - State: closed - Opened by ahelwer 10 months ago

#106 - Binary incompatibilities because of emscripten 2.x

Pull Request - State: closed - Opened by lemmy 10 months ago - 4 comments

#105 - .wasm file missing in 1.2.x npm.js package

Pull Request - State: closed - Opened by lemmy 10 months ago

#104 - .wasm file missing in 1.2.x npm.js package

Issue - State: closed - Opened by lemmy 10 months ago - 7 comments

#103 - Added additional unicode corpus tests

Pull Request - State: closed - Opened by ahelwer 10 months ago

#102 - Expose highlights and locals queries in Rust crate.

Pull Request - State: closed - Opened by patrickt 10 months ago - 3 comments

#101 - Instructions to run with tree-sitter-cli and with nodejs

Issue - State: closed - Opened by lemmy 10 months ago - 2 comments

#100 - Fix precedence for some prefix operators

Issue - State: closed - Opened by ahelwer 10 months ago

#99 - Rewrite scanner in C

Pull Request - State: closed - Opened by ahelwer 10 months ago - 2 comments

#98 - Jlist should be terminated by treating `|->` as right delimiter

Issue - State: closed - Opened by ahelwer 10 months ago
Labels: bug

#97 - Fails to parse `!!` as nonfix operator with only one subexpression component

Issue - State: closed - Opened by ahelwer 10 months ago
Labels: bug

#96 - Fails to parse /\ or \/ as higher-order operator parameters

Issue - State: closed - Opened by ahelwer 10 months ago
Labels: bug

#95 - Quantifier bounds in set filters shouldn't allow multiple variables

Issue - State: closed - Opened by ahelwer 11 months ago - 1 comment
Labels: bug

#94 - Possibly add some more node types for easier parse tree adaptation

Issue - State: closed - Opened by ahelwer 11 months ago - 1 comment
Labels: enhancement

#93 - Rewrite scanner in C

Issue - State: closed - Opened by clason 11 months ago

#92 - Grammar failes to parse valid PlusCal syntax when eliding curly braces

Issue - State: open - Opened by ahelwer about 1 year ago - 1 comment
Labels: bug, pluscal

#91 - Added README release and build instructions

Pull Request - State: closed - Opened by ahelwer about 1 year ago

#90 - Build WASM target

Issue - State: closed - Opened by lemmy about 1 year ago - 3 comments

#89 - Set proper lexical precedence for string contents

Pull Request - State: closed - Opened by susliko about 1 year ago - 5 comments

#88 - Fixed interaction between :> and jlists

Pull Request - State: closed - Opened by ahelwer about 1 year ago

#87 - Unexpected map_to parsing behavior in conjunct list

Issue - State: closed - Opened by will62794 about 1 year ago - 6 comments

#86 - Upgrade to TS 0.21.0, expand corpus tests, add fields to grammar

Pull Request - State: closed - Opened by ahelwer about 1 year ago

#85 - Added new diamond operator

Pull Request - State: closed - Opened by ahelwer about 1 year ago

#84 - Wrong precedence for prime operator

Issue - State: closed - Opened by craft095 about 1 year ago - 3 comments

#83 - Handle block comment start/end tokens in strings and single-line comments

Issue - State: closed - Opened by ahelwer over 1 year ago - 4 comments

#82 - Hardened scanner against further segfaults

Pull Request - State: closed - Opened by ahelwer almost 2 years ago

#81 - Proof step names can include underscores

Issue - State: closed - Opened by ahelwer almost 2 years ago - 1 comment

#80 - Invalidate USE ONLY

Issue - State: closed - Opened by ahelwer almost 2 years ago

#79 - Added fuzzing harness

Pull Request - State: closed - Opened by ahelwer almost 2 years ago

#78 - Fixes crash when encountering QED keyword during error recovery

Pull Request - State: closed - Opened by ahelwer almost 2 years ago - 1 comment

#77 - Detect fair pcal algorithms

Pull Request - State: closed - Opened by ahelwer almost 2 years ago

#76 - PlusCal algorithms starting with `--fair` are not detected

Issue - State: closed - Opened by ahelwer almost 2 years ago - 2 comments

#75 - Bump version to 1.0.0

Pull Request - State: closed - Opened by ahelwer almost 2 years ago

#74 - Many small fixes to prepare for v1

Pull Request - State: closed - Opened by ahelwer almost 2 years ago

#73 - Fix 'No such file' error when running run-corpus.sh

Pull Request - State: closed - Opened by jonesmartins almost 2 years ago - 9 comments

#72 - Strange highlighting of PlusCal code on GitHub

Issue - State: open - Opened by ahelwer almost 2 years ago - 1 comment
Labels: pluscal

#71 - Add corpus test scripts + update README.md

Pull Request - State: closed - Opened by jonesmartins about 2 years ago - 3 comments

#70 - Corpus test execution only available for Windows (Powershell)

Issue - State: closed - Opened by jonesmartins about 2 years ago

#69 - A few more changes

Pull Request - State: closed - Opened by jonesmartins about 2 years ago - 4 comments

#68 - Change unit test instruction

Pull Request - State: closed - Opened by jonesmartins about 2 years ago - 4 comments

#67 - Grammar railroad diagram

Issue - State: closed - Opened by mingodad about 2 years ago - 3 comments

#66 - Exposed bullet_conj and bullet_disj to literal queries

Pull Request - State: closed - Opened by ahelwer about 2 years ago

#65 - Update EXCEPT expression parsing to delineate each update specifier

Pull Request - State: closed - Opened by will62794 over 2 years ago - 1 comment

#63 - Bump version to 0.5.0

Pull Request - State: closed - Opened by ahelwer over 2 years ago

#62 - Incorrect reference highlighting of parameters

Issue - State: open - Opened by ahelwer over 2 years ago
Labels: bug

#61 - Spec/implementation differences between Theorem and Assume/Prove

Issue - State: closed - Opened by ahelwer over 2 years ago - 2 comments

#60 - Neovim crash when writing set map

Issue - State: closed - Opened by ahelwer over 2 years ago - 4 comments
Labels: bug

#59 - Add missing queries, improve reference highlighting

Pull Request - State: closed - Opened by ahelwer over 2 years ago - 7 comments

#58 - Support parsing of snippets

Pull Request - State: closed - Opened by ahelwer over 2 years ago

#56 - Add vscode-anycode integration

Issue - State: closed - Opened by ahelwer almost 3 years ago - 1 comment
Labels: enhancement

#55 - Added query files & tests for github integration

Pull Request - State: closed - Opened by ahelwer almost 3 years ago - 1 comment

#54 - Tests fail locally on macOS

Issue - State: closed - Opened by ahelwer almost 3 years ago - 1 comment
Labels: bug

#53 - Implement nested contexts in external scanner

Pull Request - State: closed - Opened by ahelwer almost 3 years ago - 2 comments

#52 - sync nvim queries with nvim-treesitter

Pull Request - State: closed - Opened by susliko almost 3 years ago

#51 - Fix interaction between jlists inside PlusCal block inside jlists

Issue - State: closed - Opened by ahelwer almost 3 years ago
Labels: bug

#50 - Correctly parse fairness tokens SF_ and WF_

Pull Request - State: closed - Opened by ahelwer almost 3 years ago

#49 - Upgraded to tree-sitter-cli 0.20.4

Pull Request - State: closed - Opened by ahelwer almost 3 years ago

#48 - Fairness token is not parsed

Issue - State: closed - Opened by susliko about 3 years ago - 4 comments
Labels: bug

#46 - Failing tests with latest tree-sitter versions

Issue - State: closed - Opened by susliko about 3 years ago - 9 comments