sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2016-05-25	add support for capability load/store bits in TLB	Robert Norton
2016-05-19	correctly report TLB size and type in config reg.	Robert Norton
2016-05-18	Implement 8-entry software-managed TLB.	Robert Norton
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 d...	Robert Norton
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	remove redundant wrapper function 'TranslateOrExit' and rename uses.	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 the...	Robert Norton
2016-05-09	explicitly give result value for slti to workaround probable sail bug produci...	Robert Norton
2016-05-09	work around problem with <_s using signed	Robert Norton
2016-04-28	implement (hopefully) correct exception behaviour wrt PCC/EPCC. Required shuf...	Robert Norton
2016-04-22	Add address calculation wrapper to constrain and translate standard mips load...	Robert Norton
2016-04-21	Introduce wrapper function around MEMw* so that we can clear tags on non-capa...	Robert Norton
2016-04-13	Put in a cast into slti	Kathy Gray
2016-03-07	Split mips.sail into three file and make use of the new -o option in preparat...	Robert Norton