sail/test/ocaml/reg_alias/expect, branch sail2 Formal specification language for ISAs Additional tests for ocaml backend 2018-01-04T19:16:29+00:00 Alasdair Armstrong 2018-01-04T19:16:29+00:00 8147deaf0bccdbb19d4c020583fc8a5c7b6197e8