sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2018-05-09	Use latex support for generating cheri documentation and remove sed based hac...	Robert Norton
2018-05-01	cheri256: minor optimisation -- factor out null_cap_bits as top level let.	Robert Norton
2018-05-01	cheri256: switch to using absolute address (cursor) instead of offset (relati...	Robert Norton
2018-05-01	remove unneeded commented out code.	Robert Norton
2018-04-12	implement new permit_unseal used for CUnseal instead of permit_seal.	Robert Norton
2018-03-22	Fix C compilation for CHERI and MIPS	Alasdair Armstrong
2018-03-06	finish port of cheri128 spec. to sail2.	Robert Norton
2018-03-02	cheri tests expect reserved permission bits to be initialised to one.	Robert Norton
2018-03-01	Add support for read_tag and write_tag in sail_lib.ml. and support for intial...	Robert Norton
2018-03-01	cheri wip.	Robert Norton
2017-11-30	Merge branch 'master' into experiments	Alasdair Armstrong
2017-11-07	Declare prelude functions as extern	Thomas Bauereiss
2017-11-01	workaound for another odd interpreter error where top level let variable got ...	Robert Norton
2017-10-23	cheri: Null capability should have maximum length, because in cheri128 we wan...	Robert Norton
2017-08-29	Make Lem export of CHERI(-256) typecheck	Thomas Bauereiss
2017-08-24	Fix some bugs related to the CHERI spec	Thomas Bauereiss
2017-05-26	add support for the new ccall selector 1 implementation that directly unseals...	Robert Norton
2017-02-03	replace bit vector return types in getCapX functions with equivalent integer ...	Robert Norton
2017-02-03	fix headers	Peter Sewell
2017-01-25	fix typo in c256 capRegToCapStruct	Robert Norton
2017-01-25	merge cheri 256 and 128 together factoring out differing parts into separate ...	Robert Norton