sail - Formal specification language for ISAs

Age	Commit message (Expand)	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
2020-09-28	Move the ast defs wrapper into it's own file	Alasdair
2019-11-21	Fix bugs in mutrec constant propagation	Thomas Bauereiss
2019-07-11	Make sure constant folding won't fold external definitions that also have sai...	Alasdair Armstrong
2019-04-15	Merge branch 'sail2' into rmem_interpreter	Jon French
2019-03-15	Add a rewriting pass for constant propagation in mutrecs	Thomas Bauereiss