runtimeverification/wasm-semantics

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

• Fragmentation in `SparseBytes` caused by `replaceAtZ` rule

  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 2/5 1-3 horas Aptitud para principiantes 55/100

  runtimeverification/wasm-semantics#742 · Abierto el 24/11/2025

• Excluded Proof Tests from CI Due to Failures

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

  runtimeverification/wasm-semantics#718 · Abierto el 14/3/2025

• Lost stack values when entering a loop

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

  runtimeverification/wasm-semantics#678 · Abierto el 16/7/2024

• Function signatures aren't available during `Text2Abstract` on function definitions

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

  runtimeverification/wasm-semantics#663 · Abierto el 27/6/2024

• Improve tokenisation support

  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/wasm-semantics#662 · Abierto el 26/6/2024

• Handle `global.get` in element segments

  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/wasm-semantics#660 · Abierto el 26/6/2024

• Upstream WebAssembly specific features from Kasmer

  Quizá libre de nuevo @virgil-serbanuta la tomó hace 839 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/wasm-semantics#646 · 1 asignado · Abierto el 12/6/2024

• Seeking Alternatives for Outdated py-wasm Package

  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/wasm-semantics#524 · Abierto el 13/11/2023

• Build abstract Wasm as a separate subdefinition from text+test Wasm

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

  runtimeverification/wasm-semantics#385 · Abierto el 17/11/2020

• Give native support to host function imports

  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/wasm-semantics#344 · 2 comentarios · Abierto el 26/5/2020

• Unsupported test files

  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/wasm-semantics#323 · Abierto el 21/4/2020

• Function `#set` is not actually total

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

  runtimeverification/wasm-semantics#318 · Abierto el 21/4/2020

• Make functions in `numeric.md` total `functional`

  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/wasm-semantics#317 · 3 comentarios · Abierto el 21/4/2020

• Get rid of duplicated lemmas for commutative operations

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

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

  runtimeverification/wasm-semantics#315 · Abierto el 20/4/2020

• Error parsing a wat file generated by wasm2wat

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

  runtimeverification/wasm-semantics#288 · Abierto el 23/1/2020

• `call` causes state splitting

  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/wasm-semantics#273 · 8 comentarios · Abierto el 19/12/2019

• Upstream generic `Int` arithmetic lemmas to `domains.k` module `INT-SYMBOLIC`

  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/wasm-semantics#262 · Abierto el 20/11/2019

• Project Proposal

  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/wasm-semantics#234 · Abierto el 23/10/2019

• Meeting Notes

  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
  notes

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

  runtimeverification/wasm-semantics#231 · 12 comentarios · Abierto el 23/10/2019

• Interesting properties to prove

  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/wasm-semantics#219 · Abierto el 24/9/2019

• Number support; hex format, underscore separation

  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/wasm-semantics#186 · Abierto el 15/8/2019

• Machine integers or "True" integers?

  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/wasm-semantics#184 · 2 comentarios · Abierto el 15/8/2019

• List of unimplemented functionality for conformance tests

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

  runtimeverification/wasm-semantics#150 · 9 comentarios · Abierto el 16/7/2019

• Program fail with a large list.

  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
  Not Urgent

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

  runtimeverification/wasm-semantics#145 · Abierto el 12/7/2019

• Valstack Bug

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

  runtimeverification/wasm-semantics#140 · 5 comentarios · Abierto el 10/7/2019

• Separate core semantics and text format

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

  runtimeverification/wasm-semantics#93 · 4 comentarios · Abierto el 14/6/2019