elf_model « src - sail - Formal specification language for ISAs

Mode	Name	Size
-rw-r--r--	Makefile	4254	log plain
-rw-r--r--	bitstring.lem	2391	log plain
-rw-r--r--	bitstring.ml	398	log plain
-rw-r--r--	bytestring.ml	399	log plain
-rw-r--r--	default_printing.lem	1014	log plain
-rw-r--r--	elf.ml	2932	log plain
-rw-r--r--	elf_executable_file2.lem	7429	log plain
-rw-r--r--	elf_executable_file3.lem	23240	log plain
-rw-r--r--	elf_executable_file4.lem	11604	log plain
-rw-r--r--	elf_executable_file5.lem	17050	log plain
-rw-r--r--	elf_file1.lem	4744	log plain
-rw-r--r--	elf_header.lem	36671	log plain
-rw-r--r--	elf_interpreted_segment.lem	3263	log plain
-rw-r--r--	elf_linking_file2.lem	5603	log plain
-rw-r--r--	elf_linking_file3.lem	7323	log plain
-rw-r--r--	elf_linking_file4.lem	8309	log plain
-rw-r--r--	elf_program_header_table.lem	14279	log plain
-rw-r--r--	elf_relocation.lem	1565	log plain
-rw-r--r--	elf_section_header_table.lem	18586	log plain
-rw-r--r--	elf_string_table.ml	2480	log plain
-rw-r--r--	elf_symbol_table.lem	7992	log plain
-rw-r--r--	elf_symbol_table.ml	8447	log plain
-rw-r--r--	elf_types.lem	10544	log plain
-rw-r--r--	endianness.lem	971	log plain
-rw-r--r--	error.lem	2491	log plain
-rw-r--r--	error.ml	2677	log plain
d---------	libraries	167	log plain
-rw-r--r--	main.lem	1253	log plain
-rw-r--r--	missing_pervasives.lem	2558	log plain
-rw-r--r--	ml_bindings.ml	50796	log plain
-rw-r--r--	ml_bindings_camlp4_sugared.ml	8745	log plain
-rw-r--r--	pre_main.ml	236	log plain
-rw-r--r--	sail_interface.lem	5418	log plain
-rw-r--r--	show.lem	1566	log plain
-rw-r--r--	string_table.lem	3341	log plain
-rw-r--r--	utility.ml	1	log plain