diff options
| -rw-r--r-- | LICENCE | 8 | ||||
| -rw-r--r-- | README.md | 13 |
2 files changed, 13 insertions, 8 deletions
@@ -1,12 +1,16 @@ Sail Sail and the Sail architecture models here, comprising all files and -directories except the PPrint library, are subject to the BSD -two-clause licence below. +directories except the PPrint library, and ASL-derived Sail code in +the aarch64 directory, are subject to the BSD two-clause licence +below. The PPrint library, in src/pprint, is subject to the CeCILL-C free software licence agreement therein. +The ASL derived parts of the ARMv8.3 specification in +aarch64/no_vector and aarch64/full are copyright ARM Ltd. + Copyright (c) 2013-2018 Kathyrn Gray Shaked Flur @@ -1,5 +1,5 @@ -Sail ISA specification language -=============================== +The Sail ISA specification language +=================================== Overview ======== @@ -29,7 +29,7 @@ some Sail specifications and related tools. * Generated Isabelle snapshots of the above ISAs in [snapshots/isabelle](snapshots/isabelle) * Documentation for generating Isabelle and working with the ISA specs - in Isabelle in [snapshots/isabelle/manual.pdf](snapshots/isabelle/manual.pdf) + in Isabelle in [snapshots/isabelle/Manual.pdf](snapshots/isabelle/Manual.pdf) * A simple emacs mode with syntax highlighting (in [editors/](editors/)) @@ -49,7 +49,7 @@ with all the required dependencies. OPAM Installation ================= -See the Sail [wiki +See the following Sail [wiki page](https://github.com/rems-project/sail/wiki/OPAMInstall) for how to get pre-built binaries of Sail using OPAM. @@ -70,8 +70,9 @@ other supporting files in lib/ and language/, is distributed under the with the exception of the library src/pprint, which is distributed under the CeCILL-C free software licence in src/pprint/LICENSE. -The ASL-derived ARMv8.3 model in aarch64/ is copyright ARM Ltd. See -https://github.com/meriac/archex +The generated parts of the ASL-derived ARMv8.3 model in aarch64/ are +copyright ARM Ltd. See https://github.com/meriac/archex, and the +[README file](aarch64/README) in that directory. The hand-written ARMv8 model, in arm/, is distributed under the 2-clause BSD licence in the headers of those files. |