[FEATURE] print rules for nd-branches

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 97 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

• wr.dynamodb.read_items returns [{}] for a single partition value that does not exist

  Posiblemente ocupada @auraseb la tomó hoy. 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 84/100

  aws/aws-sdk-pandas#3520 · Abierto el 20/10/2026

  Los mantenedores suelen responder en 2 días

• Inspect overloads for Any handle raiseerr wrong

  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
  requires triage typing

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

  sqlalchemy/sqlalchemy#13704 · Abierto el 20/10/2026

  Los mantenedores suelen responder en 1 día

• Edit tool converts CRLF files to LF

  Posiblemente ocupada @RaphaelFakhri la tomó hoy. 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 68/100

  huggingface/tau#774 · Abierto el 20/10/2026

  Los mantenedores suelen responder en 1 día

• show ignores the row limit when a column or table name contains "limit"

  Posiblemente ocupada @RaphaelFakhri la tomó hoy. 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 88/100

  dbt-labs/dbt-mcp#943 · Abierto el 20/10/2026

  Los mantenedores suelen responder en 1 día

• What happened to `check.py`?

  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

  linebender/resvg#1179 · 1 comentario · Abierto el 20/10/2026

  Los mantenedores suelen responder en 2 días

Más issues de Python