Issues

• Segfault in Build on MacOS

  rems-project/lem#42 · Filter by author joe-hauns opened on Oct 12, 2026

• Lem can't find its standard library on Windows

  rems-project/lem#39 · Filter by author Timmmm opened on Sep 23, 2025
  1

• Windows binary is missing .exe extension

  rems-project/lem#38 · Filter by author Timmmm opened on Sep 21, 2025
  1

• Hide lem_zarith modules from the world

  rems-project/lem#37 · Filter by author giltho opened on Jun 4, 2025

• Incompatibility with ocaml-option-bytecode-only: Build fails on non-native-code architectures(eg, armel,i386)

  rems-project/lem#36 · Filter by author yuzibo opened on Sep 14, 2024
  1

• More than one type variable in a type variable list

  rems-project/lem#31 · Filter by author ishaangandhi opened on Oct 21, 2020

• Build fails: Exception Sys_error("main.mli.depends: No such file or directory").

  rems-project/lem#28 · Filter by author yurivict opened on Feb 9, 2020
  11

• build issues / ocaml-libs

  rems-project/lem#26 · Filter by author rauhbein opened on Sep 26, 2019

• Bug in type class treatment?

  rems-project/lem#18 · Filter by author mgree opened on Aug 15, 2018

• Cannot do per-target type definitions

  rems-project/lem#14 · Filter by author emersion opened on May 4, 2018

• Illformed infix definitions in backends

  bug
  rems-project/lem#13 · Filter by author kmemarian opened on Apr 28, 2018

• Multiple let ... and ... clauses allowed for same function, but output doesn't work in OCaml/Coq

  rems-project/lem#2 · Filter by author bacam opened on Feb 26, 2018