Пакет: sail-ocaml (0.19.1+dfsg5-1 и другие)

Ссылки для sail-ocaml

Ресурсы Debian:

Исходный код sail-ocaml:

Сопровождающие:

Внешние ресурсы:

Сайт [github.com]

Подобные пакеты:

language describes the instruction semantics of processors

Sail is a language for describing the instruction-set architecture (ISA) semantics of processors. Sail aims to provide a engineer-friendly, vendor-pseudocode-like language for describing instruction semantics. It is essentially a first-order imperative language, but with lightweight dependent typing for numeric types and bitvector lengths, which are automatically checked using Z3. It has been used for several papers, available from http://www.cl.cam.ac.uk/~pes20/sail/

Tools and OCaml support files for the Sail language.

Другие пакеты, относящиеся к sail-ocaml

зависимости

рекомендации

предложения

enhances

dep: libc6 (>= 2.38)

библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb
dep: libgmp10 (>= 2:6.3.0+dfsg)

библиотека для работы с числами произвольной точности
dep: libsail-ocaml-dev (= 0.19.1+dfsg5-1+b2) [не amd64]

language describes the instruction semantics of processors

dep: libsail-ocaml-dev (= 0.19.1+dfsg5-1+b3) [amd64]

sug: ocaml-findlib

management tool for OCaml libraries

Загрузка sail-ocaml

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	0.19.1+dfsg5-1+b3	3 979,8 Кб	18 257,0 Кб	[список файлов]
arm64	0.19.1+dfsg5-1+b2	4 462,1 Кб	21 293,0 Кб	[список файлов]
ppc64el	0.19.1+dfsg5-1+b2	3 982,0 Кб	19 693,0 Кб	[список файлов]
riscv64	0.19.1+dfsg5-1+b2	4 063,7 Кб	19 869,0 Кб	[список файлов]
s390x	0.19.1+dfsg5-1+b2	4 010,7 Кб	20 941,0 Кб	[список файлов]