mason.nvim icon indicating copy to clipboard operation
mason.nvim copied to clipboard

Published 20 hours ago • verified publisher icon williamboman

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

Open krishnakumarg1984 opened this issue 1 year ago • 1 comments

I've searched open & closed issues for similar requests

  • [X] Yes

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

krishnakumarg1984 avatar May 28 '23 15:05 krishnakumarg1984

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 

williambotman avatar May 28 '23 15:05 williambotman