sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2017-03-27	Fix broken to_vec of negative values. Old code was a bit confused. Probably ↵	Robert Norton
	possible to rewrite using arithmetic on big_int which might be faster.
2017-03-25	endianness fix	Shaked Flur

2017-03-24	fixed endianness	Shaked Flur

2017-03-24	Checkpoint work-in-progress mips sequential interpreter using ocaml shallow ↵	Robert Norton
	embedding.
2017-03-24	changes to ocaml pp to allow mips->ocaml to compile	Robert Norton

2017-03-24	changes to allow generating ocaml that compiles.	Robert Norton

2017-03-24	Minor cleanup: remove unnecessary brances and use 'not' iso ~.	Robert Norton

2017-03-24	Extract CGetLen from cheri sail.	Robert Norton

2017-03-24	Christopher, Peter: make "run_interp_model.ml" build again (endianness)	Peter Sewell

2017-03-24	Print tracking information for V_track, hopefully fix extern_vector_value, ↵	Christopher Pulte
	fix sail_values bug.
2017-03-23	the interpreter/shallow expects little-endian memory-values	Shaked Flur

2017-03-15	rename "manual.tex" to "type_system.tex"	Peter Sewell
	fix Makefile clean
2017-03-15	add manual and update README	Peter Sewell

2017-03-02	tweak comments	Peter Sewell

2017-02-25	wib	Peter Sewell

2017-02-20	slight refactoring of the fast representable bounds check to aid ↵	Robert Norton
	understanding and remove case where E>=44 causes indexes off end of address.
2017-02-17	use fast representable check for csetoffset as well as cincoffset.	Robert Norton

2017-02-14	remove the -i option	Peter Sewell

2017-02-14	tidy command-line options	Peter Sewell

2017-02-13	wib	Peter Sewell

2017-02-13	make syntax typeset in manual in ASCII-friendly style rather than using	Peter Sewell
	math symbols. This breaks the l2.pdf build in language/ (for the moment).
2017-02-13	tidying	Peter Sewell

2017-02-13	tidying	Peter Sewell

2017-02-10	wib	Peter Sewell

2017-02-10	Don't update EPCC if EXL is already set.	Robert Norton

2017-02-10	wib	Peter Sewell

2017-02-10	tidy l2.ott	Peter Sewell

2017-02-09	wib	Peter Sewell

2017-02-09	group initial type environment into meaningful sections; pretty-print in ↵	Peter Sewell
	user-readable way
2017-02-09	tweak pp of initial type environment and l2.ott comments	Peter Sewell

2017-02-08	put back the header into Sail_impl_base	Christopher Pulte

2017-02-08	pull in Shaked's type class instance changes, fix Ord and Eq instances	Christopher Pulte

2017-02-08	Implement fast representable bounds check as used on FPGA (cincoffset only ↵	Robert Norton
	so far).
2017-02-08	Simplify unsigned vector comparison using <_u operator.	Robert Norton

2017-02-05	command-line option to dump initial type environment	Peter Sewell

2017-02-05	Merge branch 'master' of bitbucket.org:Peter_Sewell/sail	Peter Sewell
	Conflicts: language/manual.pdf
2017-02-05	wib	Peter Sewell

2017-02-03	fix header dates in new file.	Robert Norton

2017-02-03	replace bit vector return types in getCapX functions with equivalent integer ↵	Robert Norton
	range types. This removes quite a few uses of unsigned() in cheri intsruction pseudocode. Could potentially take things furter.
2017-02-03	Now that 128-bit capabilities are supported we must be stricter about MIPS ↵	Robert Norton
	alignment
2017-02-03	fix headers	Peter Sewell

2017-02-03	licensing	Peter Sewell

2017-02-02	K,P debrief	Peter Sewell

2017-02-01	document coercions	Peter Sewell

2017-02-01	fix up uint type bounds	Kathy Gray

2017-01-31	Kathy, Peter: pp of initial type environment	Peter Sewell

2017-01-31	Merge branch 'master' of bitbucket.org:Peter_Sewell/sail	Peter Sewell

2017-01-31	Round up to multiple of 4 when computing E (CHERI does this to improve ↵	Robert Norton
	frequency).
2017-01-30	switch to github ott	Peter Sewell

2017-01-30	remove "rm *.tex" from language/Makefile "make clean"	Peter Sewell