sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2017-10-31	cheri: throw an exception if there is an attempt to access C26/IDC in the del...	Robert Norton
2017-10-24	fix default cap value on cheri128 following previous changes -- E stored in r...	Robert Norton
2017-05-24	Change types of MEMr_tag, MEMval_tag and co. so that tag is separate from dat...	Robert Norton
2017-04-27	fix cheri128 model referring to wrong registers and not capreg printing.	Robert Norton
2017-04-27	need brackets around try ... with expression.	Robert Norton
2017-04-27	add command line argument for setting undef values to all zero or all one. So...	Robert Norton
2017-04-25	extend the try around call to select to avoid gprof crashing with EINTR.	Robert Norton
2017-04-25	replace memory representation with map of 1MB pages rather than map of bytes....	Robert Norton
2017-04-25	Don't die if stdin gets closed (e.g. when running unit tests).	Robert Norton
2017-04-25	support loading more than one raw file as anonymous arguments so that we can ...	Robert Norton
2017-04-25	Add support for uart terminal. Also add read_bit_reg function for faster and ...	Robert Norton
2017-04-21	it turns out zarith has a function for printing big_ints in hex. Remove the d...	Robert Norton
2017-04-21	define some big_int literals in sail_values.ml to avoid lots of calls to bit_...	Robert Norton
2017-04-20	add support for cheri128 ocaml shallow embedding	Robert Norton
2017-04-20	build a single run_embed.native with mips and cheri models linked and choose ...	Robert Norton
2017-04-20	remove unsed code for elf file loading in run_embed.	Robert Norton
2017-04-18	remove debug print.	Robert Norton
2017-04-07	read from uninitialsed memory returns undef (required to pass test_raw_cache_...	Robert Norton
2017-04-06	add support for address translation and exit handling in mips ocaml shallow e...	Robert Norton
2017-04-06	Model now assumes memory is little endian so adjust extras file accordingly.	Robert Norton
2017-04-06	Print registers in test suite compatible way.	Robert Norton
2017-03-24	Checkpoint work-in-progress mips sequential interpreter using ocaml shallow e...	Robert Norton