Issues · FStarLang/karamel · GitHub

Labels Milestones New issue

Non-const `static` variables in headers

ai-generated needs triaging

#729

· protz opened

on Apr 7, 2026

MSVC `gte_mask` optimized SSE path is disabled (and the disabled code is buggy)

ai-generated needs triaging

#728

· protz opened

on Apr 7, 2026

Latent UB in `FStar_UInt128_add_u64_shift_left/right` when `s=0`

ai-generated needs triaging

#727

· protz opened

on Apr 7, 2026

Document that absolutely no guarantees are made for anything involving non-Low* types

ai-generated needs triaging

#726

· protz opened

on Apr 7, 2026

Missing 16-bit byte-swap definitions in generic endianness fallbacks

ai-generated needs triaging

#725

· protz opened

on Apr 7, 2026

Syntax error in MSVC `add_underspec` (missing closing parenthesis)

ai-generated needs triaging

#724

· protz opened

on Apr 7, 2026

[DeepTest] All-erased record type crashes Karamel during extraction

ai-generated needs triaging

#712

· elefthei opened

on Mar 31, 2026

[DeepTest] String hex escape greedy parsing corrupts string contents

ai-generated needs triaging

#710

· elefthei opened

on Mar 31, 2026

[DeepTest] UInt8/UInt16 switch scrutinee not masked after wrapping arithmetic

ai-generated needs triaging

#707

· elefthei opened

on Mar 31, 2026

`remove_unused_parameters` crashes with `Failure("nth")` when EApp has more arguments than callee type arrow

ai-generated needs triaging

#677

· elefthei opened

on Feb 11, 2026

-fparentheses should parenthesize & and >>

#648

· msprotz opened

on Aug 29, 2025

Checker.ml raises error for empty EBufCreateL in [infer'] but not in [check']

#627

· Lin23299 opened

on Jul 17, 2025

⚡