.cat files in isla-cat:
| License | Files | From |
|---|---|---|
| CeCILL-B | isla-cat/catlib/cos.cat | herdtools |
| CeCILL-B | isla-cat/catlib/stdlib.cat | herdtools |
| CeCILL-B | isla-cat/tests/aarch64.cat | herdtools |
| CeCILL-B | isla-cat/tests/ppc.cat | herdtools |
| CeCILL-B | isla-cat/tests/riscv-defs.cat | herdtools |
| CeCILL-B | isla-cat/tests/riscv.cat | herdtools |
| CeCILL-B | isla-cat/tests/x86tso.cat | herdtools |
| BSD 3-Clause | isla-cat/tests/aarch64.cat | ARM |
| BSD 3-Clause | isla-cat/tests/aarch64fences.cat | ARM |
The isla-litmus (optional) utility is derived from RMEM and herdtools:
| License | Files | From |
|---|---|---|
| CeCILL-B | isla-litmus/herd/*.ml | herdtools |
| LGPL | isla-litmus/*.ml | RMEM |
The web interface contains MIT licensed javascript:
| License | Files | From |
|---|---|---|
| MIT | web/client/src/js/panzoom.js | panzoom |
| MIT | web/client/src/js/ast.js | codemirror |
| MIT | web/client/src/js/gas.js | codemirror |
| MIT | web/client/src/js/ocaml.js | codemirror |
| MIT | web/client/src/js/herd.js | codemirror |
| MIT | web/client/src/js/toml.js | codemirror |
| MIT | web/client/src/js/placeholder.js | codemirror |
| MIT | web/client/src/css/goldenlayout-*.css | goldenlayout |
| MIT | web/client/src/css/codemirror.css | codemirror |
| MIT | web/client/src/css/midnight.css | codemirror |
These models provided by default on the web interface:
| License | Files | From |
|---|---|---|
| BSD 3-Clause | web/client/dist/aarch64.cat | ARM |
| CeCILL-B | web/client/dist/riscv.cat | herdtools |