| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-01-30 | Fix two example code includes | Mark Wassell | |
| 2019-07-25 | Some documentation of mappings and string matching | Jon French | |
| 2019-02-21 | Fix manual, and include Alexandre's typo fixes | Alasdair Armstrong | |
| 2019-01-21 | Fix some issues with latex generation so manual builds again | Alasdair Armstrong | |
| since riscv is no longer in this repository, and we use the RISC-V duopod as an example, you need to build as: make RISCV=directory manual.pdf if directory is not equal to ../../sail-riscv (which is where it would be if sail and sail-riscv are checked out in the same respository together) | |||
| 2018-08-09 | fix tutorial infix example | Matthew Fernandez | |
| The syntax for these directives requires the precedence first. E.g. a real world version of this in riscv/prelude.sail. | |||
| 2018-08-02 | fix some typos | Matthew Fernandez | |
| 2018-05-16 | Some minor edits and typo-fixes to the manual, and update the files in the ↵ | Prashanth Mundkur | |
| riscv model. | |||
| 2018-05-11 | More work on documentation | Alasdair Armstrong | |
| Should have all the main language features covered in at least some detail now. | |||
| 2018-05-08 | More work on Sail documentation | Alasdair Armstrong | |
| 2018-04-25 | Start working on documentation | Alasdair Armstrong | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |