rems-project/lem

Issues

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

  #36 opened 4 months ago by yuzibo
  1

• Could we update the years of copyright?

  #35 opened 6 months ago by yuzibo
  0

• please help to confirm the ocaml-dangling-cmi issue

  #34 opened 10 months ago by yuzibo
  2

• spell wrong from lintian check

  #33 opened 10 months ago by yuzibo
  3

• Problems with Coq

  #30 opened 2 years ago by amelieled
  3

• Needs num in recent OCaml version

  #5 opened 3 years ago by zapashcanon
  0

• [OCaml backend] translation of indrelns not supported ?

  #32 opened 3 years ago by jserot
  4

• Using lem as a dependency: add an OPAM package to the main repo?

  #29 opened 4 years ago by mgree
  6

• More than one type variable in a type variable list

  #31 opened 4 years ago by ishaangandhi
  0

• Please replace make with $(MAKE)

  #27 opened 5 years ago by yurivict
  0

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

  #28 opened 5 years ago by yurivict
  11

• build issues / ocaml-libs

  #26 opened 5 years ago by rauhbein
  0

• Install with opam package

  #24 opened 5 years ago by clarus
  5

• Isabelle comment syntax

  #20 opened 6 years ago by larsrh
  3

• Clashing identifiers are not renamed

  #19 opened 6 years ago by larsrh
  4

• Bug in type class treatment?

  #18 opened 6 years ago by mgree
  0

• Building lem with Windows/Cygwin

  #16 opened 7 years ago by lastland
  0

• Cannot do per-target type definitions

  #14 opened 7 years ago by emersion
  0

• Illformed infix definitions in backends

  #13 opened 7 years ago by kmemarian
  0

• Should file coq-lib/lem_string.v be generated or not?

  #11 opened 7 years ago by rmn30
  1

• Cannot install to custom destdir

  #10 opened 7 years ago by emersion
  2

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

  #2 opened 7 years ago by bacam
  0