Giters
LFrobeen
/
intellij-datalog
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
31
Watchers:
3
Issues:
13
Forks:
4
LFrobeen/intellij-datalog Issues
Autocomplete should suggest named parameter `filename=""` in .input clause
Updated
10 months ago
Autocomplete doesn't suggest in-built symbols if there's no newline at the end of file
Updated
10 months ago
Autocomplete duplicates the prefix
Updated
10 months ago
Autocomplete doesn't suggest primitive types (symbol, number, unsigned, float)
Updated
10 months ago
Use of `functors` causes `Unresolved Reference` error
Updated
2 years ago
Unsupported output directive syntax
Updated
2 years ago
Comments count
1
Show warning when there are multiple heads
Updated
2 years ago
Plugin crashes after syntax highlighting
Closed
2 years ago
Comments count
3
Datalog plugin appears to not support Souffle Algebraic Data Types.
Updated
2 years ago
Comments count
1
Datalog plugin does not handle base type syntax correctly
Closed
2 years ago
Comments count
1
Exception when saving file
Closed
2 years ago
Comments count
1
"Welcome!" popup appears every. single. time
Updated
3 years ago
Comments count
1
Support for configuring include path
Updated
5 years ago
Comments count
1