mason-org/mason.nvim

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

Open

#1,328 opened on May 28, 2023

View on GitHubContributor guide
 (1 comment) (0 reactions) (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

frama-c

Package homepage

https://frama-c.com/

Languages

C

How is this package distributed?

Through OPAM.

Contributor guide

Research direction
To add Frama C support, create a new package definition in the lua/mason registry/packages/ directory following the existing package structure. Refer to the CONTRIBUTING.md for details. Ensure the installer script downloads and installs Frama C from OPAM or source.
Tech stack
lua
Domain
developer experience
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-2 days
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
GitLuaNeovimMason
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
60