sail/test/cheri, branch sail2 Formal specification language for ISAs tests: Move copy-pasted code into a shared helper .sh 2020-09-25T11:30:09+00:00 Alex Richardson 2020-09-25T09:12:56+00:00 782d3860eb0134c81d4a4204b7caab72cda3bd1d Also fix a few shellcheck warnings related to printf while doing so. 
Also fix a few shellcheck warnings related to printf while doing so.
make unziping freebsd kernel more robust if run again. 2018-07-12T16:05:19+00:00 Robert Norton 2018-07-12T16:04:11+00:00 e6977ee8e2ba7a53d69f2fb3b715846a62a50454 






Add FreeBSD boot to mips test suite.
2018-07-11T15:57:55+00:00

Robert Norton

2018-07-11T15:57:19+00:00

7a4facfb0fffa81f1854a72bd250ac4d4972a1c1












build mips and mips_c when running tests.
2018-06-22T12:50:37+00:00

Robert Norton

2018-06-22T12:50:37+00:00

5184f151330d3b1a28c0fdfc5ccbcbe203e0b5be












add test that cheri specs build (ocaml).
2018-03-15T13:27:07+00:00

Robert Norton

2018-03-15T13:27:07+00:00

860034499374a4791371c3a2176497f45b2621a0