sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2019-03-04	Merge branch 'sail2' into rmem_interpreter	Jon French

2019-02-27	Provide more access to the ELF symbols in the OCaml ELF-loader.	Prashanth Mundkur

2019-02-25	Merge branch 'sail2' into rmem_interpreter	Jon French

2019-02-20	Record the type of loaded ELF for sanity checks.	Prashanth Mundkur

2019-02-20	Support 32-bit ELF in OCaml loader.	Prashanth Mundkur

2018-10-15	Interpreter: add new command :bin <addr> <file> to load raw binary into memory	Jon French

2018-06-26	In elf_loader don't attempt to convert paddr to int64 because on MIPS it is ↵	Robert Norton
	quite likely to exceed representable range of signed 64-bit integer (e.g. address starting 0x9...). Also make clear which values are displayed in hex vs. decimal.
2018-06-22	Fix bug in elf_loader: zero memory when segment memsz exceeds size.	Prashanth Mundkur

2018-06-08	Fix use of non-tail-recursive calls in elf_loader.	Prashanth Mundkur

2018-05-09	Fix Byte_sequence errors due to linksem update	emersion

2018-03-12	ELF loading for C backend	Alasdair Armstrong
	Add a flag to Sail that allows for an image of an elf file to be dumped in a simple format using linksem, used as sail -elf test.elf -o test.bin This image file can then be used by a compiled C version of a sail spec as with ocaml simply by ./a.out test.bin
2018-02-26	work around linksem crashing when trying to print an elf file where ↵	Robert Norton
	entry_point overflows an ocaml int.
2018-01-26	Fixed loading ARM elf files	Alasdair Armstrong
	Also refactored the hand written ARM prelude and pulled out some common functionality into files in sail/lib
2018-01-25	Extend RISCV main loop with support for tohost interface used by test suite ↵	Robert Norton
	for terminating the test.
2018-01-18	Add elf_loader file	Alasdair Armstrong