Ubuntu

“confluence” 0.10.6-7build2 source package in Ubuntu

Changelog

confluence (0.10.6-7build2) oneiric; urgency=low

  * Rebuild to pick up armel ocaml fixes.
 -- Adam Conrad <email address hidden>   Fri, 19 Aug 2011 13:09:15 -0600

Upload details

Uploaded by:
Adam Conrad on 2011-08-19
Uploaded to:
Oneiric
Original maintainer:
Debian OCaml Maintainers
Component:
universe
Architectures:
any
Section:
electronics
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Saucy release on 2013-04-25 universe electronics
Raring release on 2012-10-18 universe electronics
Quantal release on 2012-04-26 universe electronics
Precise release on 2011-10-13 universe electronics
Oneiric release on 2011-08-19 universe electronics

Downloads

File Size MD5 Checksum
confluence_0.10.6.orig.tar.gz 116.0 KiB 5cd7420e78f0258ea33ccbb328ea67ee
confluence_0.10.6-7build2.debian.tar.gz 7.0 KiB eda412219375d81fc9fe646931b3b114
confluence_0.10.6-7build2.dsc 1.5 KiB 4d6b601dcb779f3a0176732e3b527477

Available diffs

Binary packages built by this source

confluence: 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.