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

Evaluación

Este issue todavía no se ha evaluado.

Descripción

Preparar el entorno

Primeros pasos

1. Lee el issue completo y luego la guía de contribución del proyecto.
2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
3. Haz un fork del repositorio y trabaja en una rama.
4. Abre un pull request que haga referencia al número del issue.

Más de runtimeverification/mir-semantics

• Remove #init function from K

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 1/5 Menos de una hora Aptitud para principiantes 65/100

  runtimeverification/mir-semantics#629 · Abierto el 3/7/2025

• Inconsistent KMIR versions across project

  Posiblemente ocupada @dkcumming la tomó hace 106 días. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 52/100

  runtimeverification/mir-semantics#1078 · Abierto el 24/4/2026

• Decode constant call arguments before storing them in callee locals

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 58/100

  runtimeverification/mir-semantics#1070 · 2 comentarios · Abierto el 18/4/2026

• Reloading proof crashes on with `nix` installation

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  bug

  Dificultad 3/5 1-2 días Aptitud para principiantes 58/100

  runtimeverification/mir-semantics#1067 · Abierto el 16/4/2026

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

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  area:semantics kind:refactor priority:p1 status:triage type:task

  Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

  runtimeverification/mir-semantics#1011 · 1 comentario · Abierto el 1/4/2026

Todos los issues de runtimeverification/mir-semantics

Issues similares

• Summary for `csv_to_wfdb` suggests files are written only when `write_dir` is set

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 1/5 Menos de una hora Aptitud para principiantes 72/100

  MIT-LCP/wfdb-python#590 · Abierto el 28/10/2026

  Los mantenedores suelen responder en 1 día

• _on_wobbler_sample can raise AttributeError when wobbling is disabled during playback

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 77/100

  pollen-robotics/reachy_mini#1517 · Abierto el 28/10/2026

  Los mantenedores suelen responder en 1 día

• Pluginify does not support most virtual environments

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 69/100

  NRLMMD-GEOIPS/pluginify#41 · Abierto el 28/10/2026

• Py3.14: fsspec[s3] can resolve ancient s3fs 0.3.5; suggest s3fs>=2024.1 floor

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 67/100

  scverse/spatialdata#1293 · 1 comentario · Abierto el 28/10/2026

  Los mantenedores suelen responder en 1 día

• frontier_cs: printing only `Ratio:1` scores 1.0 on 66 of 82 checker problems (the checker's quote of the output is read as the score)

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100

  UKGovernmentBEIS/inspect_evals#2788 · Abierto el 28/10/2026

  Los mantenedores suelen responder en 1 día

Más issues de Python