sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2016-06-03	Mips file: removed some unnecessary parenthesis	Kathy Gray
	Interp: trying to add some debugging to isolate bug
2016-06-03	Add test demonstrating recently introduced regression where tlb match fail.	Robert Norton

2016-06-03	added ARMv8	Shaked Flur

2016-06-03	Reduce fill width of header to align closing comments nicely.	Robert Norton

2016-06-02	Fix most_significant case omission	Kathy Gray

2016-06-02	Get widening right now that it matters	Kathy Gray

2016-06-02	improve constraint range checking	Kathy Gray

2016-06-02	Apply headache to mips/cheri model.	Robert Norton

2016-06-02	Add rule in Makefile that uses headache to add copyright header to ↵	Robert Norton
	mips/cheri model.
2016-06-01	Tweak wording of mips README.	Robert Norton

2016-06-01	Remove outdated XXX	Robert Norton

2016-05-31	delete obsolete Makefile (src/Makefile currently hanldes mips build).	Robert Norton

2016-05-31	Add README in mips directory describing file breakdown and remove reference ↵	Robert Norton
	to non-existent mips.sail in top level README.
2016-05-27	Fix parsing of sizeof and some printing issues with let	Kathy Gray

2016-05-27	small change to comment printing	Kathy Gray

2016-05-27	Also add to ott	Kathy Gray

2016-05-27	Add sizeof to sail. Documentation to follow	Kathy Gray

2016-05-26	add makery for mips/cheir LOC count.	Robert Norton

2016-05-25	add support for capability load/store bits in TLB	Robert Norton

2016-05-24	restrict virtual and physical address sizes to 40 and 36 bits respectively ↵	Robert Norton
	-- this could be varied but useful for compatibility with BERI test suite.
2016-05-20	Add missing CP0BadVaddr in run_with_elfs.	Robert Norton

2016-05-19	workaround unable to read fields in PC translation bug.	Robert Norton

2016-05-19	correctly report TLB size and type in config reg.	Robert Norton

2016-05-18	Make TLB address error exception save BadVAddr.	Robert Norton

2016-05-18	Implement 8-entry software-managed TLB.	Robert Norton

2016-05-16	Implement the simulator dump cap registers instruction as a NOP since we ↵	Robert Norton
	dump registers on terminating simulator anyway but we don't want tests to crash before the end."
2016-05-13	implement config registers.	Robert Norton

2016-05-13	do something a bit more interesting with WAIT.	Robert Norton

2016-05-13	fixes to make counter interrupt work: don't attempt to read register fields ↵	Robert Norton
	during instruction fetch as this is apparently broken, writing to fields also a bit dodgy. Finally only raise exception if exl and erl are not set.
2016-05-13	don't write 33-bit value to hwrena (suprised that this type checked).	Robert Norton

2016-05-12	allow writing hwrena 29 (UserLocal)	Robert Norton

2016-05-12	Implement count/compare registers for timer interrupts and rdhwr instruction.	Robert Norton

2016-05-12	rename ephemeral/non_ephemeral to global/local in accordance with current usage.	Robert Norton

2016-05-12	update/add some comments	Robert Norton

2016-05-12	remove redundant wrapper function 'TranslateOrExit' and rename uses.	Robert Norton

2016-05-12	Enforce kernel only access to kernel address space. Doesn't really make any ↵	Robert Norton
	difference as without TLB we cannot run any non-kernel mode code anyway.
2016-05-11	Fix XXX missing register accessible check in ClearRegs, also only do ↵	Robert Norton
	CP2Usable check if for cap. regsets.
2016-05-10	Initialise CP0Status BEV bit.	Robert Norton

2016-05-10	Clear LLbit on ERET regardless of ERL value.	Robert Norton

2016-05-10	Implement mfc0/mtc0 ErrorEPC.	Robert Norton

2016-05-10	calculate signed modulus using quot as ocaml and mips disagree about what ↵	Robert Norton
	the result should be (specifically for x mod y, x<0 & y<0).
2016-05-09	explicitly give result value for slti to workaround probable sail bug ↵	Robert Norton
	producing '?'
2016-05-09	fix mips build by copying across run_with_elf_cheri.ml and removing cheri parts.	Robert Norton

2016-05-09	work around problem with <_s using signed	Robert Norton

2016-05-09	Reverse the list of events to respect their order	Kathy Gray

2016-05-09	commit test which fails due to not writing C31.offset in TranslateAddress.	Robert Norton

2016-05-09	Add more debugging information for vector concatenation	Kathy Gray

2016-05-06	rewrite fde_loop to make it easier to understand and fix some tests. still ↵	Robert Norton
	requires some clean up (currently one huge function).
2016-05-05	Factor out get_opcode	Robert Norton

2016-05-04	Correct register field/slice reading for decreasing reads for ↵	Kathy Gray
	decode/translate_address/exhaustive. (Was previously correct for full register reads)