sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2017-12-13	Cleanup code by fixing compiler warnings, and fix ocaml compilation	Alasdair Armstrong
	Add the ast.sed script we need to build sail. Currently we just need this to fix up the locations in the AST but it will be removed once we can share locations between ocaml and lem.
2017-12-13	Use big_nums from Lem	Alasdair Armstrong

2017-12-11	Prototype interactive mode for sail.	Alasdair Armstrong
	Requires linenoise library (opam install linenoise) for readline support. Use 'make isail' to build sail with interactive support. Plain 'make sail' should work as before with no additional dependencies. Use 'sail -i <commands>' to run sail interactively, e.g. sail -new_parser -i test/ocaml/prelude.sail test/ocaml/trycatch/tc.sail then try some commands for typechecking and evaluation sail> :t main sail> main () Doesn't use the lem interpreter right now, instead has a small operational semantics in src/interpreter.ml, but this is not very complete and will be changed/removed.