sail/src/test/mips, branch sail2 Formal specification language for ISAs Remove old test directory in src/test 2018-08-01T15:42:33+00:00 Alasdair Armstrong 2018-07-30T18:16:34+00:00 1479ae359fd3afebf9c3dfb6e58a77254e8140ea 






failing test with c128
2017-01-27T15:32:59+00:00

Robert Norton

2017-01-27T15:32:59+00:00

78abbc3af0f92f1a579542b84d2e33d07fc58b99












add a test for failing TLB translation during instruction fetch.
2016-06-07T10:23:40+00:00

Robert Norton

2016-06-07T10:23:40+00:00

254d19111f20034e7f13f45377d99d655dfe3cfb












remove mips test elf files no longer expected to work due to having incorrect LMA values (since sail interpreter now translates PC addresses).
2016-06-06T17:40:53+00:00

Robert Norton

2016-06-06T17:40:53+00:00

2d47c0714a9063c98d431724e0e4c113f015b62d












add test for failing tlb translation using current sail.
2016-06-06T15:51:12+00:00

Robert Norton

2016-06-06T15:51:12+00:00

24e0814bb9edf53853cdf3f7b5efd9bb550006a4












Add test demonstrating recently introduced regression where tlb match fail.
2016-06-03T14:14:14+00:00

Robert Norton

2016-06-03T14:12:58+00:00

a77f59965a265cfe056c4048f6d63e1fbbc54950












commit test which fails due to not writing C31.offset in TranslateAddress.
2016-05-09T11:56:42+00:00

Robert Norton

2016-05-09T11:56:42+00:00

2bd03bf349b5b14f66fbd5f74581dc59b03a178b












add failing test from cheri test suite.
2016-04-13T13:38:59+00:00

Robert Norton

2016-04-13T13:38:59+00:00

56fb6ed1865f64f0b2e8b04300eb8dab4ea8540e












add elf file with capability instructions
2016-03-09T15:06:44+00:00

Robert Norton

2016-03-09T15:06:44+00:00

97a198bd7ae5b28c8cf25b4eadba9924bd07aa5e












add example of elf file which fails to load due to linksem error: get_elf64_global_symbol_init: invariant failed, global variable appears in multiple segments
2016-02-03T15:30:06+00:00

Robert Norton

2016-02-03T15:30:06+00:00

a5c6e57fdf714ab694cd560ab54c649258859945