sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2016-10-10	changed the way registers/register fields work, fixes, nicer names for new ↵	Christopher Pulte
	letbound variables
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-09-30	fixes, update isntruction_analysis for NIAs and DIA	Christopher Pulte

2016-09-25	nicer lem output: no more unecessary 'unit' returns if if-expressions, ↵	Christopher Pulte
	for-loops or case-expressions also return updated variables
2016-09-23	sail-to-lem progress	Christopher Pulte

2016-09-21	fixes	Christopher Pulte

2016-09-19	sail-to-lem progress	Christopher Pulte

2016-09-07	push some lem pp changes	Christopher Pulte

2015-12-21	fixes, pp progress	Christopher

2015-12-15	better location information	Christopher

2015-12-03	added prompt.lem for connecting to concurrency model and ↵	Christopher Pulte
	{power,armv8}_extras.lem; fixes