summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-05-15Tweak readmeAlasdair
2020-05-15Add colour options to sailcovAlasdair
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-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-04-28Update test error messages, hopefully will make Jenkins happy againAlasdair
2020-04-28Add flooring division in preludeAlasdair
2020-04-27Fix try in exception handler jib bugBrian Campbell
2020-04-22Add an interactive command to evaluate until the end of a functionAlasdair
2020-04-15Add more intuitive defaults to interactive toplevelAlasdair
2020-04-14Add add_symbol to the API of Process_fileAlasdair
2020-04-01Update INSTALL.mdAlasdair Armstrong
2020-04-01Report SMT solver stderr on unexpected return codeBrian Campbell
2020-03-29Implement set_slice_int in the interpreterAlasdair
2020-03-25Merge pull request #64 from arichardson/intellij-syntaxAlasdair Armstrong
2020-03-25Fix a typo in write_mem for the interpreterAlasdair
2020-03-19Improve a particularly unhelpful type errorAlasdair
2020-03-18Add documentation for CLion/PyCharm/IntelliJ syntax highlightingAlex Richardson
2020-03-18Expose details of failed lexp bounds checksThomas Bauereiss
2020-03-13SMT fixes for some corner cases of vector updatesThomas Bauereiss
2020-03-02Fix jenkinsAlasdair Armstrong
2020-03-02Add arith_shiftr to SMT and interpreterThomas Bauereiss
2020-02-25Implement count_leading_zeros for interpreterThomas Bauereiss
2020-02-24Allow overloading of subrange builtins for non-bitvectorsThomas Bauereiss
2020-02-24Avoid generating assertions multiple times during typecheckingThomas Bauereiss
2020-02-23Merge branch 'sail2' of https://github.com/rems-project/sail into sail2jp
2020-02-23set vscode syntax highlighting extension up for publicationjp
2020-02-21Add barriers to regfp.sail for full ARMv8Alasdair Armstrong
2020-02-21Make sure we test that struct literals have a complete set of fields. Fixes #60Alasdair Armstrong
2020-02-21Distinguish type identifiers in topological sortingThomas Bauereiss
2020-02-21Fix bug in last patch to topological sorting (e5ee087f)Thomas Bauereiss
2020-02-21SMT: Implement a few more primopsThomas Bauereiss
2020-02-21Nl_flow: Consider early returnsThomas Bauereiss
2020-02-21Move topological sorting code to graph.mlThomas Bauereiss
2020-02-20More list C codegen fixes for issue #59Alasdair Armstrong
2020-02-20Fix missing code generation builtins for lists. Fixes #59Alasdair Armstrong
2020-02-14mention vscode mode in READMEjp
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 10:52:31 +0000