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

Repository metrics

Stars

10,278 個のスター (10,278 個のスター)

PR merge metrics

平均マージ 7d 18h (平均マージ 7d 18h)30d で 4 merged PRs (30d で 4 merged PRs)

説明

コントリビューターガイド

調査方針

Frama C サポートを追加するには、lua/mason registry/packages/ ディレクトリに既存のパッケージ構造に従った新しいパッケージ定義を作成します。詳細は CONTRIBUTING.md を参照してください。インストーラースクリプトが OPAM またはソースから Frama C をダウンロードしてインストールすることを確認してください。

技術スタック

lua

領域

developer experience

Issue 種別

機能

難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。

2

推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。

1-2日

活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。

アクティブ

明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。

明確

前提条件

GitLuaNeovimMason

初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。

60