~ahelwer/tree-sitter-tlaplus

c10ad7e8 — Andrew Helwer 2 months ago main
Add additional checks to release workflow (#107)

* Upgraded release workflow, fixed scanner warnings
Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>
cc729734 — Markus Alexander Kuppe 2 months ago
Binary incompatibilities because of emscripten 2.x (#106)

* Create npm tarball as part of CI run.
* Bump emscripten to fix ABI incompatibilities:
439dad01 — Andrew Helwer 2 months ago
Fixed rust build

Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>
78257b4b — Andrew Helwer 2 months ago
Bumped version

Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>
4428951a — Markus Alexander Kuppe 2 months ago
.wasm file missing in 1.2.x npm.js package (#105)

https://github.com/tlaplus-community/tree-sitter-tlaplus/issues/104
496322c1 — Andrew Helwer 2 months ago
Updated action versions in release workflow

Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>
e39488a8 — Andrew Helwer 2 months ago
Fixed rust bindings

Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>
b2ffee62 — Andrew Helwer 2 months ago
Added additional unicode corpus tests (#103)

Can also use unicode number sets on operator def LHS

Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>
a23bdb79 — Patrick Thomson 2 months ago
Expose highlights and locals queries in Rust crate. (#102)

* Expose highlights and locals query in Rust crate
* Bump version
7455f170 — Andrew Helwer 2 months ago
Rewrite scanner in C (#99)

Rewrite scanner in C, add some corpus tests, add generated files from newer versions of tree-sitter CLI

Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>
3896a5be — Andrew Helwer 3 months ago
Upgrade to TS 0.21.0, expand corpus tests, add fields to grammar (#86)

Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>
aaf5bb5c — Andrew Helwer 5 months ago
Added README release and build instructions (#91)

aeb2e8fd — Vasil Markoukin 5 months ago
Set proper lexical precedence for string contents (#89)

Fixes #83

Problem
----
The grammar fails to parse strings with comment start lexemes inside them: `"\*"` and `"(*"`

Solution
----
Specify a higher lexical precedence for string contents than for comments
c5fae9e4 — Andrew Helwer 6 months ago
Fixed interaction between :> and jlists (#88)

Bug reported by @will62794 
d99cb5c7 — Andrew Helwer 7 months ago
Bumped patch version
204e8588 — Andrew Helwer 7 months ago
Added new diamond operator (#85)

* Added new diamond operator
* Specify python version in CI and install setuptools
* Document Python as install dependency
7ba226cf — Andrew Helwer 1 year, 2 months ago
Hardened scanner against further segfaults (#82)

6d2ec894 — Andrew Helwer 1 year, 4 months ago
Added fuzzing harness (#79)

Also add sanitizer build
510eddb0 — Andrew Helwer 1 year, 4 months ago
Fixed README
c54aebd3 — Andrew Helwer 1 year, 4 months ago
Fixes crash when encountering QED keyword during error recovery (#78)

Result of calling vector.pop_back() when vector was empty
Next