sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2016-01-20	Decoding a mips instruction :)	Kathy Gray
	Not executing yet as some previous commit has broken the interpreter's local assignment
2016-01-15	mips.sail: Add commented out alternative DSLLV implementation using ↵	Robert Norton
	bitslicing which is closer to what appears in spec. Might want to swap all the SLLs at some point.
2016-01-07	make mips.sail pass sail type checker again	Kathy Gray

2015-12-22	More make file goo, and fixing a typo in run_with_elf	Kathy Gray

2015-12-22	More gluing mips to interpreter	Kathy Gray

2015-12-21	Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2	Christopher

2015-12-21	fixes, pp progress	Christopher

2015-12-17	Remove external functions that the library provides, having added them to ↵	Kathy Gray
	the type environment finally. (Also small cleaning of the new makefile)
2015-12-17	First bit of gluing mips onto interpreter and eventually ppcmem infrastructure	Kathy Gray

2015-11-25	non-working sail/mips interpreter integration for kathy to look at and ↵	Robert Norton
	example mips elf file.
2015-11-20	Initial version of mips sail model.	Robert Norton