sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2016-03-08	Start task of setting up tagged memory in sequential interpreter	Kathy Gray

2015-06-18	add endian flag to memory printing	Kathy Gray

2015-03-15	Many changes:	Kathy Gray
	Split out specification specific memory and external functions Reduce the presence of big_int Reduce the use of inc direction, instead using a default from the spec. Still a few places need to be parameterised over direction Also some bug fixes exposed by above and running ARM second instruction
2014-11-23	fix logfile printing	Peter Sewell

2014-11-23	new printing code	Peter Sewell

2014-11-23	wib	Peter Sewell

2014-11-22	Changing interface in step with Peter and ppcmem changes	Kathy Gray

2014-11-17	wib	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-06	Refactor printing to display the contents the [_] and to better format bit ↵	Kathy Gray
	vectors
2014-11-01	extend interface	Peter Sewell

2014-10-27	Add printing for instruction form	Kathy Gray

2014-10-22	Update printing for testing, fix some bugs found along the way	Kathy Gray

2014-10-20	Update the printing interface for ppcmem as opposed to run_model functionality	Kathy Gray

2014-10-20	Separate out printing facility from model driver into printing_functions ↵	Kathy Gray
	interface