[  sarge  ] [  etch  ] [  etch-m68k  ] [  lenny  ] [  sid  ]
[ Source: confluence  ]

Paketti: confluence (0.10.6-5 ja muut)

language for synchronous reactive hardware system design

From the upstream website <http://www.confluent.org>:

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.

Tagit: Software Development: Compiler, C Development, Machine Code, Field: Elektroniikka, Implemented in: OCaml, User Interface: Command Line, Role: Program, Scope: Utility, Works with: Source Code

Muut pakettiin confluence liittyvät paketit

  • depends
  • recommends
  • suggests
  • dep: libc0.1 (>= 2.7-1) [kfreebsd-i386]
    GNU-C-kirjasto: jaetut kirjastot
    myös näennäispaketti, jonka toteuttaa libc0.1-udeb
  • dep: libc0.3 (>= 2.6.1-1) [hurd-i386]
    GNU-C-kirjasto: jaetut kirjastot
    myös näennäispaketti, jonka toteuttaa libc0.3-udeb
  • dep: libc6 (>= 2.7-1) [amd64, i386, powerpc, sparc]
    GNU-C-kirjasto: jaetut kirjastot
    myös näennäispaketti, jonka toteuttaa libc6-udeb
  • dep: ocaml-base-nox-3.10.2 [ei amd64, hurd-i386, i386, kfreebsd-i386, powerpc, sparc]
    näennäispaketti, jonka toteuttaa ocaml-base-nox

Imuroi confluence

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
alpha 0.10.6-5+b2 230.9 kt2828 kt [tiedostoluettelo]
amd64 0.10.6-5+b2 482.5 kt3376 kt [tiedostoluettelo]
arm 0.10.6-5+b2 226.9 kt2828 kt [tiedostoluettelo]
armel 0.10.6-5+b2 232.6 kt2828 kt [tiedostoluettelo]
hppa 0.10.6-5+b2 229.1 kt2828 kt [tiedostoluettelo]
hurd-i386 0.10.6-5 439.9 kt3168 kt [tiedostoluettelo]
i386 0.10.6-5+b2 437.7 kt3068 kt [tiedostoluettelo]
ia64 0.10.6-5+b2 226.8 kt2828 kt [tiedostoluettelo]
kfreebsd-amd64 (epävirallinen siirros) 0.10.6-5+b2 227.0 kt2692 kt [tiedostoluettelo]
kfreebsd-i386 (epävirallinen siirros) 0.10.6-5+b2 438.1 kt3044 kt [tiedostoluettelo]
m68k 0.10.6-5+b2 229.8 kt2828 kt [tiedostoluettelo]
mips 0.10.6-5+b2 226.8 kt2828 kt [tiedostoluettelo]
mipsel 0.10.6-5+b2 226.9 kt2828 kt [tiedostoluettelo]
powerpc 0.10.6-5+b2 487.8 kt3280 kt [tiedostoluettelo]
s390 0.10.6-5+b2 226.8 kt2828 kt [tiedostoluettelo]
sparc 0.10.6-5+b2 483.0 kt3276 kt [tiedostoluettelo]