summaryrefslogtreecommitdiff
path: root/test/run_tests.sh
AgeCommit message (Expand)Author
2020-09-25Add an initial LaTeX testAlex Richardson
2019-07-31Remove redundant ifdef and run SMT tests by defaultAlasdair Armstrong
2019-03-04Add test for building handwritten ARM to lem for JenkinsAlasdair Armstrong
2019-02-02Monomorphisation tests all pass so add them to standard regression testsAlasdair
2018-12-20RISVC model is now at https://github.com/rems-project/sail-riscv . Remove it ...Robert Norton
2018-12-14Add a few more tests for JenkinsAlasdair Armstrong
2018-09-21Remove cheri and mips specs -- they now have their own repository.Robert Norton
2018-08-17Improve builtins testsAlasdair Armstrong
2018-06-04Fix an issue with riscv_platform involving flow typingAlasdair Armstrong
2018-04-03Added test cases for builtinsAlasdair Armstrong
2018-03-15add test that cheri specs build (ocaml).Robert Norton
2018-02-07Setup test suite for C backendAlasdair Armstrong
2018-01-23Run tests for Lem shallow embeddingThomas Bauereiss
2018-01-19Added RISCV test case to test suiteAlasdair Armstrong
2018-01-17Add generated ARM spec and test cases for itAlasdair Armstrong
2018-01-16Improve formatting of output when running all test suites.Alasdair Armstrong
2017-11-16Fixed some longstanding issues regarding constraints on type constructors.Alasdair Armstrong
2017-09-01More test cases for ocaml backendAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:13:00 +0000