sail/aarch64_small, branch sail2 Formal specification language for ISAs Fix BLR 2020-11-25T16:21:04+00:00 Shaked Flur 2020-11-25T16:21:04+00:00 1c425ffde61d7dafa989a9c53df0eba6c0672248 Reorder the read and write of registers to allow MP+dmb.sy+blr-addr. 
Reorder the read and write of registers to allow MP+dmb.sy+blr-addr.
Make WFE, SEV and SEVL effectively NOPs 2020-11-25T16:17:20+00:00 Shaked Flur 2020-11-25T16:17:20+00:00 294cd644532560a080d3ca527043b47dd97115ad 






add -coq_alt_modules option to override the default imported modules
2019-08-20T08:49:39+00:00

pes20

2019-08-20T08:49:39+00:00

e415240e8811e12057b06155aa38b2bb39503352












Merge branch 'sail2' into separate_bv
2019-08-01T13:42:56+00:00

Alasdair Armstrong

2019-08-01T13:42:56+00:00

8f9aa39623699f5b50f7abf6dc3c124062542b7e












Add a feature flag for barrier type change
2019-07-18T17:00:14+00:00

Alasdair Armstrong

2019-07-18T16:57:42+00:00

df325dfefda5d7ffbfd3870c2af0378cb3862e07

Fix SMT mem_builtin test case





Fix SMT mem_builtin test case







Update aarch64_small to build with new barriers
2019-07-18T15:54:52+00:00

Alasdair Armstrong

2019-07-18T15:54:52+00:00

a5a6913a110746463e5ca3e5322460617e2eb113

Make sure barrier changes don't affect other models for now





Make sure barrier changes don't affect other models for now







Support DMB/DSB domains
2019-07-18T09:13:10+00:00

Shaked Flur

2019-07-18T09:13:10+00:00

1bb77b31f84946f036c0b7e37245809bbdb82def












Fix all remaining tests for this branch
2019-07-16T21:12:42+00:00

Alasdair

2019-07-16T21:12:42+00:00

92f50f2564834fcbeda250337c3acce571f7d6f0












Rules and supporting files for building aarch64_small monomorphised Isabelle
2019-06-24T16:45:21+00:00

Brian Campbell

2019-06-24T16:45:21+00:00

379447a8934f6dcdd7f70b589e765e5588d4dbc6












Tweak two aarch64_small definitions to help monomorphisation
2019-06-20T11:22:26+00:00

Brian Campbell

2019-06-20T11:22:04+00:00

055d5b61c63b61270cf74c4e2b5af5f66c91e387