sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2017-07-20	add new CNEXEQ instruction.	Robert Norton
2017-05-26	add support for the new ccall selector 1 implementation that directly unseals...	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	reverse endianness of data when writing UART. Altera jtag uart is little-endi...	Robert Norton
2017-04-25	Add support for uart terminal. Also add read_bit_reg function for faster and ...	Robert Norton
2017-04-20	XXX remove pattern match not handled correctly by ocaml embedding.	Robert Norton
2017-04-03	Rename TranslateAddress to TranslatePC and remove the accessType argument -- ...	Robert Norton
2017-03-30	Apparently the tag is on the other end following endianness change so include...	Robert Norton
2017-03-29	change reqiured to work with little endian interpreter.	Robert Norton
2017-03-24	Minor cleanup: remove unnecessary brances and use 'not' iso ~.	Robert Norton
2017-02-10	Don't update EPCC if EXL is already set.	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-26	don't forget to use absolute PC as offset in epcc in case where epcc is not r...	Robert Norton
2017-01-26	c128: xor E with 48 when storing in memory so that null cap is all zeros but ...	Robert Norton
2017-01-25	fix error introduced in revised version of TranslateAddress -- absPC should b...	Robert Norton
2017-01-25	merge cheri 256 and 128 together factoring out differing parts into separate ...	Robert Norton