sail/test/ocaml/bitfield/expect, branch sail2 Formal specification language for ISAs Create an update_field function for each field in a bitfield definition 2018-02-21T14:48:36+00:00 Alasdair Armstrong 2018-02-21T14:47:37+00:00 0c9960e4efb510bea03906a528ac4cf57263dbf5 






Ocaml semantics can now run aarch64 hello world example using octapod
2018-01-11T20:42:07+00:00

Alasdair Armstrong

2018-01-08T16:59:27+00:00

f12a3b5ea9d541163f277ad5e40a005b8b955512

New testcase for bitfield syntax

Updated to work with latest lem and linksem





New testcase for bitfield syntax

Updated to work with latest lem and linksem