FStarLang

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

• nightly-2026-09-28: dropped return-type refinements break 13 modules in a large Pulse codebase; two now never finish (3m37s on v2026.09.20)

  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

  FStarLang/FStar#4615 · Abierto el 29/9/2026

  Los mantenedores suelen responder en 1 día

• Custard: a let bound to a constant is never propagated

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

  FStarLang/FStar#4612 · Abierto el 28/9/2026

  Los mantenedores suelen responder en 1 día

• Adding a true ground hypothesis makes Z3 give up instantly with 'incomplete quantifiers' (rlimit-independent)

  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

  FStarLang/FStar#4601 · Abierto el 25/9/2026

  Los mantenedores suelen responder en 1 día

• MD5 collision in SMT term identity proves `False`

  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
  kind/unsoundness

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

  FStarLang/FStar#4600 · 2 comentarios · Abierto el 24/9/2026

  Los mantenedores suelen responder en 1 día

• Unboxed SMT encoding

  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

  FStarLang/FStar#4598 · 1 comentario · Abierto el 24/9/2026

  Los mantenedores suelen responder en 1 día

• `--include ""` walks the whole filesystem from `/` (dependency analysis hangs)

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

  FStarLang/FStar#4593 · Abierto el 24/9/2026

  Los mantenedores suelen responder en 1 día

• nightly-2026-09-23: nonlinear nat arithmetic times out where 2026.09.20 used 12% of its rlimit (not fixed by FSTAR_NO_DEDUP_VC, not by 8x rlimit)

  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

  FStarLang/FStar#4592 · 1 comentario · Abierto el 24/9/2026

  Los mantenedores suelen responder en 1 día

• Large SMT regression in nightly-2026-09-23: an unused Lemma in scope makes a later proof 20x more expensive

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

  FStarLang/FStar#4591 · 3 comentarios · Abierto el 24/9/2026

  Los mantenedores suelen responder en 1 día

• Regression: `f () = (y <: _)` infers the refinement from f's Pure postcondition, rejecting y

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

  FStarLang/FStar#4586 · Abierto el 24/9/2026

  Los mantenedores suelen responder en 1 día

• Custard: [@@normalize_for_extraction] is much more expensive than the legacy backend

  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

  FStarLang/FStar#4582 · 1 comentario · Abierto el 23/9/2026

  Los mantenedores suelen responder en 1 día

• Crash on extracting record with erased field

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

  FStarLang/FStar#4567 · Abierto el 23/9/2026

  Los mantenedores suelen responder en 1 día

• Block shadowing allows false contracts to verify

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

  FStarLang/pal#325 · Abierto el 23/9/2026

  Los mantenedores suelen responder en 1 día

• Local let-rec syntax-hash collisions allow proving False

  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
  kind/unsoundness

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

  FStarLang/FStar#4562 · 4 comentarios · Abierto el 22/9/2026

  Los mantenedores suelen responder en 1 día

• Custard: extraction output depends on which .fst.checked files happen to exist

  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

  FStarLang/FStar#4559 · Abierto el 22/9/2026

  Los mantenedores suelen responder en 1 día

• Extraction of float zero/one

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

  FStarLang/kuiper#126 · 1 comentario · Abierto el 17/9/2026

  Los mantenedores suelen responder en 1 día

• Support typed private storage in trailing byte arrays

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

  FStarLang/pal#309 · Abierto el 16/9/2026

  Los mantenedores suelen responder en 1 día

• String-literal arguments fail verification when the function's return value is used

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

  FStarLang/pal#305 · Abierto el 14/9/2026

  Los mantenedores suelen responder en 1 día

• krmllib/Makefile passes --cmi, removed from F* in #4107

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

  FStarLang/karamel#757 · Abierto el 13/9/2026

• A function named work__fp collides with PAL's generated wrapper for work

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

  FStarLang/pal#302 · Abierto el 11/9/2026

  Los mantenedores suelen responder en 1 día

• Pulse: `!r` in a ghost argument position compiles to a real read

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

  FStarLang/FStar#4539 · Abierto el 11/9/2026

  Los mantenedores suelen responder en 1 día

• Generated anonymous struct names collide with explicit C tags and silently change field types

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

  FStarLang/pal#300 · Abierto el 11/9/2026

  Los mantenedores suelen responder en 1 día

• Same-named struct tags in different source files are merged, making verification depend on input order

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

  FStarLang/pal#299 · Abierto el 11/9/2026

  Los mantenedores suelen responder en 1 día

• Record projection normalizer performance regression

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

  FStarLang/FStar#4537 · Abierto el 10/9/2026

  Los mantenedores suelen responder en 1 día

• Pulse early return skips leftover resources check

  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

  FStarLang/FStar#4536 · Abierto el 10/9/2026

  Los mantenedores suelen responder en 1 día

• Support `free(NULL)` and deallocation of nullable pointers

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

  FStarLang/pal#294 · Abierto el 9/9/2026

  Los mantenedores suelen responder en 1 día

• Flacky extraction tests, or something?

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

  FStarLang/FStar#4525 · Abierto el 5/9/2026

  Los mantenedores suelen responder en 1 día

• Major heap allocator writes block size into the header instead of requested size

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

  FStarLang/pulse-verified-gc#19 · Abierto el 4/9/2026

• Internal error "Impossible: cycle detected after cycle detection has passed" when a pointer typedef is declared before its struct

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

  FStarLang/pal#282 · Abierto el 4/9/2026

  Los mantenedores suelen responder en 1 día

• Narrowing cast is dropped when it is a direct operand of a comparison

  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

  FStarLang/karamel#756 · Abierto el 28/8/2026

• Function-pointer wrappers drop all pointee postconditions (and silently accept false `_old` contracts)

  Quizá libre de nuevo @hei411 la tomó hace 31 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

  FStarLang/pal#279 · 1 asignado · Abierto el 28/8/2026

  Los mantenedores suelen responder en 1 día

• --ext context_pruning=false / prune_decls=false produce duplicate SMT declarations, breaking all queries

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

  FStarLang/FStar#4495 · Abierto el 27/8/2026

  Los mantenedores suelen responder en 1 día

• Array literal in a nested expression is emitted without ownership (silently produces unverifiable Pulse)

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

  FStarLang/pal#273 · Abierto el 27/8/2026

  Los mantenedores suelen responder en 1 día

• Pulse loop invariant: same SMT goal costs 0.65 rlimit on 2026.06.14 and exhausts rlimit 5 on 2026.08.16

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

  FStarLang/FStar#4488 · 1 comentario · Abierto el 26/8/2026

  Los mantenedores suelen responder en 1 día

• `inspect_ln`, a `Tot` function, hard-crashes F* on three constants reachable from ordinary source syntax

  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
  kind/crash

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

  FStarLang/FStar#4483 · Abierto el 25/8/2026

  Los mantenedores suelen responder en 1 día

• `inspect_pack_sigelt` is false for *every* `Sg_Inductive`: the reflection API proves `False`

  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
  kind/unsoundness

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

  FStarLang/FStar#4480 · Abierto el 25/8/2026

  Los mantenedores suelen responder en 1 día

• `pack_fv []` crashes F* (`Failure("impossible")`) — #2632 was fixed at the wrong layer

  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
  kind/crash

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

  FStarLang/FStar#4479 · Abierto el 25/8/2026

  Los mantenedores suelen responder en 1 día

• `inspect_pack_inv` is false at `Tv_UInst fv []` and `Tv_Unsupp`: the reflection API proves `False`

  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
  kind/unsoundness

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

  FStarLang/FStar#4478 · Abierto el 25/8/2026

  Los mantenedores suelen responder en 1 día

• Internal error: indexed effects declared with the `effect { ... }` shorthand crash F* (`tc_maybe_toplevel_term: not LN`)

  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
  kind/crash

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

  FStarLang/FStar#4477 · Abierto el 25/8/2026

  Los mantenedores suelen responder en 1 día

• `FStar.Bytes` is inconsistent: `repr_bytes` / `repr_bytes_size` prove `False`

  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
  kind/unsoundness

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

  FStarLang/FStar#4476 · Abierto el 25/8/2026

  Los mantenedores suelen responder en 1 día

• Proof of `False` from a character literal (`FStar.Char.char_code` is not enforced, and is off by one)

  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
  kind/unsoundness

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

  FStarLang/FStar#4474 · Abierto el 25/8/2026

  Los mantenedores suelen responder en 1 día

• Lexer silently accepts EOF inside an unterminated block comment: rest of file is skipped, module still reports "Verified module"

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

  FStarLang/FStar#4469 · 1 comentario · Abierto el 24/8/2026

  Los mantenedores suelen responder en 1 día

• `-o` affects whether interface is considered

  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

  FStarLang/FStar#4467 · 1 comentario · Abierto el 24/8/2026

  Los mantenedores suelen responder en 1 día

• Unsupported `goto`: label at the head of a tail `else` branch

  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 3/5 1-2 días Aptitud para principiantes 64/100

  FStarLang/pal#255 · Abierto el 20/8/2026

  Los mantenedores suelen responder en 1 día

• Spurious overload ambiguity -- not checking arity?

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

  FStarLang/FStar#4457 · Abierto el 20/8/2026

  Los mantenedores suelen responder en 1 día

• Z3 being killed (e.g. by the OOM killer) is reported as an ordinary proof failure, an internal crash, or "Could not run Z3"

  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
  kind/bug

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

  FStarLang/FStar#4446 · Abierto el 18/8/2026

  Los mantenedores suelen responder en 1 día

• eliminate exists: VC keeps an un-reduced dtuple destructuring right next to the equation that discharges it (dtuple-free encoding of the same proof: 1s at default rlimit vs. no answer at rlimit 1600)

  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
  kind/bug

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

  FStarLang/FStar#4444 · Abierto el 18/8/2026

  Los mantenedores suelen responder en 1 día

• Rust backend: whole-module CBOR extraction fails with _zero_for_deref, unparenthesised struct literals, and 431 ownership errors

  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

  FStarLang/FStar#4443 · 1 comentario · Abierto el 18/8/2026

  Los mantenedores suelen responder en 1 día

• Failing-goal reporter does not freshen binder names: shadowed variables make the printed context ambiguous (and the printed goal sometimes denotes a different proposition)

  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
  kind/bug

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

  FStarLang/FStar#4442 · Abierto el 18/8/2026

  Los mantenedores suelen responder en 1 día

• Regression: checked-file names drop the source directory, silently colliding modules of the same short name

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

  FStarLang/FStar#4440 · Abierto el 17/8/2026

  Los mantenedores suelen responder en 1 día

• NBE improvements

  Quizá libre de nuevo @nikswamy la tomó hace 46 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

  FStarLang/FStar#4432 · 1 asignado · Abierto el 13/8/2026

  Los mantenedores suelen responder en 1 día