Hackage :: [Package]

chalmers-lava2000: Hardware description library

[ bsd3, hardware, language, library ] [ Propose Tags ]
Versions [RSS] 1.0, 1.0.1, 1.0.2, 1.1.0, 1.1.1, 1.1.2, 1.2.0, 1.3, 1.4.1, 1.5, 1.5.1, 1.6, 1.6.1
Dependencies base, haskell98, process [details]
License BSD-3-Clause
Copyright (c) 2008. Koen Claessen <koen@chalmers.se>
Author Koen Claessen <koen@chalmers.se>
Maintainer Emil Axelsson <emax@chalmers.se>
Category Hardware
Home page http://www.cs.chalmers.se/~koen/Lava/
Uploaded by EmilAxelsson at 2008-08-20T15:06:04Z
Distributions
Reverse Dependencies 2 direct, 0 indirect [details]
Downloads 10194 total (35 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for chalmers-lava2000-1.0.1

[back to package description] 
To get verification working (on Linux), change the path

  /home/emax/Program/chalmers-lava2000/

in Development/Lava2000/LavaDir.hs to the appropriate path, and change the wrapper scripts in the Scripts/ directory to point to the correct binaries.