elf_model « src - sail - Formal specification language for ISAs

Mode	Name	Size
-rw-r--r--	Makefile	1997	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--	elf.ml	2932	log plain
-rw-r--r--	elf_executable_file2.lem	7429	log plain
-rw-r--r--	elf_executable_file3.lem	9264	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	3683	log plain
-rw-r--r--	elf_header.lem	36603	log plain
-rw-r--r--	elf_interpreted_segment.lem	3263	log plain
-rw-r--r--	elf_linking_file2.lem	422	log plain
-rw-r--r--	elf_program_header_table.lem	14279	log plain
-rw-r--r--	elf_section_header.ml	10616	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.ml	9421	log plain
-rw-r--r--	elf_types.lem	9892	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
-rw-r--r--	main.lem	945	log plain
-rw-r--r--	missing_pervasives.lem	1834	log plain
-rw-r--r--	ml_bindings.ml	8745	log plain
-rw-r--r--	pre_main.ml	236	log plain
-rw-r--r--	sail_interface.lem	1461	log plain
-rw-r--r--	show.lem	1290	log plain
-rw-r--r--	string_table.lem	2713	log plain
-rw-r--r--	utility.ml	1	log plain