[FEATURE] Format the output pretty K configurations for `kmir run` and `kmir show`

Đánh giá

Issue này chưa được đánh giá.

Mô tả

Chuẩn bị môi trường

Bắt đầu từ đâu

1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
3. Fork repository và làm thay đổi trên một nhánh.
4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của runtimeverification/mir-semantics

• Remove #init function from K

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 65/100

  runtimeverification/mir-semantics#629 · Mở ngày 3/7/2025

• Inconsistent KMIR versions across project

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 52/100

  runtimeverification/mir-semantics#1078 · Mở ngày 24/4/2026

• Decode constant call arguments before storing them in callee locals

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/100

  runtimeverification/mir-semantics#1070 · 2 bình luận · Mở ngày 18/4/2026

• Reloading proof crashes on with `nix` installation

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  bug

  Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/100

  runtimeverification/mir-semantics#1067 · Mở ngày 16/4/2026

• Unify #traverseProjection value representation to eliminate singleton Range round-trips

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  area:semantics kind:refactor priority:p1 status:triage type:task

  Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

  runtimeverification/mir-semantics#1011 · 1 bình luận · Mở ngày 1/4/2026

Tất cả issue của runtimeverification/mir-semantics

Issue tương tự

• ArgTransform(type=...) merges into the parent property schema, so no value validates

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy
  bug server

  Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100

  PrefectHQ/fastmcp#5369 · Mở ngày 1/10/2026

  Maintainer thường phản hồi trong vòng 1 ngày

• cfb: the four "Extra Point Missed" string relabels mistype blocked field goals

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100

  sportsdataverse/sportsdataverse-py#641 · Mở ngày 30/9/2026

  Maintainer thường phản hồi trong vòng 1 ngày

• ci: remove UV_PRERELEASE workaround once Python 3.15 is officially released

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 82/100

  googleapis/google-cloud-python#18532 · Mở ngày 30/9/2026

  Maintainer thường phản hồi trong vòng 1 ngày

• Unpin breathe<5 once breathe-doc/breathe#1085 is released

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100

  NVIDIA/cuml#8724 · Mở ngày 30/9/2026

  Maintainer thường phản hồi trong vòng 1 ngày

• Add Cancel button and Enter-key save behavior to schedule session configuration popup

  Đang mở

  ⋯Báo cáo vấn đề với issue này

  • Có gì không ổn?

  • Đã có người nhận
  • Không phù hợp cho người mới
  • Đã cũ hoặc không hợp lệ
  • Vấn đề khác…
  • Gửi Hủy

  Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100

  fossasia/eventyay#6043 · Mở ngày 30/9/2026

  Maintainer thường phản hồi trong vòng 1 ngày

Thêm issue về Python