Issues

• ocamlfind: Not supported in your configuration: ocamlopt

  rems-project/linksem#28 · Filter by author yuzibo opened on Nov 23, 2024
  2

• memsz check disabled for elf64 but not for elf32

  rems-project/linksem#27 · Filter by author defermelowie opened on Oct 28, 2023

• Wrap modules/export under Linksem.

  rems-project/linksem#25 · Filter by author dc-mak opened on Jul 30, 2020

• Possible revert dubious commit 81afd2f90f81674cf1339644a95c4cfd3aa78298

  rems-project/linksem#24 · Filter by author rmn30 opened on Feb 27, 2019
  

• natural_nat_shift

  rems-project/linksem#20 · Filter by author xrchz opened on May 25, 2018
  1

• Cannot generate HOL output

  rems-project/linksem#19 · Filter by author xrchz opened on May 25, 2018
  4

• auto_generated hol directory name

  rems-project/linksem#18 · Filter by author xrchz opened on May 25, 2018

• Ignore OCaml generated files

  rems-project/linksem#17 · Filter by author xrchz opened on May 21, 2018
  1

• Optimize write_natural_field

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

• Cannot build linksem with OCaml < 4.06.0

  rems-project/linksem#12 · Filter by author fshaked opened on May 8, 2018
  2

• Add missing install targets in the ocamlbuild makefile

  rems-project/linksem#10 · Filter by author emersion opened on May 4, 2018
  1