LFrobeen intellij-datalog issues - Githubissues

LFrobeen / intellij-datalog

MIT License

31 stars 4 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Autocomplete should suggest named parameter `filename=""` in .input clause

#15 murfel opened 8 months ago
0
Autocomplete doesn't suggest in-built symbols if there's no newline at the end of file

#14 murfel opened 8 months ago
0
Autocomplete duplicates the prefix

#13 murfel opened 8 months ago
0
Autocomplete doesn't suggest primitive types (symbol, number, unsigned, float)

#12 murfel opened 8 months ago
0
Use of `functors` causes `Unresolved Reference` error

#11 Troublor opened 1 year ago
0
Unsupported output directive syntax

#10 Troublor opened 1 year ago
1
Show warning when there are multiple heads

#9 waderwu opened 2 years ago
0
v2.0.0

#8 LFrobeen closed 2 years ago
0
Feature/2022 update

#7 LFrobeen closed 2 years ago
0
Plugin crashes after syntax highlighting

#6 nielstron closed 2 years ago
3
Datalog plugin appears to not support Souffle Algebraic Data Types.

#5 markww opened 3 years ago
1
Datalog plugin does not handle base type syntax correctly

#4 markww closed 2 years ago
1
Exception when saving file

#3 bonzani closed 2 years ago
1
"Welcome!" popup appears every. single. time

#2 FauxFaux opened 4 years ago
1
Support for configuring include path

#1 trygvis opened 4 years ago
1