index
:
sail
sail2
Formal specification language for ISAs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
latex.ml
Age
Commit message (
Expand
)
Author
2019-01-29
Merge branch 'sail2' into asl_flow2
Thomas Bauereiss
2019-01-21
Fix some issues with latex generation so manual builds again
Alasdair Armstrong
2019-01-16
Latex: handle underscores when generating latex names.
Prashanth Mundkur
2018-11-15
Add simple valspec printing in latex that drops effects and other extraneous ...
Robert Norton
2018-11-14
Use code style For [id] refs in doc comments.
Robert Norton
2018-11-14
latex: use callback macro saildocxxx (one per top-level category) to give use...
Robert Norton
2018-11-12
Add referencing commands to generated latex
Alasdair Armstrong
2018-11-12
Fix numbers in constructor arguments
Alasdair Armstrong
2018-11-12
Improve latex naming scheme and avoid collisions
Alasdair Armstrong
2018-11-09
Improvements to latex generation
Alasdair Armstrong
2018-10-31
Rename Reporting_basic to Reporting
Alasdair Armstrong
2018-09-12
Jenkins: Fix deprecation warnings
Alasdair Armstrong
2018-08-07
Revert "Warnings: deal with all the deprecation warnings"
Alasdair Armstrong
2018-07-26
Warnings: deal with all the deprecation warnings
Alastair Reid
2018-05-11
Remove unneeded _sail suffix from latex files.
Robert Norton
2018-05-11
Avoid generating latex files that differ only by case because this causes con...
Robert Norton
2018-05-10
latex: don't include the prefix in the label. This means we have the option o...
Robert Norton
2018-05-09
Add language=sail option in listings command for latex output. This helps wit...
Robert Norton
2018-04-25
Start working on documentation
Alasdair Armstrong
2018-04-23
Merge branch 'rmn30_latex' into sail2
Robert Norton
2018-04-18
add some experimental support for latex output in multiple files.
Robert Norton
2018-04-18
Updates to latex mode for documentation
Alasdair Armstrong
2018-04-05
Fix precedence printing and update aarch64 spec
Alasdair Armstrong
2018-04-05
More work on latex output
Alasdair Armstrong
2018-03-19
Fixes to C backend for RISCV-compilation
Alasdair Armstrong
2018-03-14
WIP Latex formatting
Alasdair Armstrong