summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-06-03Add a workflow for latest released ocamlAlasdair
2020-06-03Update opam file to opam 2Alasdair
2020-06-03add docker makefile targetjp
2020-06-02Add m4 to 18.04 installAlasdair
2020-06-02Add ubuntu 20.04 workflowAlasdair
2020-05-27Try to fix Github CIThomas Bauereiss
2020-05-27Update base64 and yojson dependenciesThomas Bauereiss
2020-05-22Fix atomicity of register field writesAlasdair
2020-05-21Merge branch 'mono-tweaks' into sail2Alasdair
2020-05-21Merge branch 'mono-tweaks' of github.com:rems-project/sail into mono-tweaksAlasdair
2020-05-21Merge branch 'sail2' into mono-tweaksAlasdair
2020-05-19Update readme with min OCaml versionAlasdair Armstrong
2020-05-18Add a prefix option for generated coverage filesAlasdair
2020-05-18Add a header and a default page to the index in coverage reportsAlasdair
2020-05-15Merge pull request #67 from arichardson/add-staticAlasdair Armstrong
2020-05-15Remove some left over debug statementsAlasdair
2020-05-15Generate index for coverageAlasdair
2020-05-15C backend: Only add static to model_{init,fini} if -static is passedAlex Richardson
2020-05-15C backend: Add a static () helperAlex Richardson
2020-05-15Fix more typosAlasdair
2020-05-15Tweak readmeAlasdair
2020-05-15Add colour options to sailcovAlasdair
2020-05-15Add static to registers if -static is passedAlex Richardson
2020-05-15Also make the letbinding C variables staticAlex Richardson
2020-05-15Also allow adding static to model_{init,fini,main}()Alex Richardson
2020-05-15Add static to more C functionsAlex Richardson
2020-05-15Add --tab-width option to sailcovAlasdair
2020-05-15Update type error messages for jenkinsAlasdair
2020-05-15Move riscv_vmem_sv39 example to a separate page so it renders nicelyAlasdair
2020-05-15Add example output for coverage visualisationAlasdair
2020-05-15Add coverage headerAlasdair
2020-05-15Fix linksAlasdair
2020-05-15Add sailcov readmeAlasdair
2020-05-15Add coverage tracking toolAlasdair
2020-05-14Output INT64_MIN in code generator for min 64-bit integer literalAlasdair
2020-05-14Merge remote-tracking branch 'origin' into codegenAlasdair
2020-05-14Re-activate some testsAlasdair
2020-05-14Attempt to fix CI errorAlasdair
2020-05-14Various bugfixes and improvements for updated codegenAlasdair
2020-05-13Add caching of calls to solve_uniqueThomas Bauereiss
2020-05-13Make Isabelle lemma generation work with grouped regstateThomas Bauereiss
2020-05-12Add support for instrumenting generated C with branch coverage metricsAlasdair
2020-05-12Support for user-defined state and headers in new codegenAlasdair
2020-05-11Functorise and refactor C code generatorAlasdair
2020-05-08Only check int kids when simplifying nexpsThomas Bauereiss
2020-05-08Add another type annotation in bitvector cast rewriteThomas Bauereiss
2020-05-04Lem: Add some reserved identifiersThomas Bauereiss
2020-05-04Add some more cases in mono rewritesThomas Bauereiss
2020-05-04Mono: Try to fix bug in inter-procedural analysisThomas Bauereiss
2020-05-04Try to fix bug in size parameter rewritingThomas Bauereiss
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:14:38 +0000