sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
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