search

williamboman / mason.nvim

Portable package manager for Neovim that runs everywhere Neovim runs. Easily install and manage LSP servers, DAP servers, linters, and formatters.
Apache License 2.0
7.33k stars 261 forks source link

[New package]: Support for ikos ( Static analyzer for C/C++ based on the theory of Abstract Interpretation_ #1331

Open krishnakumarg1984 opened 1 year ago

krishnakumarg1984 commented 1 year ago

I've searched open & closed issues for similar requests

Package name

ikos

Package homepage

https://github.com/NASA-SW-VnV/ikos

Languages

C, C++

How is this package distributed?

Have to compile from source

williambotman commented 1 year ago

Hello! Pull requests are always very welcomed to add new packages. If the distribution of the package is simple, the installation will most likely be so as well. See CONTRIBUTING.md and the API reference for more details! You may also use existing packages as reference.

 🤖 This is an automated comment.    📖 Source code