sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2016-02-11	use paths relative to current makefile for lem and linksem.	Robert Norton

2016-02-10	mips.sail: make unimplemented/non-existent throw a reserved instruction ↵	Robert Norton
	exception as per ISA.
2016-02-10	mips.sail: add mfc0 support for some cp0 registers even though they aren't ↵	Robert Norton
	properly implemented as this allows tests to fail gracefully rather than crashing.
2016-02-10	mips.sail: use exit whenever SignalException is called.	Robert Norton

2016-02-09	fix scattered type union source printing	Kathy Gray

2016-02-08	slightly clean up vector type printing and empty effect printing for functions	Kathy Gray

2016-02-05	fix typo in kathy's last commit.	Robert Norton

2016-02-05	change signed mod behaviour for numbers to match that of vectors	Kathy Gray

2016-02-04	Cast to int in DIV instructions to avoid weird undefined results from vector ↵	Robert Norton
	quot and mod. mod still not quite doing what we want in signed case.
2016-02-04	mips.sail: don't set HI and LO to undefined on MUL but just leave them as ↵	Robert Norton
	they were, allowing us to pass another test.
2016-02-04	fix pretty printing of new mod_s	Robert Norton

2016-02-04	add mod_s to lexer and parser	Kathy Gray

2016-02-04	Add mod_s	Kathy Gray

2016-02-04	add forgotten lib binding	Kathy Gray

2016-02-04	and for quot_s	Kathy Gray

2016-02-04	Relax constraints on quot temporarily since it was prohibiting negative ↵	Kathy Gray
	numbers accidentally
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-03	add example of elf file which fails to load due to linksem error: ↵	Robert Norton
	get_elf64_global_symbol_init: invariant failed, global variable appears in multiple segments
2016-02-03	mips_extras.lem: fix typo in spelling of MEM_sync.	Robert Norton

2016-02-02	mips.sail: workaround for sail bug	Robert Norton

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	mips.sail: TranslateAddress hack maps all xkphys addresses to 0x9... region	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
	Note: this support is rather mips centric at the moment
2016-02-02	add translate_address functionality	Kathy Gray

2016-02-01	mips.sail: fix mfc0 of config register.	Robert Norton

2016-02-01	mips.sail: fix decode of trap instructions.	Robert Norton

2016-02-01	mips.sail: workaround oddness in comparison in MOVN and MOVZ. sail bug?	Robert Norton

2016-02-01	mips.sail: add support for BadVaddr CP0 register.	Robert Norton

2016-02-01	mips.sail: fix decoding of BEQL instruction.	Robert Norton

2016-02-01	mips.sail: fix compilation error in mfc0 cause	Robert Norton

2016-01-29	mips.sail: further filling out CP0 behaviour getting exceptions to sort of ↵	Robert Norton
	work (NB hack in TranslateAddress until interpreter translates instuction fetches)
2016-01-29	fix typo in kathy's last commit.	Robert Norton

2016-01-29	Put correct tags on to_vec calls	Kathy Gray

2016-01-29	mips.sail: it turns out that all sail comparisons are signed contrary to ↵	Robert Norton
	manual so emulate unsigned comparisons by prepending a zero bit, as in mips spec.
2016-01-28	Add test for sltu. Fixed decode function which was returning wrong ast node ↵	Robert Norton
	but test still does not pass, apparently because sail is doing signed comparison for <
2016-01-28	add test exposing problem with ddiv.	Robert Norton

2016-01-28	mips.sail: start to fill out TranslateAddress. Change type so that it can be ↵	Robert Norton
	used by ml to translate fetch address.
2016-01-28	mips.sail: fix infamous lwr and ldr (now pass tests).	Robert Norton

2016-01-28	mips.sail: fix back-to-front operands of DSLLV.	Robert Norton

2016-01-28	mips.sail: fix incorrect decode of DSLLV	Robert Norton

2016-01-28	mips.sail: split store cases by word width as sail needs to know which bit ↵	Robert Norton
	of word to store (probably a bug that it does not complain at runtime).
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	mips.sail: branches are relative to delay slot PC, not branch! Support ↵	Robert Norton
	config registers in mfc0.
2016-01-27	mips.sail: produce undefined result for division by zero instead of crashing.	Robert Norton

2016-01-27	actually commit the new mips file	Kathy Gray

2016-01-27	Make mips build again	Kathy Gray
	Make quiet mode for sequential interpreter not print