mason-org/mason.nvim

[New package]: Requesting support for the Frama-C static analysis tool

Offen

#1.328 geöffnet am 28.05.2023

Auf GitHub ansehenContributor Guide
 (1 Kommentar) (0 Reaktionen) (0 zugewiesene Personen)Lua (337 Forks)batch import
help wantednew-package-request

Repository-Metriken

Stars
 (10.278 Sterne)
PR-Merge-Metriken
 (Durchschn. Merge 7T 18h) (4 gemergte PRs in 30 T)

Beschreibung

I've searched open & closed issues for similar requests

  • Yes

Package name

frama-c

Package homepage

https://frama-c.com/

Languages

C

How is this package distributed?

Through OPAM.

Contributor Guide

Research-Richtung
Um Frama C Unterstützung hinzuzufügen, erstellen Sie eine neue Paketdefinition im Verzeichnis lua/mason registry/packages/ gemäß der vorhandenen Paketstruktur. Einzelheiten finden Sie in der CONTRIBUTING.md. Stellen Sie sicher, dass das Installationsskript Frama C von OPAM oder aus dem Quellcode herunterlädt und installiert.
Tech Stack
lua
Domain
developer experience
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
GitLuaNeovimMason
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
60