sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
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