sail - Formal specification language for ISAs

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

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