Issues

• Huge amount of queries for getting shmem pointers

  FStarLang/kuiper#26 · Filter by author mtzguido opened on Sep 19, 2025

• Confusing error using lseq

  FStarLang/kuiper#25 · Filter by author bastian-koepcke opened on Sep 15, 2025

• Implement for loops

  FStarLang/kuiper#12 · Filter by author mtzguido opened on Feb 24, 2025

• More mode awareness

  FStarLang/kuiper#7 · Filter by author mtzguido opened on Sep 10, 2024
  1

• Strange error with rewrite each, possible due to inconsistent state

  FStarLang/kuiper#6 · Filter by author JonasAlaif opened on Sep 4, 2024
  

• Notes

  FStarLang/kuiper#4 · Filter by author mtzguido opened on Aug 16, 2024

• Wishlist

  FStarLang/kuiper#2 · Filter by author mtzguido opened on Jul 9, 2024