ThalesGroup/frama-c-lsp

This repository contains both the server and client software that implement the Language Server Protocol (LSP) for C/ACSL language. The server part is a novel Frama-C plugin called "lsp". The client part is a VsCode extension.

语言：OCaml · GitHub 星标：8 · Fork：3

话题：acsl · c · formal-methods · formal-verification · frama-c · lsp · lsp-client · lsp-server

在 GitHub 上查看原仓库