Issues

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

  FStarLang/karamel#757 · Filter by author maksym-radziwill opened on Sep 13, 2026

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

  FStarLang/karamel#756 · Filter by author hughcoleman opened on Aug 28, 2026
  4

• Non-const static variables in headers

  ai-generated needs triaging
  FStarLang/karamel#729 · Filter by author protz opened on Apr 7, 2026

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

  ai-generated needs triaging
  FStarLang/karamel#728 · Filter by author protz opened on Apr 7, 2026

• Latent UB in FStar_UInt128_add_u64_shift_left/right when s=0

  ai-generated needs triaging
  FStarLang/karamel#727 · Filter by author protz opened on Apr 7, 2026

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

  ai-generated needs triaging
  FStarLang/karamel#726 · Filter by author protz opened on Apr 7, 2026

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

  ai-generated needs triaging
  FStarLang/karamel#725 · Filter by author protz opened on Apr 7, 2026

• Syntax error in MSVC add_underspec (missing closing parenthesis)

  ai-generated needs triaging
  FStarLang/karamel#724 · Filter by author protz opened on Apr 7, 2026

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

  ai-generated needs triaging
  Bug

  FStarLang/karamel#712 · Filter by author elefthei opened on Mar 31, 2026
  1

• [DeepTest] String hex escape greedy parsing corrupts string contents

  ai-generated needs triaging
  Bug

  FStarLang/karamel#710 · Filter by author elefthei opened on Mar 31, 2026
  2

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

  ai-generated needs triaging
  FStarLang/karamel#677 · Filter by author elefthei opened on Feb 11, 2026

• -fparentheses should parenthesize & and >>

  FStarLang/karamel#648 · Filter by author msprotz opened on Aug 29, 2025

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

  FStarLang/karamel#627 · Filter by author Lin23299 opened on Jul 17, 2025
  4

• Introduction.rst claims to be literate F*

  FStarLang/karamel#607 · Filter by author SamB opened on May 22, 2025
  2

• Dependencies in karamel.opam seem quite out of date

  FStarLang/karamel#592 · Filter by author msprotz opened on Apr 25, 2025
  2

• Deeply nested conditionals and branch polarity flips

  FStarLang/karamel#591 · Filter by author nikswamy opened on Apr 24, 2025
  1

• Consider renaming the internal headers

  FStarLang/karamel#546 · Filter by author msprotz opened on Mar 4, 2025

• Rust: support for std::option without monomorphization? (and possibly more)

  FStarLang/karamel#541 · Filter by author tahina-pro opened on Feb 19, 2025
  1

• Rust: support for interface bundles?

  FStarLang/karamel#540 · Filter by author tahina-pro opened on Feb 19, 2025
  3

• control stack memory allocation

  FStarLang/karamel#521 · Filter by author vladak opened on Jan 10, 2025
  2

• Specify functions that must extract?

  FStarLang/karamel#482 · Filter by author mtzguido opened on Sep 12, 2024
  3

• generated Makefile.basic exe target needs .o's

  FStarLang/karamel#461 · Filter by author briangmilnes opened on Aug 16, 2024
  4

• make tests won't link: dist/libbignum.a goes last

  FStarLang/karamel#456 · Filter by author briangmilnes opened on Aug 2, 2024

• karamel/test README.md out of date, wants rust

  FStarLang/karamel#455 · Filter by author briangmilnes opened on Aug 1, 2024

• karamel/Makefile test and test/Makefile

  FStarLang/karamel#454 · Filter by author briangmilnes opened on Aug 1, 2024