sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2020-08-27	Ignore file start/end pragmas in splice	Brian Campbell

2020-08-13	Preserve file structure through initial check	Alasdair
	Insert $file_start and $file_end pragmas in the AST, as well as $include_start and $include_end pragmas so we can reconstruct the original file structure later if needed, provided nothing like topological sorting has been done. Have the Lexer produce a list of comments whenever it parses a file, which can the be attached to the nearest nodes in the abstract syntax tree.
2019-06-13	Add new option to splice in alternative function definitions	Brian Campbell
	In particular, this is useful for replacing basic bitvector functions with monomorphisation-friendly ones.