sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-08-01	Remove old test directory in src/test	Alasdair Armstrong

2017-01-27	failing test with c128	Robert Norton

2016-06-07	add a test for failing TLB translation during instruction fetch.	Robert Norton

2016-06-06	remove mips test elf files no longer expected to work due to having ↵	Robert Norton
	incorrect LMA values (since sail interpreter now translates PC addresses).
2016-06-06	add test for failing tlb translation using current sail.	Robert Norton

2016-06-03	Add test demonstrating recently introduced regression where tlb match fail.	Robert Norton

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

2016-04-13	add failing test from cheri test suite.	Robert Norton

2016-03-09	add elf file with capability instructions	Robert Norton

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-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-26	Add example of test which dies whilst trying to throw exception.	Robert Norton

2016-01-26	add example of mips test which fails with first instruction (jal)	Robert Norton

2016-01-22	add some test elf files for mips (pinched from cheri test suite).	Robert Norton