The chalmers-lava2000 package

[Tags:bsd3, library]

For more info, see the tutorial: http://projects.haskell.org/chalmers-lava2000/Doc/tutorial.pdf


[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 array, base (>=3 && <5), process (==1.*), random [details]
License BSD3
Copyright 2008-2016 Koen Claessen, Emil Axelsson 2000-2008 Koen Claessen
Author Koen Claessen <koen@chalmers.se>
Maintainer Emil Axelsson <emax@chalmers.se>
Stability Unknown
Category Language, Hardware
Home page http://projects.haskell.org/chalmers-lava2000/Doc/tutorial.pdf
Source repository head: darcs get http://projects.haskell.org/chalmers-lava2000/
Uploaded Thu May 19 11:47:12 UTC 2016 by EmilAxelsson
Distributions Fedora:1.4.1, NixOS:1.6.1
Downloads 2257 total (49 in the last 30 days)
Votes
0 []
Status Docs pending
Build status unknown [no reports yet]

Modules

  • Lava
    • Lava.Arithmetic
    • Lava.Captain
    • Lava.Combinational
    • Lava.ConstructiveAnalysis
    • Lava.Eprover
    • Lava.Error
    • Lava.Fixit
    • Lava.Generic
    • Lava.HeerHugo
    • Lava.IOBuffering
    • Lava.Isc
    • Lava.LavaDir
    • Lava.LavaRandom
    • Lava.Limmat
    • Lava.Minisat
    • Lava.Modoc
    • Lava.MyST
    • Lava.Netlist
    • Lava.Operators
    • Lava.Patterns
    • Lava.Property
    • Lava.Ref
    • Lava.Retime
    • Lava.Satnik
    • Lava.Satzoo
    • Lava.Sequent
    • Lava.Sequential
    • Lava.SequentialCircuits
    • Lava.SequentialConstructive
    • Lava.Signal
    • Lava.SignalTry
    • Lava.Smv
    • Lava.Stable
    • Lava.Table
    • Lava.Test
    • Lava.Verification
    • Lava.Vhdl
    • Lava.Vis
    • Lava.Zchaff

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for chalmers-lava2000

Readme for chalmers-lava2000-1.6.1

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