Search results

Introduction.rst claims to be literate F*

Status: Open.

#607 In FStarLang/karamel;

· SamB opened on May 22, 2025

Dependencies in karamel.opam seem quite out of date

Status: Open.

#592 In FStarLang/karamel;

· msprotz opened on Apr 25, 2025

Deeply nested conditionals and branch polarity flips

Status: Open.

#591 In FStarLang/karamel;

· nikswamy opened on Apr 24, 2025

Consider renaming the internal headers

Status: Open.

#546 In FStarLang/karamel;

· msprotz opened on Mar 4, 2025

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

Status: Open.

#541 In FStarLang/karamel;

· tahina-pro opened on Feb 19, 2025

Rust: support for interface bundles?

Status: Open.

#540 In FStarLang/karamel;

· tahina-pro opened on Feb 19, 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