Search results

cc autodetection?

Status: Open.

#529 In FStarLang/karamel;

· mtzguido opened on Feb 5, 2025

control stack memory allocation

Status: Open.

#521 In FStarLang/karamel;

· vladak opened on Jan 10, 2025

Specify functions that must extract?

Status: Open.

#482 In FStarLang/karamel;

· mtzguido opened on Sep 12, 2024

generated Makefile.basic exe target needs .o's

Status: Open.

#461 In FStarLang/karamel;

· briangmilnes opened on Aug 16, 2024

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

Status: Open.

#456 In FStarLang/karamel;

· briangmilnes opened on Aug 2, 2024

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

Status: Open.

#455 In FStarLang/karamel;

· briangmilnes opened on Aug 1, 2024

karamel/Makefile test and test/Makefile

Status: Open.

#454 In FStarLang/karamel;

· briangmilnes opened on Aug 1, 2024

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

Status: Open.

#445 In FStarLang/karamel;

· mtzguido opened on Jul 14, 2024

Can't get karamel nix flake to work

Status: Open.

#338 In FStarLang/karamel;

· ambiso opened on Mar 21, 2023

krml redeclares variables in adjacent #if branches

Status: Open.

#293 In FStarLang/karamel;

· nikswamy opened on Oct 4, 2022

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

Status: Open.

#291 In FStarLang/karamel;

· R1kM opened on Sep 23, 2022

Improvements to compilation in C89 mode

Status: Open.

#283 In FStarLang/karamel;

· msprotz opened on Sep 2, 2022