name: chalmers-lava2000
version: 1.0
synopsis: Hardware description library
description: Hardware description library
category: Hardware
license: BSD3
license-file: LICENSE
copyright: (c) 2008. Koen Claessen <koen@chalmers.se>
author: Koen Claessen <koen@chalmers.se>
maintainer: Emil Axelsson <emax@chalmers.se>
cabal-version: >= 1.2
build-type: Simple
tested-with: GHC ==6.8.3
data-files: README, INSTALL
extra-source-files: Vhdl/lava.vhd, Scripts/satzoo.wrapper, Scripts/smv.wrapper
library
exposed-modules:
Lava2000
Lava2000.Arithmetic
Lava2000.Captain
Lava2000.Combinational
Lava2000.ConstructiveAnalysis
Lava2000.Eprover
Lava2000.Error
Lava2000.Fixit
Lava2000.Generic
Lava2000.HeerHugo
Lava2000.IOBuffering
Lava2000.Isc
Lava2000.LavaDir
Lava2000.LavaRandom
Lava2000.Limmat
Lava2000.Modoc
Lava2000.MyST
Lava2000.Netlist
Lava2000.Operators
Lava2000.Patterns
Lava2000.Property
Lava2000.Ref
Lava2000.Retime
Lava2000.Satnik
Lava2000.Satzoo
Lava2000.Sequent
Lava2000.Sequential
Lava2000.SequentialCircuits
Lava2000.SequentialConstructive
Lava2000.Signal
Lava2000.SignalTry
Lava2000.Smv
Lava2000.Stable
Lava2000.Table
Lava2000.Test
Lava2000.Verification
Lava2000.Vhdl
Lava2000.Vis
Lava2000.Zchaff
build-Depends: base, haskell98, process
extensions: Rank2Types, ExistentialQuantification
ghc-options: -fno-warn-overlapping-patterns -fno-warn-missing-methods