sail - Formal specification language for ISAs

Age	Commit message (Expand)	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 stri...	Jon French
2017-07-24	move value type definitions to ott, and introduce new E_internal_value ast no...	Jon French
2016-11-27	make outcome_s contain the instruction state pretty print rather than the ins...	Christopher Pulte
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 sail...	Christopher Pulte
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
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
2014-11-06	Refactor printing to display the contents the [_] and to better format bit ve...	Kathy Gray
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 int...	Kathy Gray