aboutsummaryrefslogtreecommitdiff
path: root/test
AgeCommit message (Expand)AuthorFilesLines
2019-01-16Rename test/tests to test/riscv-tests and add a README indicating their prove...Prashanth Mundkur373-2/+4
2019-01-16Make it clearer that the outer c,ocaml sub-dirs contain supporting files for ...Prashanth Mundkur1-4/+4
2019-01-14Reorganize directory structure.Prashanth Mundkur1-4/+4
2019-01-02Add support for performance measurements, and a script to estimate it over th...Prashanth Mundkur2-1/+43
2018-12-19Split tests into two suites for benefit of jenkins.Robert Norton1-1/+3
2018-11-30Re-import tests from sail repo.Robert Norton372-0/+127624