diff options
| author | Alasdair Armstrong | 2018-03-14 19:28:14 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-03-14 19:36:42 +0000 |
| commit | e99f9e060575930bac00240f252bf6f975a13deb (patch) | |
| tree | 7c1d95e55905d4a989eebc43aaff9a41099c300c /riscv | |
| parent | 7aef4970c36b45f50dc61d66353dc759b438e706 (diff) | |
WIP Latex formatting
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
Diffstat (limited to 'riscv')
| -rw-r--r-- | riscv/riscv_duopod.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/riscv_duopod.sail b/riscv/riscv_duopod.sail index 2c303432..687c7e64 100644 --- a/riscv/riscv_duopod.sail +++ b/riscv/riscv_duopod.sail @@ -75,7 +75,7 @@ function clause execute(LOAD(imm, rs1, rd)) = /* ****************************************************************** */ -function clause decode _ = None +function clause decode _ = None() end ast end decode |