Пакет: 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 Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library
dep: libsail-ocaml-dev (= 0.19.1+dfsg5-1+b4) [не amd64]

language describes the instruction semantics of processors

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

sug: ocaml-findlib

management tool for OCaml libraries

Изтегляне на sail-ocaml

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	0.19.1+dfsg5-1+b5	3 979,0 кБ	18 257,0 кБ	[списък на файловете]
arm64	0.19.1+dfsg5-1+b4	4 453,0 кБ	21 229,0 кБ	[списък на файловете]
ppc64el	0.19.1+dfsg5-1+b4	3 982,0 кБ	19 693,0 кБ	[списък на файловете]
riscv64	0.19.1+dfsg5-1+b4	4 076,4 кБ	19 869,0 кБ	[списък на файловете]
s390x	0.19.1+dfsg5-1+b4	4 030,4 кБ	20 941,0 кБ	[списък на файловете]