issues
search
rems-project
/
linksem
Semantic model for aspects of ELF static linking and DWARF debug information
Other
43
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
ocamlfind: Not supported in your configuration: ocamlopt
#28
yuzibo
opened
1 week ago
2
memsz check disabled for elf64 but not for elf32
#27
defermelowie
opened
1 year ago
0
installing .cmt files and sources
#26
vzaliva
closed
3 years ago
0
Wrap modules/export under `Linksem.`
#25
dc-mak
opened
4 years ago
0
Possible revert dubious commit 81afd2f90f81674cf1339644a95c4cfd3aa78298
#24
rmn30
opened
5 years ago
0
loadsem
#23
emersion
closed
6 years ago
1
Add hol targets for natural_nat_shifts_
#22
xrchz
opened
6 years ago
0
Ignore various generated files in git
#21
xrchz
closed
6 years ago
3
natural_nat_shift
#20
xrchz
opened
6 years ago
1
Cannot generate HOL output
#19
xrchz
opened
6 years ago
4
auto_generated hol directory name
#18
xrchz
opened
6 years ago
0
Ignore OCaml generated files
#17
xrchz
opened
6 years ago
1
Fix ELF note parsing, parse notes, add mips64 ABI
#16
emersion
closed
6 years ago
0
Fix interpreted segments permissions
#15
emersion
closed
6 years ago
1
Optimize write_natural_field
#14
emersion
opened
6 years ago
0
Fix ocamlbuild
#13
emersion
closed
6 years ago
0
Cannot build linksem with OCaml < 4.06.0
#12
fshaked
opened
6 years ago
2
Fix Byte_sequence_wrapper.to_char_list on OCaml < 4.06
#11
emersion
closed
6 years ago
0
Add missing install targets in the ocamlbuild makefile
#10
emersion
opened
6 years ago
1
Byte_sequence: use arrays for ocaml target
#9
emersion
closed
6 years ago
2
Byte_sequence.length in Archive is slow
#8
emersion
closed
6 years ago
1
Memory_image_orderings: list symbols outside loop
#7
emersion
closed
6 years ago
0
Fix Error.mapM returning reversed list
#6
emersion
closed
6 years ago
0
The ocamlbuild path does not seem ready for primetime
#5
fshaked
closed
6 years ago
0
Do not require utils generated by Lem in ocamlbuild targets
#4
emersion
closed
6 years ago
1
Revert "forgot the 64bit"
#3
emersion
closed
6 years ago
0
Use ocamlbuild by default
#2
emersion
closed
6 years ago
2
Elf_section_header_table: fix section ordering
#1
emersion
closed
6 years ago
0