sail/test/ocaml/loop/expect, branch sail2 Formal specification language for ISAs Improvements to menhir pretty printer and ocaml backend 2017-10-09T18:01:36+00:00 Alasdair Armstrong 2017-10-09T18:01:36+00:00 34d76d1234bfd3ecae1e3e39687d0d202c0fb02c Menhir pretty printer can now print enough sail to be useful with ASL parser Fixity declarations are now preserved in the AST Menhir parser now runs without the Pre-lexer Ocaml backend now supports variant typedefs, as the machinery to generate arbitrary instances of variant types has been added to the -undefined_gen flag 
Menhir pretty printer can now print enough sail to be useful with ASL parser

Fixity declarations are now preserved in the AST

Menhir parser now runs without the Pre-lexer

Ocaml backend now supports variant typedefs, as the machinery to
generate arbitrary instances of variant types has been added to the
-undefined_gen flag