Hacktoberfest 2026:メンテナが10月に向けて印を付けた、オープンで初心者向けの issue。 Hacktoberfest の issue を見る

UX improvements for `section_edge`

オープン
#4,897 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度
4/5
見積もり時間
3〜5日
初心者へのやさしさ
35/100
issue の種類
機能追加
明瞭さ
おおむね明確
活発さ
停滞
技術スタック
python
領域
cli

調査の方向性

Start by locating the section_edge entry point and its existing section-count handling. Compare the requested max-depth-like option and transitive sectioning behavior with the current command semantics; done means both features work for direct and multi-edge node pairs.

索引モデルが issue の本文から書いたものです。

説明

As suggested by @dkcumming, it'd be helpful to support the following two new features in section_edge:

  1. In addition to the number of sections, support a max-depth-like parameter;
  2. Support transitive sectioning, i.e., make section_edge work for every two nodes connected by a number of edges (e.g., for nodes 1 - 2 - 3, support section-edge 1 3).
主要言語
Python
スター
598
フォーク
164
PR マージ指標
30日以内にマージされた PR はありません

環境構築

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

runtimeverification/k のほかの issue

runtimeverification/k の issue をすべて見る

似ている issue

Python の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。