diff options
| author | Alasdair Armstrong | 2018-02-05 23:00:58 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-02-05 23:00:58 +0000 |
| commit | fc5ad2e3930b06a8bd382639361b31bd7407f395 (patch) | |
| tree | 9c4b5064cde7fa7fa0027c090e6b654549fbdb63 /aarch64/README | |
| parent | 17265a95407c62e78bb850c0e6ffb0876c85c5cb (diff) | |
| parent | bdfcb327ccf23982ae74549fc56ec3451c493ed5 (diff) | |
Merge changes to type_check.ml
Diffstat (limited to 'aarch64/README')
| -rw-r--r-- | aarch64/README | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/aarch64/README b/aarch64/README index 452aff0f..947db614 100644 --- a/aarch64/README +++ b/aarch64/README @@ -1,4 +1,14 @@ This folder contains an automatically generated ARM v8.3 architecture specification. This specification is based on ARM's publically realeased machine-readable XML specification available at -https://github.com/meriac/archex +https://github.com/meriac/archex. See that github repository for +licensing information. + +Generated parts of the specification are contained within the +following subdirectories: + +no_vector/ - a version of the specification without vector +instructions + +duopod/ - a minimal slice of the specification with only add-sub +immediate and some memory instructions
\ No newline at end of file |