runtimeverification/wasm-semantics

Les issues sur lesquelles quelqu’un travaille peut-être déjà sont listées en dernier. Tout trier par date

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 2/5 1-3 heures Accessibilité débutants 55/100

  runtimeverification/wasm-semantics#742 · Ouverte le 24/11/2025

• Excluded Proof Tests from CI Due to Failures

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bug

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/wasm-semantics#718 · Ouverte le 14/3/2025

• Lost stack values when entering a loop

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 3/5 1-2 jours Accessibilité débutants 48/100

  runtimeverification/wasm-semantics#678 · Ouverte le 16/7/2024

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 3/5 1-2 jours Accessibilité débutants 55/100

  runtimeverification/wasm-semantics#663 · Ouverte le 27/6/2024

• Improve tokenisation support

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/wasm-semantics#662 · Ouverte le 26/6/2024

• Handle `global.get` in element segments

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

  runtimeverification/wasm-semantics#660 · Ouverte le 26/6/2024

• Upstream WebAssembly specific features from Kasmer

  Peut-être à nouveau libre @virgil-serbanuta l’a pris il y a 840 jours, et aucune pull request n’est ouverte. Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  runtimeverification/wasm-semantics#646 · 1 personne assignée · Ouverte le 12/6/2024

• Seeking Alternatives for Outdated py-wasm Package

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/wasm-semantics#524 · Ouverte le 13/11/2023

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

  runtimeverification/wasm-semantics#385 · Ouverte le 17/11/2020

• Give native support to host function imports

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/wasm-semantics#344 · 2 commentaires · Ouverte le 26/5/2020

• Unsupported test files

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/wasm-semantics#323 · Ouverte le 21/4/2020

• Function `#set` is not actually total

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bug

  Difficulté 4/5 3-5 jours Accessibilité débutants 38/100

  runtimeverification/wasm-semantics#318 · Ouverte le 21/4/2020

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/wasm-semantics#317 · 3 commentaires · Ouverte le 21/4/2020

• Get rid of duplicated lemmas for commutative operations

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement good first issue

  Difficulté 4/5 3-5 jours Accessibilité débutants 38/100

  runtimeverification/wasm-semantics#315 · Ouverte le 20/4/2020

• Error parsing a wat file generated by wasm2wat

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bug

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/wasm-semantics#288 · Ouverte le 23/1/2020

• `call` causes state splitting

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

  runtimeverification/wasm-semantics#273 · 8 commentaires · Ouverte le 19/12/2019

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

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/wasm-semantics#262 · Ouverte le 20/11/2019

• Project Proposal

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/wasm-semantics#234 · Ouverte le 23/10/2019

• Meeting Notes

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  notes

  Difficulté 1/5 Moins d'une heure Accessibilité débutants 25/100

  runtimeverification/wasm-semantics#231 · 12 commentaires · Ouverte le 23/10/2019

• Interesting properties to prove

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/wasm-semantics#219 · Ouverte le 24/9/2019

• Number support; hex format, underscore separation

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

  runtimeverification/wasm-semantics#186 · Ouverte le 15/8/2019

• Machine integers or "True" integers?

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/wasm-semantics#184 · 2 commentaires · Ouverte le 15/8/2019

• List of unimplemented functionality for conformance tests

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 18/100

  runtimeverification/wasm-semantics#150 · 9 commentaires · Ouverte le 16/7/2019

• Program fail with a large list.

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  Not Urgent

  Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

  runtimeverification/wasm-semantics#145 · Ouverte le 12/7/2019

• Valstack Bug

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  bug

  Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

  runtimeverification/wasm-semantics#140 · 5 commentaires · Ouverte le 10/7/2019

• Separate core semantics and text format

  Ouverte

  ⋯Signaler un problème avec cette issue

  • Quelque chose ne va pas ?

  • Déjà prise
  • Pas adaptée aux débutants
  • Obsolète ou invalide
  • Autre chose…
  • Envoyer Annuler
  enhancement

  Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

  runtimeverification/wasm-semantics#93 · 4 commentaires · Ouverte le 14/6/2019