Paquet : sail-ocaml (0.19.1+dfsg5-1 et autres)

Liens pour sail-ocaml

Ressources Debian :

Télécharger le paquet source sail-ocaml :

Responsables :

Ressources externes :

Page d'accueil [github.com]

Paquets similaires :

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.

Autres paquets associés à sail-ocaml

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.38)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libgmp10 (>= 2:6.3.0+dfsg)

Bibliothèque arithmétique à multi-précision
dep: libsail-ocaml-dev (= 0.19.1+dfsg5-1+b4) [non 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

Télécharger sail-ocaml

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	0.19.1+dfsg5-1+b5	3 979,0 ko	18 257,0 ko	[liste des fichiers]
arm64	0.19.1+dfsg5-1+b4	4 453,0 ko	21 229,0 ko	[liste des fichiers]
ppc64el	0.19.1+dfsg5-1+b4	3 982,0 ko	19 693,0 ko	[liste des fichiers]
riscv64	0.19.1+dfsg5-1+b4	4 076,4 ko	19 869,0 ko	[liste des fichiers]
s390x	0.19.1+dfsg5-1+b4	4 030,4 ko	20 941,0 ko	[liste des fichiers]