Search results

Hide lem_zarith modules from the world

Status: Open.

#37 In rems-project/lem;

· giltho opened on Jun 4, 2025

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

Status: Open.

#36 In rems-project/lem;

· yuzibo opened on Sep 14, 2024

More than one type variable in a type variable list

Status: Open.

#31 In rems-project/lem;

· ishaangandhi opened on Oct 21, 2020

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

Status: Open.

#28 In rems-project/lem;

· yurivict opened on Feb 9, 2020

build issues / ocaml-libs

Status: Open.

#26 In rems-project/lem;

· rauhbein opened on Sep 26, 2019

Bug in type class treatment?

Status: Open.

#18 In rems-project/lem;

· mgree opened on Aug 15, 2018

Cannot do per-target type definitions

Status: Open.

#14 In rems-project/lem;

· emersion opened on May 4, 2018

Illformed infix definitions in backends

bugSomething isn't workingSomething isn't working

Status: Open.

#13 In rems-project/lem;

· kmemarian opened on Apr 28, 2018

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

Status: Open.

#2 In rems-project/lem;

· bacam opened on Feb 26, 2018