name: chalmers-lava2000
version: 1.6
synopsis: Hardware description EDSL
description: For more info, see the tutorial: <http://projects.haskell.org/chalmers-lava2000/Doc/tutorial.pdf>
category: Language, Hardware
license: BSD3
license-file: LICENSE
copyright: 2008 Koen Claessen, 2008-2015 Emil Axelsson
author: Koen Claessen <koen@chalmers.se>
maintainer: Emil Axelsson <emax@chalmers.se>
homepage: http://projects.haskell.org/chalmers-lava2000/Doc/tutorial.pdf
cabal-version: >= 1.6
build-type: Simple
data-files: README, INSTALL, Doc/tutorial.pdf, Vhdl/lava.vhd, Scripts/*.wrapper
source-repository head
type: darcs
location: http://projects.haskell.org/chalmers-lava2000/
library
exposed-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
other-modules:
Paths_chalmers_lava2000
build-Depends: array, base >= 3 && < 5, process >= 1 && < 2, random
extensions: Rank2Types, ExistentialQuantification
ghc-options: -fno-warn-overlapping-patterns -fno-warn-missing-methods