esbmc

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

• [python] A function returning a method call's result or None aborts with irep2_cast_error

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

  esbmc/esbmc#9055 · Ouverte le 22/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Wrong verdict: isinstance on the result of index() is false

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

  esbmc/esbmc#9054 · Ouverte le 22/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Wrong verdict: a returned list element read with a parameter index fails isinstance

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

  esbmc/esbmc#9053 · Ouverte le 22/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] isinstance(v, h) with h a parameter fails in an imported module

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

  esbmc/esbmc#9049 · Ouverte le 21/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] object() stops conversion with migrate expr failed

  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 Une demi-journée Accessibilité débutants 54/100

  esbmc/esbmc#9048 · Ouverte le 21/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] A nested class of an imported module raises NameError

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

  esbmc/esbmc#9047 · Ouverte le 21/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] from typing import Any makes isinstance over a set refuse

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

  esbmc/esbmc#9045 · Ouverte le 21/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Wrong verdict: a function with a function default, passed with a function of another type, is not refused

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

  esbmc/esbmc#9037 · Ouverte le 21/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Crash: calling a function through a nested dict after d[k] is given a new dict literal

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

  esbmc/esbmc#9036 · Ouverte le 21/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Wrong verdict: isinstance on a conditional expression choosing a str call or an int call

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

  esbmc/esbmc#9033 · 1 commentaire · Ouverte le 21/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Wrong verdict: type() of a variable holding a str or an int depending on the path is folded to a constant

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

  esbmc/esbmc#9032 · 1 commentaire · Ouverte le 21/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Wrong verdict: isinstance on a variable holding a str or a float depending on the path

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

  esbmc/esbmc#9031 · 1 commentaire · Ouverte le 21/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Wrong verdict: a call through a parameter to functions returning str or int loses the type

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

  esbmc/esbmc#9030 · 1 commentaire · Ouverte le 21/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Wrong verdict: a local assigned a str or an int in an if and then returned keeps one type

  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 1-2 jours Accessibilité débutants 55/100

  esbmc/esbmc#9029 · 1 commentaire · Ouverte le 21/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Wrong verdict: a function returning calls of different types on two paths keeps one type

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

  esbmc/esbmc#9028 · 1 commentaire · Ouverte le 21/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [contracts] umbrella: return_value pruning under --replace-call-with-contract, is_fresh, assigns and sprintf model bugs

  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 contracts umbrella

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

  esbmc/esbmc#9000 · Ouverte le 20/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Wrong verdict: a nondet value returned from an imported function has no type

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

  esbmc/esbmc#8980 · Ouverte le 20/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Wrong verdict: a lambda called through a parameter returns a value with no type

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

  esbmc/esbmc#8979 · Ouverte le 20/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] import pkg.sub does not bind pkg, so pkg.sub.func() is refused

  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 1-2 jours Accessibilité débutants 58/100

  esbmc/esbmc#8975 · Ouverte le 20/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] An attribute assigned an int after holding a str is refused

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

  esbmc/esbmc#8974 · Ouverte le 20/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] A variable holding an int or a float depending on the path cannot be read

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

  esbmc/esbmc#8973 · 1 commentaire · Ouverte le 20/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] A conditional expression choosing str or int functions is refused as a keyword argument

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

  esbmc/esbmc#8972 · Ouverte le 20/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Passing a variable that is an int or a str depending on the path is refused

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

  esbmc/esbmc#8971 · 1 commentaire · Ouverte le 20/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Looping over tuples of a float list and a float segfaults

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

  esbmc/esbmc#8928 · Ouverte le 20/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] A recursive method named get or find crashes

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

  esbmc/esbmc#8926 · Ouverte le 20/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Passing an element of a float/str list to a function is refused

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

  esbmc/esbmc#8921 · Ouverte le 20/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] A loop over a list mixing lists and ints is refused

  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 1-2 jours Accessibilité débutants 48/100

  esbmc/esbmc#8919 · Ouverte le 20/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Unpacking fails when a function is called with its own result

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

  esbmc/esbmc#8918 · 1 commentaire · Ouverte le 20/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Nested unpacking over a default parameter built by append fails

  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 1-2 jours Accessibilité débutants 52/100

  esbmc/esbmc#8917 · Ouverte le 20/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Unpacking an item of a list taken from a mixed-type list fails

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

  esbmc/esbmc#8914 · Ouverte le 20/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] A str read from a loop-built list misses as a dict key

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

  esbmc/esbmc#8913 · Ouverte le 20/10/2026

  Les mainteneurs répondent en général sous 1 jour

• x86 long double is modelled with a 112-bit fraction while LDBL_MANT_DIG is 64

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

  esbmc/esbmc#8675 · Ouverte le 16/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] A variable bound to one of two classes cannot be called

  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
  python

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

  esbmc/esbmc#8478 · 1 commentaire · Ouverte le 12/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] Tracking: gaps found running the sv-benchmarks Python programs

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

  esbmc/esbmc#8326 · 16 commentaires · 1 réaction · Ouverte le 10/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] A class-attribute write and an instance-attribute write joined by a branch are both lost

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

  esbmc/esbmc#8267 · 2 commentaires · Ouverte le 9/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [python] The array module is not modelled

  Peut-être à nouveau libre @dhvanilshah2007 l’a pris il y a 14 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
  python

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

  esbmc/esbmc#8222 · 3 commentaires · Ouverte le 8/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [svcomp] --context-bound 3 reports incorrect true on ctcs-race-reused-thread-id

  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
  concurrency SV-COMP

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

  esbmc/esbmc#8220 · Ouverte le 8/10/2026

  Les mainteneurs répondent en général sous 1 jour

• Concurrency checks assume sequential consistency: an x86-TSO outcome is reported unreachable

  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
  concurrency enhancement

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

  esbmc/esbmc#8181 · 1 commentaire · Ouverte le 4/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [svcomp] --context-bound 3 reports incorrect true on triangular-*-2

  Peut-être à nouveau libre Une pull request pour cette issue a été fermée sans être fusionnée. 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
  concurrency SV-COMP

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

  esbmc/esbmc#8180 · 2 commentaires · Ouverte le 4/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [umbrella] 185 crashes in the 300 s SV-COMP run on master (7 causes)

  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 SV-COMP umbrella

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

  esbmc/esbmc#8097 · 1 commentaire · Ouverte le 1/10/2026

  Les mainteneurs répondent en général sous 1 jour

• [umbrella] Open items found while reviewing the roadmaps

  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
  docs umbrella

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

  esbmc/esbmc#8090 · Ouverte le 1/10/2026

  Les mainteneurs répondent en général sous 1 jour

• Support --multi-property under --k-induction-parallel

  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 k-induction

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

  esbmc/esbmc#7968 · Ouverte le 23/9/2026

  Les mainteneurs répondent en général sous 1 jour

• [CI] No failing job runs regression/python-intensive

  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
  CI test

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

  esbmc/esbmc#7857 · Ouverte le 15/9/2026

  Les mainteneurs répondent en général sous 1 jour

• [om] Add the C++11-C++23 library headers missing from src/cpp/library

  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
  C++ enhancement OM

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

  esbmc/esbmc#7797 · Ouverte le 14/9/2026

  Les mainteneurs répondent en général sous 1 jour

• [CUDA] No warp intrinsics, half/bfloat16 or cooperative groups

  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 OM

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

  esbmc/esbmc#7767 · Ouverte le 13/9/2026

  Les mainteneurs répondent en général sous 1 jour

• [CUDA] extern __shared__ modelled as one element; false OOB

  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 correctness: false positive OM

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

  esbmc/esbmc#7765 · Ouverte le 13/9/2026

  Les mainteneurs répondent en général sous 1 jour

• [CUDA] Kernel harness has 44 signatures and type-puns via void*

  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
  C++ enhancement OM

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

  esbmc/esbmc#7764 · Ouverte le 13/9/2026

  Les mainteneurs répondent en général sous 1 jour

• [CUDA] .cu parsed as plain C++; <<<...>>> launch syntax fails

  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
  C++ enhancement OM

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

  esbmc/esbmc#7763 · Ouverte le 13/9/2026

  Les mainteneurs répondent en général sous 1 jour

• [CUDA] Thread/block index space is hard-capped at 2 threads

  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 C++ correctness: false negative correctness: false positive OM

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

  esbmc/esbmc#7762 · Ouverte le 13/9/2026

  Les mainteneurs répondent en général sous 1 jour

• [umbrella] CUDA verification cannot handle modern CUDA kernels

  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
  C++ OM umbrella

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

  esbmc/esbmc#7761 · Ouverte le 13/9/2026

  Les mainteneurs répondent en général sous 1 jour