Pakiet: sail-ocaml (0.19.1+dfsg5-1 i inne)

Odnośniki dla sail-ocaml

Zasoby systemu Debian:

Pobieranie pakietu źródłowego sail-ocaml:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Podobne pakiety:

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.

Inne pakiety związane z sail-ocaml

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.38)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libgmp10 (>= 2:6.3.0+dfsg)

Biblioteka działań arytmetycznych z dużą dokładnością
dep: libsail-ocaml-dev (= 0.19.1+dfsg5-1+b4) [nie amd64]

language describes the instruction semantics of processors

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

sug: ocaml-findlib

Narzędzie zarządzające bibliotekami OCaml

Pobieranie sail-ocaml

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	0.19.1+dfsg5-1+b5	3 979,0 KiB	18 257,0 KiB	[lista plików]
arm64	0.19.1+dfsg5-1+b4	4 453,0 KiB	21 229,0 KiB	[lista plików]
ppc64el	0.19.1+dfsg5-1+b4	3 982,0 KiB	19 693,0 KiB	[lista plików]
riscv64	0.19.1+dfsg5-1+b4	4 076,4 KiB	19 869,0 KiB	[lista plików]
s390x	0.19.1+dfsg5-1+b4	4 030,4 KiB	20 941,0 KiB	[lista plików]