sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2016-02-03	mips: finish implementing address translation on instruction fetch and remove...	Robert Norton
2016-02-03	mips: add support for LLAddr, a debug register used for ll/sc. Also add missi...	Robert Norton
2016-02-02	mips.sail: add an 'inBranchDelay' register so that SignalException can set co...	Robert Norton
2016-02-02	Print out the address of the instruction running in sequential interpreter	Kathy Gray
2016-02-02	Get mips stuff hooked up with translate address.	Kathy Gray
2016-02-02	add translate_address functionality	Kathy Gray
2016-01-28	Support exit and assert better in sequential interpreter and general interpre...	Kathy Gray
2016-01-27	Add --max_instruction to sequential interpreter to permit an upper bound on i...	Kathy Gray
2016-01-27	Add ability to run to a particular instruction execution number	Kathy Gray
2016-01-27	Make mips build again	Kathy Gray
2016-01-27	start adding breakpoint	Kathy Gray
2016-01-26	fix starting indices for mips initial register values.	Robert Norton
2016-01-26	Fix some bugs in writing registers with slices in the sequential interpreter	Kathy Gray
2016-01-26	print reg dump in correct format for cheri test suite. Reinstate timing of ex...	Robert Norton
2016-01-26	dump registers in format expected by cheri test suite when halting. Remove di...	Robert Norton
2016-01-22	mips: fix PC update logic so branches might work.	Robert Norton
2016-01-21	mips interpreter successfully executes more than one instruction after some w...	Robert Norton
2016-01-21	mips: rename GPRs so that they sort lexicographically for display.	Robert Norton
2016-01-20	Show opcode in sequential interpreter when decode fails	Kathy Gray
2016-01-19	hacky initial makery for mips interpreter. Builds stuff in wrong places and n...	Robert Norton
2015-12-22	More make file goo, and fixing a typo in run_with_elf	Kathy Gray
2015-12-22	More gluing mips to interpreter	Kathy Gray
2015-11-25	non-working sail/mips interpreter integration for kathy to look at and exampl...	Robert Norton
2015-11-17	Very nearly there sequential interpreter, just need to hook in the spec files...	Kathy Gray
2015-11-12	Incorporating elf into sequential interpreter	Kathy Gray