sail/lib/ocaml_rts, branch sail2 Formal specification language for ISAs Modified ocaml backend to use ocamlfind for linksem and lem 2018-01-18T18:31:26+00:00 Alasdair Armstrong 2018-01-18T18:16:45+00:00 0fa42d315e20f819af93c2a822ab1bc032dc4535 Fixed test cases for ocaml backend and interpreter 
Fixed test cases for ocaml backend and interpreter
An experimental version of sail without bitvector start indexes. 2017-12-14T20:09:04+00:00 Alasdair Armstrong 2017-12-14T20:09:04+00:00 b3d2aa1f4d4b60e0a5a9c05127c81504e6b9a0c4 Works with the vector branch of asl_parser 
Works with the vector branch of asl_parser
Cleanup code by fixing compiler warnings, and fix ocaml compilation 2017-12-13T21:07:18+00:00 Alasdair Armstrong 2017-12-13T20:38:24+00:00 e636947dd964eb849cfeff528fe43a85fee7583a Add the ast.sed script we need to build sail. Currently we just need this to fix up the locations in the AST but it will be removed once we can share locations between ocaml and lem. 
Add the ast.sed script we need to build sail. Currently we just need
this to fix up the locations in the AST but it will be removed once we
can share locations between ocaml and lem.
Small update to trivial sizeof rewrites so we can handle all cases in 2017-11-28T18:48:19+00:00 Alasdair Armstrong 2017-11-28T18:48:19+00:00 0952ebb7800fe1c396f6916c33bbc19a3b895308 aarch64 vector instructions. There's maybe a better more general way to do this but I'm not sure what that would be. 
aarch64 vector instructions.

There's maybe a better more general way to do this but I'm not sure
what that would be.
Compile assertions into OCaml 2017-11-27T16:33:43+00:00 Alasdair Armstrong 2017-11-27T16:33:43+00:00 4e814bba48f8274874010f282c431d7d65e5bb0e and_bool and or_bool now are treated specially in the ocaml backend, so that they have the correct short-circuiting behaviour. This is required so that assertions don't fail for the ARM spec for predicates that shouldn't be tested in certain circumstances, for example things like: IsAArch32() && AArch32_specific_predicate Also fixed an issue in the sail library for ocaml where greater than or equal to was being mapped to greater than. 
and_bool and or_bool now are treated specially in the ocaml backend,
so that they have the correct short-circuiting behaviour. This is
required so that assertions don't fail for the ARM spec for predicates
that shouldn't be tested in certain circumstances, for example things like:

IsAArch32() && AArch32_specific_predicate

Also fixed an issue in the sail library for ocaml where greater than
or equal to was being mapped to greater than.
Expose entry point in elf_loader for Sail model 2017-11-21T17:31:17+00:00 Alasdair Armstrong 2017-11-21T17:31:17+00:00 0437f97dbcf4e8a1a6e55ccb249e754dbd565e00 






Additional test case for OCaml backend
2017-11-15T19:02:31+00:00

Alasdair Armstrong

2017-11-15T19:02:31+00:00

17488b1fdd35983f41c80282997c0ab820c9a23d












Simplify flow typing code in typechecker
2017-11-15T18:50:19+00:00

Alasdair Armstrong

2017-11-15T18:50:19+00:00

82d5f420cbade62db7a1ae233a093122cddc5ae3












Fixed ocaml backend so it correctly compiles registers passed by name.
2017-11-10T18:39:51+00:00

Alasdair Armstrong

2017-11-10T18:39:51+00:00

d7ee7d7392d7d4f058cce2e12b7d0336dddb4e17

Added a test case for this behavior





Added a test case for this behavior







Merge branch 'experiments' of https://bitbucket.org/Peter_Sewell/sail into experiments
2017-11-08T15:08:18+00:00

Alasdair Armstrong

2017-11-08T15:08:18+00:00

275ded17e9d0824a932fe23607fe4f7d7b1da62f