The chalmers-lava2000 package

[ Tags: bsd3, hardware, language, library ] [ Propose Tags ]

Hardware description library


[Skip to Readme]

Properties

Versions 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 (==3.*), haskell98 (>=1 && <1.1), process (>=1 && <1.1) [details]
License BSD3
Copyright (c) 2008. Koen Claessen <koen@chalmers.se>
Author Koen Claessen <koen@chalmers.se>
Maintainer Emil Axelsson <emax@chalmers.se>
Category Language, Hardware
Home page http://www.cs.chalmers.se/~koen/Lava/
Uploaded Mon Dec 14 11:58:36 UTC 2009 by EmilAxelsson
Distributions Fedora:1.6.1, NixOS:1.6.1
Downloads 2791 total (54 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for chalmers-lava2000-1.1.0

[back to package description]
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