summaryrefslogtreecommitdiff
path: root/test/c/run_tests.py
AgeCommit message (Expand)Author
2021-01-05Fix some cases when monomorphising vectors containing variable-length bitvectorsAlasdair
2020-05-21Merge branch 'sail2' into mono-tweaksAlasdair
2020-05-14Re-activate some testsAlasdair
2020-05-11Functorise and refactor C code generatorAlasdair
2020-04-15Add more intuitive defaults to interactive toplevelAlasdair
2020-04-10Add test output to gitignoreThomas Bauereiss
2019-06-19Make C emulator exit with failure for uncaught exception. Make special case f...Robert Norton
2019-05-03Jib: Fix optimizations for SMT IR changesAlasdair Armstrong
2019-03-27Interactive: Refactor sail.mlAlasdair Armstrong
2019-03-06Add option to slice out printing and tracing functions when generating CAlasdair Armstrong
2019-02-21Allow monomorphisation with C generationAlasdair
2019-02-04Test lem output by running end-to-end tests using ocaml via lemAlasdair Armstrong
2018-12-12Add parallelism limit to C and builtins testAlasdair Armstrong
2018-11-23Introduce intermediate bitvector representation in CAlasdair Armstrong
2018-09-10Various fixesAlasdair Armstrong
2018-08-23Fix interpreter after re-writer changeAlasdair Armstrong
2018-08-17Improve builtins testsAlasdair Armstrong
2018-08-16Ressurect builtin tests, and add parallel test runner scriptAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:56:27 +0000