hra687261 smt-lsp-vscode-extension issues - Githubissues

hra687261 / smt-lsp-vscode-extension

A VS Code extension for type checking and syntax highlighting the SMT-LIB Standard.

ISC License

1 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Update README and description

#2 hra687261 closed 2 weeks ago
0
Key logic_file not bound in state. Have you called the init function for the state pipe/module ?

#1 BrandonStudio opened 2 weeks ago
13