| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-11-09 | Update README.md | Alasdair Armstrong | |
| 2020-08-01 | update README | pes20 | |
| 2020-08-01 | update README | pes20 | |
| 2020-08-01 | wib | pes20 | |
| 2020-08-01 | tweak overview pic | pes20 | |
| 2020-06-02 | Add ubuntu 20.04 workflow | Alasdair | |
| 2020-03-18 | Add documentation for CLion/PyCharm/IntelliJ syntax highlighting | Alex Richardson | |
| Turns out the TextMate Bundles plugin can load the vscode extension and provide some basic syntax highlighting. | |||
| 2020-02-23 | set vscode syntax highlighting extension up for publication | jp | |
| 2020-02-14 | mention vscode mode in README | jp | |
| 2020-01-28 | Use external PPrint | Thomas Bauereiss | |
| 2019-12-11 | Add github actions to build on macOS and ubuntu | Alasdair Armstrong | |
| This commit adds two github action to build Sail on macOS and ubuntu (both using the latest version of each for now). These just build and don't run any tests, as we run those on our own Jenkins server which is much faster than the github build runners. I also fixed INSTALL.md to include brew installing pkg-config on macOS as this seems to be required. From testing on a personal fork it seems quite email happy when it fails. Maybe that's what we want though. There's also a windows option but I leave that as future work... | |||
| 2019-12-04 | A word. | Robert Norton | |
| 2019-12-04 | Minor doc fixes. | Robert Norton | |
| 2019-12-04 | Move building from source instructions from wiki into repo and update links. ↵ | Robert Norton | |
| Other minor tweaks. | |||
| 2019-06-06 | update funding acks | Peter Sewell | |
| 2019-02-07 | Subdivide README models list into REMS and external, as per suggestion | Alasdair | |
| 2019-02-06 | README: add a link to my RISC-V implementation | Austin Seipp | |
| Signed-off-by: Austin Seipp <aseipp@pobox.com> | |||
| 2019-01-21 | Remove old emacs mode to avoid confusion | Alasdair Armstrong | |
| 2019-01-13 | update README | Peter Sewell | |
| 2019-01-13 | update README with current model repos | Peter Sewell | |
| 2018-12-20 | RISVC model is now at https://github.com/rems-project/sail-riscv . Remove it ↵ | Robert Norton | |
| and tests. | |||
| 2018-09-21 | Remove cheri and mips specs -- they now have their own repository. | Robert Norton | |
| 2018-05-12 | add -A | Peter Sewell | |
| 2018-05-11 | Fix last few links in README.md | Alasdair Armstrong | |
| 2018-05-11 | Fix some links and be more clear about licensing | Alasdair Armstrong | |
| 2018-05-11 | Try to fix relative links in README.md | Alasdair Armstrong | |
| 2018-05-11 | Add updated README file | Alasdair Armstrong | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |