| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-03-19 | Fixes to C backend for RISCV-compilation | Alasdair Armstrong | |
| Can now compile RISCV. Requires some library tweaks before it'll pass any tests, Also adds hyperlinks to wip latex output | |||
| 2018-03-14 | WIP Latex formatting | Alasdair Armstrong | |
| Added option -latex that outputs input to a latex document. Added doc comments that can be attached to certain AST nodes - right now just valspecs and function clauses, e.g. /*! Documentation for main */ val main : unit -> unit These comments are kept by the sail pretty printer, and used when generating latex | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |