FStarLang/karamel

Issues

• Allow building the OCaml krmllib without installing F*

  #496 opened a month ago by sonmarcho
  2

• Eliminating KRML_HOST_IGNORE(TRUE)?

  #493 opened 2 months ago by nikswamy
  2

• Specify functions that must extract?

  #482 opened 3 months ago by mtzguido
  3

• Missing braces around if-then-else cause default makefile to fail

  #481 opened 3 months ago by gebner
  0

• Use-after-free due to inlining

  #478 opened 4 months ago by mtzguido
  1

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

  #461 opened 4 months ago by briangmilnes
  4

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

  #456 opened 5 months ago by briangmilnes
  0

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

  #455 opened 5 months ago by briangmilnes
  0

• karamel/Makefile test and test/Makefile

  #454 opened 5 months ago by briangmilnes
  0

• Better invocation header

  #447 opened 5 months ago by franziskuskiefer
  3

• Fatal error: exception Failure("[mk_expr m]: op should've been caught")

  #445 opened 5 months ago by mtzguido
  2

• Bad interaction between unused variable elimination and "let x = if ... in" hoisting

  #291 opened 2 years ago by R1kM
  1

• Miscellaneous warnings in generated C code

  #363 opened a year ago by franziskuskiefer
  2

• Opam package fails to build

  #339 opened a year ago by Johanmyst
  2

• Can't get karamel nix flake to work

  #338 opened 2 years ago by ambiso
  4

• No package karamel on opam

  #300 opened 2 years ago by anishathalye
  6

• Mangled type names for pointer to tuple with only one non-erased component

  #268 opened 2 years ago by tahina-pro
  5

• `List.concat_map` does not exist in OCaml 4.08

  #327 opened 2 years ago by mtzguido
  1

• Help in compiling hello world.

  #321 opened 2 years ago by scyleaf
  1

• Generate internal static headers

  #284 opened 2 years ago by msprotz
  1

• Improve peephole optimization for "full matches"

  #313 opened 2 years ago by msprotz
  0

• Improvements to compilation in C89 mode

  #283 opened 2 years ago by msprotz
  0

• krml redeclares variables in adjacent #if branches

  #293 opened 2 years ago by nikswamy
  0

• `extern` globals declared in bundles should move to `internal/*.h`

  #285 opened 2 years ago by tahina-pro
  0

• Simplify Steel.ST.Reference.with_local without EPushFrame/EPopFrame

  #276 opened 2 years ago by tahina-pro
  0

• Unsound decimal literal extraction

  #269 opened 2 years ago by pnmadelaine
  1

• Monomorphizations leak into interfaces and lead to incorrect code in combination with CAbstractStruct

  #247 opened 3 years ago by nikswamy
  2

• krml crashes in Monomorphization.ml

  #245 opened 3 years ago by nikswamy
  0

• Name clash with `free`

  #246 opened 3 years ago by nikswamy
  7

• Functional update optimization is not performed

  #249 opened 3 years ago by 857b
  4

• CI no longer running... due to renaming of the repo?

  #244 opened 3 years ago by msprotz
  1

• Krml shifts the names of parameters in function signatures with erased arguments

  #236 opened 3 years ago by nikswamy
  0

• Unit elimination in function pointers passed to extern functions

  #237 opened 3 years ago by nikswamy
  0

• What should I do to update the kremlin?

  #222 opened 3 years ago by zhaomengshan666
  2

• The js backend should better handle OOM

  #217 opened 3 years ago by hhugo
  0

• A bug in variable merging.

  #216 opened 3 years ago by taol-assignments
  1

• Build fails on native Apple M1 + macOS toolchain

  #205 opened 4 years ago by beurdouche
  3

• A bug in tail recursive optimization.

  #214 opened 3 years ago by taol-assignments
  1

• Type monomorphization naming suggestions get dropped early

  #199 opened 4 years ago by msprotz
  1

• Check stack memory allocation

  #209 opened 4 years ago by franziskuskiefer
  3

• Unit buffer elimination breaks type unification when combined with buffer built-ins

  #208 opened 4 years ago by landonf
  0

• Build error

  #196 opened 4 years ago by jlamma
  4

• Separate compilation with -static-header -library does not honor CMacro

  #194 opened 4 years ago by tahina-pro
  1

• Consider handling ocaml-ctypes bindings in the presence of undefined C abstract types that are only manipulated through pointers

  #190 opened 4 years ago by msprotz
  7

• Improper generation of ctypes bindings for Lib.IntVector.Intrinsics.vec256

  #188 opened 4 years ago by sonmarcho
  3

• StackInline not inlined at extraction

  #187 opened 4 years ago by sonmarcho
  0

• Improper C generation with update_sub and NULL

  #186 opened 4 years ago by sonmarcho
  0

• Missing rewrite for `Constant.op` (?)

  #185 opened 4 years ago by landonf
  0

• FStar_String_strlen() is unsound given a string containing UTF-8 multibyte-encoded characters

  #184 opened 4 years ago by landonf
  3

• Unused argument elimination discards required field

  #183 opened 4 years ago by landonf
  1