sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2013-11-11	Remove lem-lib hack	Gabriel Kerneis
	Lem has now switched to the new library by default (remember to "make ocaml-libs" in Lem to build it).
2013-11-07	Port L2 to new Lem	Gabriel Kerneis
	Tests compile and run properly. There is a lot of hackery going on to workaround the rough edges of new Lem. Use at your own risk (you need the "library-format" branch of lem).
2013-10-10	make test target	Gabriel Kerneis

2013-10-10	Stub test suite	Gabriel Kerneis

2013-10-10	Use ocamlbuild, no findlib required	Gabriel Kerneis

2013-10-08	More makefile infrastructure	Gabriel Kerneis
	You need the latest version of Lem for this to work (requires lem/ocaml-lib/META.lem).
2013-07-12	Parser in progress, and more src files for plumbing parsing, lexing and ↵	Kathy Gray
	eventual type checking together