The chalmers-lava2000 package

[Tags: bsd3, library]

Hardware description library


[Skip to ReadMe]

Properties

Versions1.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
Change logNone available
Dependenciesbase (>=3 && <5), haskell98 (==1.*), process (==1.*) [details]
LicenseBSD3
Copyright(c) 2008. Koen Claessen <koen@chalmers.se>
AuthorKoen Claessen <koen@chalmers.se>
MaintainerEmil Axelsson <emax@chalmers.se>
CategoryLanguage, Hardware
UploadedTue Apr 26 16:25:09 UTC 2011 by EmilAxelsson
DistributionsFedora:1.4.1, NixOS:1.5
Downloads1547 total (70 in last 30 days)
Votes
0 []
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for chalmers-lava2000-1.1.2

To get verification working (on Linux), set the variables Lava2000_SMV and Lava2000_Satzoo to point to the binaries of the respective provers.

Also make sure that the scripts smv.wrapper and satzoo.wrapper are executable. These scripts are possibly located in

  $HOME/.cabal/share/chalmers-lava2000-1.1.0/Scripts