sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
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 ↵	Robert Norton
	confusion on case insensitive file systems (e.g. mac).
2018-05-10	latex: don't include the prefix in the label. This means we have the option ↵	Robert Norton
	of omitting valspec in documentation if it is deemed too verbose and still have hyperlinks work. The caveat is that it could result in multiply defined labels.
2018-05-09	Add language=sail option in listings command for latex output. This helps ↵	Robert Norton
	with documents containing listings in multiple languages.
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
	More work on Latex output
2018-04-05	More work on latex output	Alasdair Armstrong
	Now generate commands for each toplevel definition, such that e.g. the function clause for execute LOAD could be inserted using \sailexecuteLOAD. Tries to generate fairly intuitive names while avoiding clashes where possible.
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