sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2020-09-29	Refactor: Change AST type from a union to a struct	Alasdair

2020-09-28	Refactor: Rename 'a defs to 'a ast	Alasdair
	Change internal terminology so we more clearly distinguish between a list of definitions 'defs' and functions that take an entire abstract syntax trees 'ast'.
2020-09-28	Move the ast defs wrapper into it's own file	Alasdair
	This refactoring is intended to allow this type to have more than just a list of definitions in future.
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.