sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2016-10-21	shallow embedding progress	Christopher Pulte

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-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-19	sail-to-lem progress	Christopher Pulte

2015-12-09	adapted for Kathy's lexp effect typing changes: register writes should be ↵	Christopher
	correct now, fixes, pp
2015-12-03	added prompt.lem for connecting to concurrency model and ↵	Christopher Pulte
	{power,armv8}_extras.lem; fixes
2015-11-20	no more unecessary variables from removing vector-concatenation pattern ↵	Christopher Pulte
	matches, reset variable name counter for each function clause, fixes
2015-11-19	fixes for cumulative effect anotations	Christopher Pulte

2015-11-13	fixes, more pp	Christopher Pulte

2015-11-10	rewriting fixes, syntactically correct lem syntax, number type errors remaining	Christopher Pulte

2015-11-06	progress on generating function for read/writing register fields	Christopher Pulte

2015-11-06	fixes	Christopher Pulte

2015-11-05	some progress on lem backend: rewrite away mutable variable assignments, ↵	Christopher Pulte
	rewrite for-loops, if/case-expressions to return updated variables
2015-10-28	progress on lem backend: auto-generate read_register and write_register ↵	Christopher Pulte
	functions, and state definition