issues
search
imandra-ai
/
imandra-vscode
VSCode extension for developing imandra
Other
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
make code actions hook up properly
#39
ewenmaclean
opened
1 year ago
0
dune projects new file error
#38
ewenmaclean
opened
1 year ago
2
support rich strings in imandra plugin
#37
c-cube
opened
3 years ago
0
bugs in imandra-merlin?
#36
ignaden
opened
3 years ago
2
Throw user error on `#mod_use` syntax
#35
ignaden
opened
3 years ago
2
feat: option to check buffers with imandra-vscode-server only on save
#34
c-cube
closed
3 years ago
0
Configurable update for the server
#33
ewenmaclean
closed
3 years ago
0
@@opaque not understood
#32
ewenmaclean
closed
4 years ago
0
Ewen/adding log view
#31
ewenmaclean
closed
4 years ago
0
chore(deps): bump js-yaml from 3.11.0 to 3.13.1
#30
dependabot[bot]
closed
3 years ago
1
updating to allow permanent disconnection
#29
ewenmaclean
closed
4 years ago
2
Functors in program mode not working
#28
ewenmaclean
closed
4 years ago
0
Requires not propagated in file structures
#27
ewenmaclean
closed
4 years ago
1
`[@@@require]` not working
#26
ewenmaclean
closed
5 years ago
0
Ewen/hanging stdout fix
#25
ewenmaclean
closed
5 years ago
0
Fatal warnings (important for soundness) not enforced
#24
grantpassmore
closed
5 years ago
1
updating README
#23
ewenmaclean
closed
5 years ago
0
imandra-merlin exits with error code on (*)
#22
ewenmaclean
opened
5 years ago
0
fix-engine merlin not working
#21
ewenmaclean
opened
5 years ago
0
jump to def not working
#20
ewenmaclean
opened
5 years ago
2
build automatically on install
#19
ewenmaclean
opened
5 years ago
0
feat: custom message for protocol version mismatch
#18
c-cube
closed
5 years ago
0
updating to use imandra-merlin as a standard method
#17
ewenmaclean
closed
5 years ago
0
Fix comment pairs
#16
actionshrimp
closed
5 years ago
0
completion for attribute names
#15
c-cube
closed
3 years ago
1
imandra plugin
#14
c-cube
closed
5 years ago
0
command to restart imandra-vscode-server
#13
c-cube
closed
5 years ago
0
add command for displaying dependency as graphviz
#12
c-cube
opened
5 years ago
0
add reload command, update deps
#11
c-cube
closed
5 years ago
0
investigate double merlin process error
#10
ewenmaclean
opened
5 years ago
0
remove synced hover languages from IDE
#9
ewenmaclean
closed
5 years ago
0
Ewen/integrate language server
#8
ewenmaclean
closed
6 years ago
0
Cmd-Click (goto definition) fails with wrong path
#7
grantpassmore
closed
5 years ago
5
Improve error message when 'file not in a directory' (within a workspace)
#6
grantpassmore
closed
6 years ago
0
Support `lemma` on equal footing with `theorem`
#5
grantpassmore
closed
6 years ago
6
Upstream PR to `vscode-reasonml`
#4
ewenmaclean
closed
5 years ago
0
Upstream Prs to ocaml-language-server
#3
ewenmaclean
closed
5 years ago
0
Upstream PRs to merlin
#2
ewenmaclean
closed
5 years ago
0
Ewen/lsdependency test
#1
ewenmaclean
closed
6 years ago
0