runtimeverification/stable-mir-json

Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha

• Node.js 20 CI runner deprecation notice

  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 45/100

  runtimeverification/stable-mir-json#148 · Abierto el 11/3/2026

• The Curious Case of stdlib: nightly compatibility findings

  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 4/5 3-5 días Aptitud para principiantes 45/100

  runtimeverification/stable-mir-json#141 · Abierto el 8/3/2026

• Qualified names for both `IntrinsicSym` and `NormalSym`

  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
  good first issue

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

  runtimeverification/stable-mir-json#137 · 1 comentario · Abierto el 5/3/2026

• Surface mutability in graph outputs

  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 35/100

  runtimeverification/stable-mir-json#128 · Abierto el 27/2/2026

• Graph Improvements: Headings / Ids for `BasicBlock`s

  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
  good first issue

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  runtimeverification/stable-mir-json#110 · Abierto el 23/11/2025

• Graph Improvements: Removing `lang-start` component from graph

  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
  good first issue

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  runtimeverification/stable-mir-json#109 · Abierto el 23/11/2025

• Graph Improvements: Mutability specifiers on 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
  good first issue

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

  runtimeverification/stable-mir-json#108 · Abierto el 23/11/2025

• [MAIN] Graph Improvements

  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
  good first issue

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

  runtimeverification/stable-mir-json#106 · 1 comentario · 1 reacción · Abierto el 23/11/2025

• fix(tests/ui): sort problem for `./remake_ui_tests.sh`

  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 35/100

  runtimeverification/stable-mir-json#103 · Abierto el 21/10/2025

• Getting wrong type ID `0` for allocs used as fields of single-variant enum

  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 4/5 3-5 días Aptitud para principiantes 42/100

  runtimeverification/stable-mir-json#101 · 2 comentarios · Abierto el 8/10/2025

• Upgrade compiler dependency to a recent nightly

  Quizá libre de nuevo @jberthold la tomó hace 436 días y no hay ningún pull request abierto. 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

  runtimeverification/stable-mir-json#90 · 1 comentario · 1 asignado · Abierto el 21/7/2025

• `cargo test` fails when `GlobalAlloc::Function` is not `RigidTy::FnPtr`

  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 52/100

  runtimeverification/stable-mir-json#88 · Abierto el 27/6/2025

• Linking SMIR JSON data from different crates

  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 5/5 Más de una semana Aptitud para principiantes 35/100

  runtimeverification/stable-mir-json#86 · 6 comentarios · Abierto el 3/6/2025

• Graph Improvement: GlobalAllocs

  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
  enhancement

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

  runtimeverification/stable-mir-json#83 · Abierto el 20/5/2025

• Change test scripts to use appropriate error flags

  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 45/100

  runtimeverification/stable-mir-json#79 · Abierto el 4/5/2025

• Type Collector meta-issue

  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 5/5 Más de una semana Aptitud para principiantes 25/100

  runtimeverification/stable-mir-json#73 · Abierto el 29/4/2025

• `MonoItem::Fn` without `Body`

  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 4/5 3-5 días Aptitud para principiantes 35/100

  runtimeverification/stable-mir-json#61 · Abierto el 25/3/2025

• Incorporate feedback on our stable-MIR and its extraction

  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 4/5 3-5 días Aptitud para principiantes 25/100

  runtimeverification/stable-mir-json#57 · Abierto el 18/3/2025

• Some `UnevaluatedConst` are not monomorphised

  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
  Future Work Notes

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  runtimeverification/stable-mir-json#52 · Abierto el 25/2/2025

• Cargo integration cont.

  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 4/5 3-5 días Aptitud para principiantes 35/100

  runtimeverification/stable-mir-json#48 · 2 comentarios · Abierto el 17/2/2025

• Add `main` to `functions` array

  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 45/100

  runtimeverification/stable-mir-json#42 · 1 comentario · Abierto el 4/2/2025

• Need to handle provenance for all `RigidTy`s

  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
  Future Work Notes

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

  runtimeverification/stable-mir-json#32 · 1 comentario · Abierto el 23/1/2025

• Problem with statics

  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
  Future Work Notes

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  runtimeverification/stable-mir-json#29 · Abierto el 17/1/2025

• Craft an automation for compiler dependency updates

  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 5/5 Más de una semana Aptitud para principiantes 30/100

  runtimeverification/stable-mir-json#23 · Abierto el 14/1/2025

• `FnDef` tys can point to different monomorphic instances (with same DefId?)

  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 Future Work Notes

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

  runtimeverification/stable-mir-json#16 · Abierto el 29/10/2024

• Allocations related to V tables need to be sorted out

  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 5/5 Más de una semana Aptitud para principiantes 15/100

  runtimeverification/stable-mir-json#14 · Abierto el 28/10/2024

• Intrinsics require investigation

  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
  Future Work Notes

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

  runtimeverification/stable-mir-json#13 · Abierto el 28/10/2024

• Consts are not necessarily `Scalar` values

  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
  Future Work Notes

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  runtimeverification/stable-mir-json#12 · Abierto el 28/10/2024

• Produce JSON schema for stable MIR JSON (from a corpus)

  Posiblemente ocupada @Stevengre la tomó hace 386 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

  runtimeverification/stable-mir-json#98 · 1 asignado · Abierto el 9/9/2025