sail - Formal specification language for ISAs

Age	Commit message (Expand)	Author
2017-08-02	Add debugging option to dump AST after rewriting steps	Thomas Bauereiss
2017-07-27	Add cons patterns to pretty-printers	Thomas Bauereiss
2017-07-21	Everything moved to new typechecker	Alasdair Armstrong
2017-07-21	Switch to new typechecker (almost)	Thomas Bauereiss
2017-07-12	Add checks for variable identifiers in pattern subsumption	Thomas Bauereiss
2017-02-03	fix headers	Peter Sewell
2016-09-19	sail-to-lem progress	Christopher Pulte
2016-08-14	Start adding form for (a,b,c) := foo()	Kathy Gray
2016-07-23	Add a return exp form to Sail, supported in type checker and in interpreter.	Kathy Gray
2016-01-07	Add E_assert to basic rewriters	Kathy Gray
2015-11-05	some progress on lem backend: rewrite away mutable variable assignments, rewr...	Christopher Pulte
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 nor...	Christopher Pulte
2015-09-24	Beginning of expression rewriter for ocaml	Kathy Gray
2015-09-24	Parameterise the rewriter's for multiple different rewritings	Kathy Gray
2015-09-17	Type checker checking on case splits properly, and dependency transformations...	Kathy Gray
2015-02-13	Actually use new dependency information in generation of lem/etc.	Kathy Gray