summaryrefslogtreecommitdiff
path: root/README.md
AgeCommit message (Expand)Author
2020-11-09Update README.mdAlasdair Armstrong
2020-08-01update READMEpes20
2020-08-01update READMEpes20
2020-08-01wibpes20
2020-08-01tweak overview picpes20
2020-06-02Add ubuntu 20.04 workflowAlasdair
2020-03-18Add documentation for CLion/PyCharm/IntelliJ syntax highlightingAlex Richardson
2020-02-23set vscode syntax highlighting extension up for publicationjp
2020-02-14mention vscode mode in READMEjp
2020-01-28Use external PPrintThomas Bauereiss
2019-12-11Add github actions to build on macOS and ubuntuAlasdair Armstrong
2019-12-04A word.Robert Norton
2019-12-04Minor doc fixes.Robert Norton
2019-12-04Move building from source instructions from wiki into repo and update links. ...Robert Norton
2019-06-06update funding acksPeter Sewell
2019-02-07Subdivide README models list into REMS and external, as per suggestionAlasdair
2019-02-06README: add a link to my RISC-V implementationAustin Seipp
2019-01-21Remove old emacs mode to avoid confusionAlasdair Armstrong
2019-01-13update READMEPeter Sewell
2019-01-13update README with current model reposPeter Sewell
2018-12-20RISVC model is now at https://github.com/rems-project/sail-riscv . Remove it ...Robert Norton
2018-09-21Remove cheri and mips specs -- they now have their own repository.Robert Norton
2018-05-12add -APeter Sewell
2018-05-11Fix last few links in README.mdAlasdair Armstrong
2018-05-11Fix some links and be more clear about licensingAlasdair Armstrong
2018-05-11Try to fix relative links in README.mdAlasdair Armstrong
2018-05-11Add updated README fileAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:54:00 +0000