mason-org/mason.nvim

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

Open

#1,331 opened on May 28, 2023

View on GitHub
 (1 comment) (1 reaction) (0 assignees)Lua (337 forks)batch import
help wantednew-package-request

Repository metrics

Stars
 (10,278 stars)
PR merge metrics
 (Avg merge 7d 18h) (4 merged PRs in 30d)

Description

I've searched open & closed issues for similar requests

  • 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

Contributor guide

Research direction
Study the mason.nvim documentation for adding new packages, then create a package definition for ikos following the existing pattern, and test locally.
Tech stack
luaccpp
Domain
tooling
Issue type
Feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
2
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-3 hours
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
GitNeovim
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
80