summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-06-18Report locations for "default order" errorsBrian Campbell
2020-06-17Coq: implement shl_int_1Brian Campbell
2020-06-17Coq: fix rich loop variablesBrian Campbell
2020-06-17Make `if cond { ... return() };` assert cond in the type environmentBrian Campbell
2020-06-17Add test for if-return patternBrian Campbell
2020-06-16Update INSTALL.mdAlasdair Armstrong
2020-06-14Coq: tidy up scope in libraryBrian Campbell
2020-06-12Coq: fix matching bug in solverBrian Campbell
2020-06-12Update sailcov readme for option changeAlasdair Armstrong
2020-06-12Merge pull request #70 from rems-project/branch-info-output-fileAlasdair Armstrong
2020-06-12Use output file for generated branch information.Prashanth Mundkur
2020-06-12Remove remove field from opam fileAlasdair
2020-06-11Coq: specialise the andor solvers to avoid excessive search and solve more goalsBrian Campbell
2020-06-10Prepare Coq library for packagingBrian Campbell
2020-06-09Add splice.ml to libsailThomas Bauereiss
2020-06-05Generate nice error messages for patterns woth duplicate bindingsAlasdair
2020-06-03Update CHANGELOGAlasdair
2020-06-03Correct compiler version in CI scriptAlasdair
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 09:26:36 +0000