sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2014-11-23	Fill in some of the basic coercions	Kathy Gray

2014-11-23	clean up interp inter	Kathy Gray

2014-11-23	more coercions	Peter Sewell

2014-11-23	OCaml stubs for coercions and _to_istate OCaml	Peter Sewell

2014-11-23	wib (comment out to typecheck the rest...)	Peter Sewell

2014-11-23	fight with interface/impl mismatch. lose.	Peter Sewell

2014-11-23	make interface build again, oops	Peter Sewell

2014-11-23	Merge commit 'bff8bd5'	Peter Sewell

2014-11-23	some coercions	Peter Sewell

2014-11-23	update instruction/istate decoding.	Kathy Gray
	Use register size. Printing again doesn't compile
2014-11-23	wib	Peter Sewell

2014-11-22	Printing functions compiles again	Kathy Gray

2014-11-22	interp_interface happy again. printing functions now doesn't compile	Kathy Gray

2014-11-22	Add size of register to register for making appropriate unknown register_values	Kathy Gray

2014-11-22	sorry, interp_interface didn't build. now it does	Peter Sewell

2014-11-22	move missing pieces from machineDefValueTypes into interp_interface	Peter Sewell

2014-11-22	make interpreter now compiles	Kathy Gray
	Printing functions are not complete and may cause exceptions still on unknown or undef bits. run_interp_model doesn't work and thus make power doesn't work.
2014-11-22	Changing interface in step with Peter and ppcmem changes	Kathy Gray

2014-11-22	signed multiplication and quot	Kathy Gray

2014-11-22	add new function for overflow arithmetic instructions	Kathy Gray

2014-11-21	Fix up printing, try to make .lem files smaller (at least a tiny bit)	Kathy Gray

2014-11-21	Support signed and unsigned arithmetic	Kathy Gray

2014-11-21	Print out default values for underspecified vectors instead of leaving them ↵	Kathy Gray
	and letting them turn into undefineds
2014-11-21	Fix bugs now documented in ppcmem notes	Kathy Gray

2014-11-20	abstract previous	Kathy Gray

2014-11-20	Use better type information for register inspections	Kathy Gray

2014-11-20	Handle constructors with zero parameters better.	Kathy Gray

2014-11-20	Set vector start for more register writes	Kathy Gray

2014-11-20	set more vector starts before sending them off to register writes	Kathy Gray

2014-11-20	look for sub matches of registers on exhaustive mode	Kathy Gray

2014-11-19	more equality instance definitions	Kathy Gray

2014-11-19	Be 32-bit friendly	Kathy Gray

2014-11-19	add value compare functions	Kathy Gray

2014-11-19	add byte_list_of_integer	Kathy Gray

2014-11-19	print sparse vectors	Kathy Gray

2014-11-19	Correct off-by-one bug in type checking vector slices	Kathy Gray
	Convert sparse vectors into full-fledged vectors more frequently and on export to memory system
2014-11-18	fix bad type annotation in interp_interface	Peter Sewell

2014-11-18	wib	Kathy Gray

2014-11-18	Add missing cases to printing_functions printing of interp_values	Kathy Gray

2014-11-18	Actually expect barriers to happen	Kathy Gray

2014-11-18	Fix countLeadingZeroes typo (diff in number of es present)	Kathy Gray

2014-11-18	Fix various pattern match bugs; add a few functions	Kathy Gray

2014-11-17	Use red printing for the value in the hole from Printing_functions instead ↵	Kathy Gray
	of mangling the ascii manually
2014-11-17	Make env_union intelligently join two environments instead of just list append.	Kathy Gray

2014-11-17	wib	Peter Sewell

2014-11-16	Add some missing functions	Kathy Gray

2014-11-16	Add overflow checking arithmetic operations. Fix various bugs that this exposed	Kathy Gray
	Of note: Interp_lib.to_num now takes an Unsigned or a Signed constructor, rather than a boolean
2014-11-13	numbers got to big for show, write my own version	Kathy Gray

2014-11-13	Catch more cases of registers for extern_reg	Kathy Gray

2014-11-13	Set start index on bits in extern_value	Kathy Gray