Giters
saltudelft
/
type4py-vscode-ext
VSCode Extension of Type4Py
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
7
Watchers:
4
Issues:
11
Forks:
0
saltudelft/type4py-vscode-ext Issues
Add a setting to use Type4Py's local model
Closed
2 years ago
server connection issue
Closed
2 years ago
Comments count
7
Unit/Integration Tests
Closed
3 years ago
Comments count
3
Auto-dismiss info messages
Closed
3 years ago
Comments count
1
Add the infer command to the context menu for source files
Updated
3 years ago
Exception occurs when performing type completion for some variables.
Closed
3 years ago
Comments count
3
Auto-invoke inference command
Closed
3 years ago
Comments count
1
Pattern matching treats space as literal character
Closed
3 years ago
Comments count
1
launch.json causes compilation error
Closed
3 years ago
Predictions are not shown for self attributes
Closed
3 years ago
Comments count
1
VSCode Type Extension: Edge Cases
Updated
3 years ago