sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
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

2014-11-12	; -> ,	Peter Sewell

2014-11-12	Add a function to print local variables and values, local_variables_to_string	Kathy Gray
	will format them as one long ; separated line
2014-11-12	Stop overzealously looking for constructors, only when the type suggests to	Kathy Gray

2014-11-12	Notice when a pattern Id is referencing a constructor and either turn the ↵	Kathy Gray
	pattern into a constructor function call of () for the interpreter (when correct) or raise an error that the identifier is already a constructor that requires parameters.
2014-11-11	remove [ and ] from values in the hole	Kathy Gray

2014-11-10	Print contents of the [_] hole when it's available.	Kathy Gray
	Also correct makefile typo
2014-11-08	make pp of Bitvector values of widths 1,2,4, or 8 bytes be in hex (but ↵	Peter Sewell
	including start bit-index)
2014-11-07	Add integer_of_byte_list : list word8 -> integer	Kathy Gray

2014-11-07	stop using LEMLIB in makefile, in case that's interfering with lem library ↵	Kathy Gray
	placement, switch to LEMLIBOCAML
2014-11-07	typo	Kathy Gray

2014-11-07	more num_to_bits	Kathy Gray

2014-11-07	Put back old num_to_bits temporarily; add in a num_to_bits_correct that ↵	Kathy Gray
	treats the last argument as a big num
2014-11-07	Fix types in num_to_bits	Kathy Gray

2014-11-06	Refactor printing to display the contents the [_] and to better format bit ↵	Kathy Gray
	vectors
2014-11-05	Correct bug treating unsigned values as signed in arith operations	Kathy Gray

2014-11-05	Fix bug on decoding Sc	Kathy Gray

2014-11-05	add type class instantiations (required as reg_name currently contains big_ints)	Peter Sewell

2014-11-05	fix(?) a Big_int/int type error wrt trans_sail	Peter Sewell

2014-11-04	Merge branch 'master' of bitbucket.org:Peter_Sewell/l2	Peter Sewell

2014-11-04	proposed split of decode into decode-to-instruction and ↵	Peter Sewell
	instruction-to-instructionstate
2014-11-04	Read parts of a register, not always just the whole thing	Kathy Gray

2014-11-04	K,P debugging	Peter Sewell