Search results

Find the build directory from kbuild.toml

Status: Open.

#51 In runtimeverification/k-editor-support;

· radumereuta opened on Jun 22, 2023

VSCode - package extension for web

Status: Open.

#46 In runtimeverification/k-editor-support;

· radumereuta opened on Mar 10, 2023

KVSCode - validate if the klsp script is accesible

Status: Open.

#40 In runtimeverification/k-editor-support;

· radumereuta opened on Feb 14, 2023

Language Server features (progress)

Status: Open.

#39 In runtimeverification/k-editor-support;

· radumereuta opened on Feb 14, 2023

VSCode - inspect AST

Status: Open.

#38 In runtimeverification/k-editor-support;

· radumereuta opened on Feb 14, 2023

LSP completion should autoimport modules

Status: Open.

#37 In runtimeverification/k-editor-support;

· radumereuta opened on Feb 14, 2023

[Emacs mode] Only string and comment are colored

Status: Open.

#12 In runtimeverification/k-editor-support;

· amelieled opened on Mar 18, 2021

Fail to import Notepad++

Status: Open.

#7 In runtimeverification/k-editor-support;

· Jdahn opened on Apr 22, 2020

Null Exception

Status: Open.

#4 In runtimeverification/k-editor-support;

· elazarg opened on Sep 28, 2017