Subject: ANNOUNCE: Lava2000 on Hackage
Newsgroups: gmane.comp.lang.haskell.general
Date: 2008-08-20 15:40:43 GMT (45 weeks, 4 days, 5 hours and 59 minutes ago)
Hello, Lava2000 has been uploaded to Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/chalmers-lava2000 Lava is a structural hardware description library embedded in Haskell. This version of Lava focuses on verification, and connects to a number of different verification engines (although only Smv and Satzoo are maintained in this version). For documentation, see the tutorial included in the package. The code is located at http://www.cs.chalmers.se/~emax/darcs/chalmers-lava2000/ People who have other modified versions of the library are welcome to submit patches, so that we get a single version that can be used by everyone. A different version of Lava, with focus on FPGA generation, can be found on Satnam Sing's page: http://raintown.org/lava/ / Emil