sail/aarch64_small/Makefile, branch sail2 Formal specification language for ISAs 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 






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












SMT: Rename some functions to make usage clearer
2019-06-06T17:02:09+00:00

Alasdair Armstrong

2019-06-06T17:01:40+00:00

cebf08acc9a278b1b9652a56bd0c506d2f6268f6












Fix aarch64_small makefile
2019-06-06T16:34:25+00:00

Alasdair Armstrong

2019-06-06T16:34:25+00:00

3d75ff3278a7c5bef12f2e788b025ca472869a70












Add an option to pre-compile the axiomatic model for SMT
2019-06-06T16:30:13+00:00

Alasdair Armstrong

2019-06-06T16:29:22+00:00

d225547fc49807961967181b8661a35fe4de8ed3












Make sure aarch64_small can generate Jib for SMT
2019-06-04T16:36:22+00:00

Alasdair Armstrong

2019-06-04T16:36:22+00:00

37c5fb51e9986917a791de73435e182549e21fca

Add a test case for this





Add a test case for this







aarch64_small: add to Makefile parts for RMEM
2019-05-13T15:07:38+00:00

Jon French

2019-05-13T15:07:38+00:00

99d3f4d6458704dad2bf6c31198def63a60fed94












Adds the DC and IC instructions to AArch64_small;
2019-03-08T16:02:02+00:00

Shaked Flur

2019-03-08T16:02:02+00:00

87ffe603e44e9be6f4109f6a9dd475df6dcfc489

Also, removes etc/regfp.sail and etc/regfp2.sail in favour of lib/regfp.sail





Also, removes etc/regfp.sail and etc/regfp2.sail in favour of lib/regfp.sail







more
2019-03-02T11:36:45+00:00

Christopher Pulte

2019-03-02T11:36:45+00:00

8e7138cded140de550cbb4d4f803d13d175b2d95












checking in in-progress translation of Shaked's handwritten sail1 ARM model to sail2
2019-02-12T10:25:15+00:00

Christopher Pulte

2019-02-12T10:25:15+00:00

b847a472a1f853d783d1af5f8eb033b97f33be5b