| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-04-05 | Cleanup repository by removing old and generated files | Alasdair Armstrong | |
| Rename l2.ott to sail.ott | |||
| 2014-06-10 | More robust build system | Gabriel Kerneis | |
| 2014-06-09 | Add explicit flag -r to rebuild in demo.sh | Gabriel Kerneis | |
| ./demo.sh now jumps straight into the interpreter. ./demo.sh -r does the fancy "rebuild step-by-step with comments" show | |||
| 2014-06-07 | Interactive demo | Gabriel Kerneis | |
| 2014-06-07 | Copy main.bin in Sail repository for Power test | Gabriel Kerneis | |
| 2014-06-06 | Add wrapper script and --interactive for demo | Gabriel Kerneis | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |