@hackage chalmers-lava20001.6.1

Hardware description EDSL

Categories
- Hardware
- Language
License
BSD-3-Clause
Maintainer
Emil Axelsson <emax@chalmers.se>
Links
Versions
- 1.6.1 Thu, 19 May 2016
- 1.6 Fri, 6 Nov 2015
- 1.5.1 Fri, 23 Oct 2015
- 1.5 Thu, 9 Apr 2015
- 1.4.1 Thu, 19 Jun 2014
- 1.3 Thu, 20 Sep 2012

Installation
In your cabal file:
Dependencies (4)
- array
- base >=3 && <5
- process >=1 && <2
- random
Dependents (2)
@hackage/acme-everything, @hackage/Wired

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