chalmers-lava2000: Hardware description EDSL
For more info, see the tutorial: http://projects.haskell.org/chalmers-lava2000/Doc/tutorial.pdf
[Skip to Readme]
Modules
[Index]
- 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
- chalmers-lava2000-1.6.1.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 | array, base (>=3 && <5), process (>=1 && <2), random [details] |
License | BSD-3-Clause |
Copyright | 2008-2016 Koen Claessen, Emil Axelsson 2000-2008 Koen Claessen |
Author | Koen Claessen <koen@chalmers.se> |
Maintainer | Emil Axelsson <emax@chalmers.se> |
Category | Language, Hardware |
Home page | http://projects.haskell.org/chalmers-lava2000/Doc/tutorial.pdf |
Source repo | head: darcs get http://projects.haskell.org/chalmers-lava2000/ |
Uploaded | by EmilAxelsson at 2016-05-19T11:47:12Z |
Distributions | |
Reverse Dependencies | 2 direct, 0 indirect [details] |
Downloads | 10422 total (24 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2016-11-05 [all 1 reports] |