[ forky ]
[ sid ]
[ Source: sail-ocaml ]
Package: sail-ocaml (0.19.1+dfsg5-1 and others)
Links for sail-ocaml
Debian Resources:
Download Source Package sail-ocaml:
- [sail-ocaml_0.19.1+dfsg5-1.dsc]
- [sail-ocaml_0.19.1+dfsg5.orig.tar.xz]
- [sail-ocaml_0.19.1+dfsg5-1.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Sprog beskriver instruktionssemantikken for processorer
Sail er et sprog til at beskrive instruction-set architecture-semantikken (ISA) for processorer. Sail forsøger at tilbyde et ingeniørvenligt, leverandør-pseudokode-lignende sprog til at beskrive instruktionssemantik. Det er grundlæggende et første orden imperativt sprog, men med simpel afhængig indtastning for numeriske typer og bitvektor længder, der automatisk tjekkes via Z3. Er blevet brugt i flere artikler, tilgængelige fra <http://www.cl.cam.ac.uk/~pes20/sail/>.
Værktøjer og OCaml-understøttelsesfiler for sproget Sail.
Other Packages Related to sail-ocaml
|
|
|
|
-
- dep: libc6 (>= 2.38)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Bibliotek til multipræcision i aritmetik
-
- dep: libsail-ocaml-dev (= 0.19.1+dfsg5-1+b2) [not amd64]
- language describes the instruction semantics of processors
- dep: libsail-ocaml-dev (= 0.19.1+dfsg5-1+b3) [amd64]
-
- sug: ocaml-findlib
- Håndteringsværktøj for OCaml-biblioteker
Download sail-ocaml
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 0.19.1+dfsg5-1+b3 | 3,979.8 kB | 18,257.0 kB | [list of files] |
| arm64 | 0.19.1+dfsg5-1+b2 | 4,462.1 kB | 21,293.0 kB | [list of files] |
| ppc64el | 0.19.1+dfsg5-1+b2 | 3,982.0 kB | 19,693.0 kB | [list of files] |
| riscv64 | 0.19.1+dfsg5-1+b2 | 4,063.7 kB | 19,869.0 kB | [list of files] |
| s390x | 0.19.1+dfsg5-1+b2 | 4,010.7 kB | 20,941.0 kB | [list of files] |