sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2016-04-13	cheri supporting run with elf	Kathy Gray

2016-03-08	Start task of setting up tagged memory in sequential interpreter	Kathy Gray

2016-02-03	mips: finish implementing address translation on instruction fetch and ↵	Robert Norton
	remove temporary hack in TranslateAddr.
2016-02-03	mips: add support for LLAddr, a debug register used for ll/sc. Also add ↵	Robert Norton
	missing psuedo-registers in run_with_elf.
2016-02-02	mips.sail: add an 'inBranchDelay' register so that SignalException can set ↵	Robert Norton
	correct state on exception. branchPending does not work because it is cleared before executing the branch delay.
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
	Note: this support is rather mips centric at the moment
2016-02-02	add translate_address functionality	Kathy Gray

2016-01-28	Support exit and assert better in sequential interpreter and general ↵	Kathy Gray
	interpreter interface
2016-01-27	Add --max_instruction to sequential interpreter to permit an upper bound on ↵	Kathy Gray
	instructions run
2016-01-27	Add ability to run to a particular instruction execution number	Kathy Gray
	Could later add the ability to run to a particular instruction form (like we had in ppcmem2) or address
2016-01-27	Make mips build again	Kathy Gray
	Make quiet mode for sequential interpreter not print
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 ↵	Robert Norton
	execution.
2016-01-26	dump registers in format expected by cheri test suite when halting. Remove ↵	Robert Norton
	distinction between prog_mem and data_mem at least for now as data_mem was not being populated correctly (wrong elf flags?).
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 ↵	Robert Norton
	wrangling of integer types
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 ↵	Robert Norton
	needs fixing but nearly works.
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 ↵	Robert Norton
	example mips elf file.
2015-11-17	Very nearly there sequential interpreter, just need to hook in the spec ↵	Kathy Gray
	files for the different isas to support
2015-11-12	Incorporating elf into sequential interpreter	Kathy Gray
	Fix an effect bug on aliased id