sail/test/riscv/tests, branch sail2 Formal specification language for ISAs RISVC model is now at https://github.com/rems-project/sail-riscv . Remove it and tests. 2018-12-20T13:49:49+00:00 Robert Norton 2018-12-20T13:49:39+00:00 d99dd3833e8ebf89c586cc5316582a3c62ad7997 






RISC-V: switch c tests to use the C platform simulator; update .gitignore.
2018-10-23T23:05:47+00:00

Prashanth Mundkur

2018-10-23T23:05:47+00:00

8ae06c742324160e2677f233a8e509eaa46b54c3












Add the lrsc tests from riscv-tests.
2018-07-07T19:06:04+00:00

Prashanth Mundkur

2018-07-06T23:53:57+00:00

1f60d65d5817c7eb897197568525469163eb7cea












import new build of riscv tests including some new ones that are expected to pass.
2018-05-14T14:38:02+00:00

Robert Norton

2018-05-14T14:38:02+00:00

1af099d46188cacd115639ec6d465ca8163ae07f












Add a few more generated file to gitignore
2018-04-13T14:18:21+00:00

Brian Campbell

2018-04-13T14:18:21+00:00

4cabe141fc5f89627fcb44f6c90b24daedc70c89












riscv: disable failing lrsc test for now to make sail2 green.
2018-03-14T09:39:20+00:00

Robert Norton

2018-03-14T09:39:02+00:00

a5ec031ff371fcd50a069a3715939c60febbb02f












add some elf files from riscv test suite and run them on riscv model.
2018-01-31T10:54:54+00:00

Robert Norton

2018-01-31T10:54:48+00:00

d4f33092406cbed65d98f4c342579f617ad8a99c