chalmers-lava2000: Hardware description library
Modules
[Index]
- 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
Downloads
- chalmers-lava2000-1.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 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, haskell98, process [details] |
| Tested with | ghc ==6.8.3 |
| License | BSD-3-Clause |
| Copyright | (c) 2008. Koen Claessen <koen@chalmers.se> |
| Author | Koen Claessen <koen@chalmers.se> |
| Maintainer | Emil Axelsson <emax@chalmers.se> |
| Uploaded | by EmilAxelsson at 2008-08-20T13:31:34Z |
| Category | Hardware |
| Distributions | |
| Reverse Dependencies | 2 direct, 0 indirect [details] |
| Downloads | 10842 total (51 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |