sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2017-06-13	Add Makefile and ROOT for Isabelle library	Thomas Bauereiss

2017-02-03	fix headers	Peter Sewell

2017-02-03	licensing	Peter Sewell

2017-01-24	add "interpreter" to make all	Peter Sewell

2016-06-03	added ARMv8	Shaked Flur

2016-06-02	Add rule in Makefile that uses headache to add copyright header to ↵	Robert Norton
	mips/cheri model.
2016-04-19	force link to prevent make from failing	Shaked Flur

2016-02-25	Update read me to the present day and cause the makefile from the top level ↵	Kathy Gray
	directory to be a bit more sensible
2014-10-07	kathy,peter: making decode integration with ppcmem2 typecheck	Peter Sewell

2014-08-13	Silence some lem warnings in compilation.	Kathy Gray

2014-08-05	Add some reasonable targets for the top level make file, including make test ↵	Kathy Gray
	and make power.
2014-07-25	Update make file to make clean from top level directory, and to not build ↵	Kathy Gray
	all tests on all. Instead there is a make full command to make all the tests as well as everything.
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-04	Clean up build system	Gabriel Kerneis