sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-03-12	lem_interp: expose disable color flag in Printing_functions interface	Jon French

2017-08-16	lem_interp: remove broken val_to_string_internal functions, replace with ↵	Jon French
	string_of_value as used everywhere else
2017-07-24	move value type definitions to ott, and introduce new E_internal_value ast ↵	Jon French
	node for passing around encapsulated evaluated values; change Interp.to_exp to now just wrap values in this node
2016-11-27	make outcome_s contain the instruction state pretty print rather than the ↵	Christopher Pulte
	instruction state, factor out interpreter/shallow embedding value conversion
2016-10-17	updates for ppcmem printing	Kathy Gray

2016-10-14	Add printing of whole call stack	Kathy Gray

2016-10-06	move type definitions that both interpreter and shallow embedding use to ↵	Christopher Pulte
	sail_impl_base, add sail_impl_base.outcome, add interp_inter_imp auxiliary functions, make prompt use sail_impl_base.outcome
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