sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
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