mason-org/mason.nvim

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

Open

#1331 aperta il 28 mag 2023

Vedi su GitHub
 (1 commento) (1 reazione) (0 assegnatari)Lua (337 fork)batch import
help wantednew-package-request

Metriche repository

Star
 (10.278 star)
Metriche merge PR
 (Merge medio 7g 18h) (4 PR mergiate in 30 g)

Descrizione

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

Guida contributor

Direzione di ricerca
Studia la documentazione di mason.nvim per aggiungere nuovi pacchetti, poi crea una definizione di pacchetto per ikos seguendo il pattern esistente e testala localmente.
Tech stack
luaccpp
Dominio
tooling
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
GitNeovim
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
80