issues
search
tlaplus-community
/
tree-sitter-tlaplus
A tree-sitter grammar for TLA⁺ and PlusCal
MIT License
57
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Invalidate USE ONLY
#80
ahelwer
closed
1 year ago
0
Added fuzzing harness
#79
ahelwer
closed
1 year ago
0
Fixes crash when encountering QED keyword during error recovery
#78
ahelwer
closed
1 year ago
1
Detect fair pcal algorithms
#77
ahelwer
closed
1 year ago
0
PlusCal algorithms starting with `--fair` are not detected
#76
ahelwer
closed
1 year ago
2
Bump version to 1.0.0
#75
ahelwer
closed
1 year ago
0
Many small fixes to prepare for v1
#74
ahelwer
closed
1 year ago
0
Fix 'No such file' error when running run-corpus.sh
#73
jonesmartins
closed
1 year ago
9
Strange highlighting of PlusCal code on GitHub
#72
ahelwer
opened
1 year ago
1
Add corpus test scripts + update README.md
#71
jonesmartins
closed
1 year ago
3
Corpus test execution only available for Windows (Powershell)
#70
jonesmartins
closed
1 year ago
0
A few more changes
#69
jonesmartins
closed
1 year ago
4
Change unit test instruction
#68
jonesmartins
closed
1 year ago
4
Grammar railroad diagram
#67
mingodad
closed
1 year ago
3
Exposed bullet_conj and bullet_disj to literal queries
#66
ahelwer
closed
1 year ago
0
Update EXCEPT expression parsing to delineate each update specifier
#65
will62794
closed
2 years ago
1
Bump version to 0.5.0
#63
ahelwer
closed
2 years ago
0
Incorrect reference highlighting of parameters
#62
ahelwer
opened
2 years ago
0
Spec/implementation differences between Theorem and Assume/Prove
#61
ahelwer
closed
2 years ago
2
Neovim crash when writing set map
#60
ahelwer
closed
1 year ago
4
Add missing queries, improve reference highlighting
#59
ahelwer
closed
2 years ago
7
Support parsing of snippets
#58
ahelwer
closed
2 years ago
0
Add vscode-anycode integration
#56
ahelwer
closed
1 year ago
1
Added query files & tests for github integration
#55
ahelwer
closed
2 years ago
1
Tests fail locally on macOS
#54
ahelwer
closed
2 years ago
1
Implement nested contexts in external scanner
#53
ahelwer
closed
2 years ago
2
sync nvim queries with nvim-treesitter
#52
susliko
closed
2 years ago
0
Fix interaction between jlists inside PlusCal block inside jlists
#51
ahelwer
closed
2 years ago
0
Correctly parse fairness tokens SF_ and WF_
#50
ahelwer
closed
2 years ago
0
Upgraded to tree-sitter-cli 0.20.4
#49
ahelwer
closed
2 years ago
0
Fairness token is not parsed
#48
susliko
closed
2 years ago
4
Failing tests with latest tree-sitter versions
#46
susliko
closed
2 years ago
9
PlusCal support
#45
susliko
closed
2 years ago
28
Added additional Unicode alternatives, added tests
#44
ahelwer
closed
3 years ago
0
Add Emacs `tla-mode` to Notable Integrations
#43
carlthuringer
closed
3 years ago
0
Fixed jlist unicode issues
#42
ahelwer
closed
3 years ago
0
Jlist misbehavior when using unicode land/lor symbols ∧ and ∨
#41
ahelwer
closed
3 years ago
1
In nvim, fold is not created appropriately for block comments
#40
ahelwer
closed
3 years ago
1
Bumped release version and upgraded rust tree-sitter dependency
#39
ahelwer
closed
3 years ago
0
Added unicode symbol alternatives
#38
ahelwer
closed
3 years ago
0
Grammar changes to improve highlighting
#37
ahelwer
closed
3 years ago
0
Added basic reference-based highlighting
#36
ahelwer
closed
3 years ago
0
Ensure grammar builds on MacOS
#35
ahelwer
closed
3 years ago
0
Wrote nvim-treesitter modules for this grammar
#34
ahelwer
closed
3 years ago
0
Create release pipelines and consumption examples
#33
ahelwer
closed
3 years ago
0
Added highlighting query files for tree-sitter-cli; various small fixes
#32
ahelwer
closed
3 years ago
0
PlusCal support
#31
ahelwer
closed
2 years ago
7
Correctly parse proof step levels with external scanner
#30
ahelwer
closed
3 years ago
0
Improve highlighting coverage targeting nvim-treesitter
#29
ahelwer
closed
3 years ago
0
Expose string escape chars for highlighting purposes
#28
ahelwer
closed
3 years ago
2
Previous
Next