Paket: confluence (0.10.6-6 und andere)

Links für confluence

Debian-Ressourcen:

Quellcode-Paket confluence herunterladen:

Betreuer:

Debian OCaml Maintainers (QS-Seite, E-Mail-Archiv)
Ralf Treinen (QS-Seite)
Remi Vanicat (QS-Seite)
Stefano Zacchiroli (QS-Seite)
Samuel Mimram (QS-Seite)
Sylvain Le Gall (QS-Seite)
Mike Furr (QS-Seite)

Externe Ressourcen:

Homepage [www.confluent.org]

language for synchronous reactive hardware system design

From the upstream website:

A Confluence program can generate digital logic for an FPGA or ASIC platform, or C code for hard real-time software.

Confluence combines the component-based methodologies of Verilog and VHDL with the expressiveness of higher order functional programming.

In comparison to Verilog, VHDL, and C, systems designed in Confluence result in 2X to 10X code reduction, making the source easier to manage and reuse. And because Confluence relies on a correct-by-construction compiler, bugs are reduced--some are prevented altogether--thus reducing the overall verification effort.

Markierungen: Software-Entwicklung: Compiler, C-Entwicklung, Maschinencode, Feld: Elektronik, Implementiert in: OCaml, Benutzer-Schnittstellen: Kommandozeile, : qa::rfa, Rolle: Programm, Zweck: Hilfswerkzeug, Arbeitet mit: Quellcode

Andere Pakete mit Bezug zu confluence

hängt ab von

empfiehlt

schlägt vor

dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]

GNU C-Bibliothek: Dynamische Bibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc0.1-udeb
dep: libc0.3 (>= 2.9) [hurd-i386]

GNU C-Bibliothek: Dynamische Bibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc0.3-udeb
dep: libc6 (>= 2.3) [amd64, i386]

GNU C-Bibliothek: Dynamische Bibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

dep: libc6 (>= 2.4) [powerpc]

dep: libc6 (>= 2.6) [sparc]
dep: ocaml-base-nox-3.11.0 [m68k]

Paket nicht verfügbar
dep: ocaml-base-nox-3.11.1 [alpha, armel, avr32, hppa, ia64, mips, mipsel, s390]

virtuelles Paket, bereitgestellt durch ocaml-base-nox

confluence herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha	0.10.6-6+b1	239,2 kB	2880 kB	[Liste der Dateien]
amd64	0.10.6-6	547,4 kB	3592 kB	[Liste der Dateien]
armel	0.10.6-6+b1	234,0 kB	2880 kB	[Liste der Dateien]
avr32 (inoffizielle Portierung)	0.10.6-6	234,0 kB	2880 kB	[Liste der Dateien]
hppa	0.10.6-6+b1	238,7 kB	2880 kB	[Liste der Dateien]
hurd-i386	0.10.6-6	462,4 kB	3236 kB	[Liste der Dateien]
i386	0.10.6-6	466,9 kB	3236 kB	[Liste der Dateien]
ia64	0.10.6-6+b1	233,9 kB	2880 kB	[Liste der Dateien]
kfreebsd-amd64	0.10.6-6+b1	543,6 kB	3462 kB	[Liste der Dateien]
kfreebsd-i386	0.10.6-6	462,7 kB	3110 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	0.10.6-6	237,7 kB	2880 kB	[Liste der Dateien]
mips	0.10.6-6+b1	233,9 kB	2880 kB	[Liste der Dateien]
mipsel	0.10.6-6+b1	233,9 kB	2880 kB	[Liste der Dateien]
powerpc	0.10.6-6	513,7 kB	3360 kB	[Liste der Dateien]
s390	0.10.6-6+b1	233,9 kB	2880 kB	[Liste der Dateien]
sparc	0.10.6-6	509,8 kB	3348 kB	[Liste der Dateien]