issues
search
ClemsonRSRG
/
jetbrains-plugin-resolve
A plugin that provides support for the RESOLVE language in jetbrains IDEs
https://plugins.jetbrains.com/plugin/8131
BSD 3-Clause "New" or "Revised" License
2
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
improper reference completion in code
#59
dtwelch
opened
7 years ago
0
Repr completions
#58
dtwelch
closed
7 years ago
0
Original imports3
#57
dtwelch
closed
7 years ago
0
verification panel should autosize based on preview editor
#56
dtwelch
opened
8 years ago
0
Prover9g
#55
dtwelch
closed
8 years ago
0
Prover9d
#54
dtwelch
closed
8 years ago
0
Call ctx info
#53
dtwelch
closed
8 years ago
0
Modulespec changes
#52
dtwelch
closed
8 years ago
0
Modulespec changes
#51
dtwelch
closed
8 years ago
1
wildcard completion queries: already there with ctrl + space
#50
dtwelch
opened
8 years ago
0
Ref uses2
#49
dtwelch
closed
8 years ago
0
Dev4
#48
dtwelch
closed
8 years ago
0
Pkg preferred
#47
dtwelch
closed
8 years ago
0
question: should module refs refer back to the PsiModule or the PsiFile... hmmm.
#46
dtwelch
closed
8 years ago
1
Dev3
#45
dtwelch
closed
8 years ago
0
Unicode refs & defs + associated template context support for this.
#44
dtwelch
opened
8 years ago
2
Math selectors2
#43
dtwelch
closed
8 years ago
0
Intention tests
#42
dtwelch
closed
8 years ago
0
console editor not being 'released' correctly
#41
dtwelch
opened
8 years ago
0
Tool dialog
#40
dtwelch
closed
8 years ago
0
idea: codegen
#39
dtwelch
closed
8 years ago
1
Doc
#38
dtwelch
closed
8 years ago
0
added shell for doc
#37
dtwelch
closed
8 years ago
0
doc++
#36
dtwelch
closed
8 years ago
0
Structureview would be a nice feature
#35
dtwelch
opened
8 years ago
0
Impl dev
#34
dtwelch
closed
8 years ago
0
Prog run
#33
dtwelch
closed
8 years ago
0
Concept dev3
#32
dtwelch
closed
8 years ago
0
need to find refs to op name for return
#31
dtwelch
opened
8 years ago
0
`MathVarLikeReference`s need to search through formal parameter decls
#30
dtwelch
closed
8 years ago
1
Uses refs
#29
dtwelch
closed
8 years ago
0
Precis checkpoint
#28
dtwelch
closed
8 years ago
0
Qualifier work
#27
dtwelch
closed
9 years ago
0
Psi refs
#26
dtwelch
closed
9 years ago
0
Psi bnf refs4
#25
dtwelch
closed
9 years ago
0
next thing: RESOLVEAutoCompletionContributor
#24
dtwelch
closed
8 years ago
1
code inspection checking solution for illegal forward refs
#23
dtwelch
opened
9 years ago
0
requires & ensures keyword completions don't work on recursive OperationProcedureDecls
#22
dtwelch
closed
8 years ago
1
gen vcs and display them w/ external annotator.
#21
dtwelch
closed
9 years ago
1
gen vcs and display them w/ external annotator.
#20
dtwelch
opened
9 years ago
0
request: keyword completion on parameter modes
#19
dtwelch
closed
9 years ago
1
deprecated antlr4 method used in `TokenSet` creation
#18
dtwelch
closed
8 years ago
1
plugin unit tests
#17
dtwelch
opened
9 years ago
2
Readme
#16
dtwelch
closed
9 years ago
0
add wiki page describing how to contribute to, and cut a release of the plugin
#15
dtwelch
opened
9 years ago
0
write a readme
#14
dtwelch
closed
9 years ago
1
no default compiler before-run-task for first first time runs
#13
dtwelch
closed
8 years ago
1
red squiggly 'error lines' under block comments
#12
dtwelch
closed
9 years ago
3
null pointer exception when trying to fold syntactically incorrect `uses` clause
#11
dtwelch
closed
8 years ago
3
Highlighting
#10
dtwelch
closed
9 years ago
0
Next