TeamTilapia vscode-tilapia issues - Githubissues

TeamTilapia / vscode-tilapia

VS Code extension adding support for Leslie Lamport's TLA+ language

Other

14 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Use tla-bin to run TLC withut the TLA+ Toolbox installed

#17 pmer opened 7 years ago
0
Run TLA+ specs (create/find models?)

#16 pmer opened 7 years ago
1
Make release

#15 pmer opened 7 years ago
3
Colorizer: Port Hillel Wayne's "sad depressing Pygments plugin" to vscode

#14 durantschoon opened 7 years ago
1
Colorizer that looks like the TLA+ toolbox

#13 pmer opened 7 years ago
0
Create "Light+ (default light) (for TLA+)" and "Dark+ (default dark) (for TLA+)" color themes

#12 pmer opened 7 years ago
0
PlusCal grammar

#11 pmer closed 7 years ago
0
Create a colorizer for TLA+ which recognizes PlusCal

#10 durantschoon closed 7 years ago
0
Write a README

#9 pmer closed 7 years ago
0
Setup Travis CI

#8 pmer opened 7 years ago
0
Do something with the Fira Code font

#7 pmer opened 7 years ago
0
Add GitHub milestone to this GitHub repo

#6 pmer opened 7 years ago
0
Add GitHub project to this GitHub repo

#5 pmer closed 7 years ago
1
Investigate adding a TLA+ problem matcher

#4 pmer opened 7 years ago
0
Add TLA+ language server extension

#3 pmer opened 7 years ago
0
Add TLA+ debug adapter extension

#2 pmer opened 7 years ago
0
Add TLA+ grammar extension

#1 pmer closed 7 years ago
3