sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2016-09-19	sail-to-lem progress	Christopher Pulte

2016-08-14	Start adding form for (a,b,c) := foo()	Kathy Gray
	Not working yet
2016-07-23	Add a return exp form to Sail, supported in type checker and in interpreter.	Kathy Gray
	TODO: add an event for a return so that rewriters can find and remove them as needed for OCaml and Lem
2016-01-07	Add E_assert to basic rewriters	Kathy Gray

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-26	Switch name set to name map to include type and expression data	Kathy Gray

2015-10-26	Add variable set to rewriters	Kathy Gray

2015-10-19	progress on lem backend	Christopher Pulte

2015-10-06	added the preliminary lem output option that for now uses ocaml pp	Christopher Pulte

2015-10-04	add find_updated_vars to support for-loops for lem or prover backend, add ↵	Christopher Pulte
	normalise_exp exp that should transform expressions into a form where they can be embedded into monadic lem or prover definitions. Both untested
2015-09-24	Beginning of expression rewriter for ocaml	Kathy Gray

2015-09-24	Parameterise the rewriter's for multiple different rewritings	Kathy Gray
	Add a new internal node for moving assignments into scope-preserving expressions that more explicitly define the scope
2015-09-17	Type checker checking on case splits properly, and dependency ↵	Kathy Gray
	transformations restored :)
2015-02-13	Actually use new dependency information in generation of lem/etc.	Kathy Gray
	Also stop rewriting code in the pretty printer, instead move it all into a new general rewriting pass