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	Move the ast defs wrapper into it's own file	Alasdair
2020-04-15	Add more intuitive defaults to interactive toplevel	Alasdair
2019-11-04	Allow overriding the interpreter effects	Alasdair Armstrong
2019-10-31	Allow sail to be scripted using sail	Alasdair
2019-10-28	Make sure that interactive.ml doesn't transitively depend on lem definitions	Alasdair Armstrong
2019-10-25	Allow interactive commands to be setup outside isail.ml	Alasdair Armstrong
2019-02-06	Improve emacs mode	Alasdair Armstrong
2018-12-22	Improve error messages and debugging	Alasdair Armstrong