uhc-light: Part of UHC packaged as cabal/hackage installable library
A light
variant of UHC including only an API and an executable for compiling to Core representation. This version is just to test the infrastructure. Later versions will provide a fleshing out of the API etc..
Modules
- UHC
- Light
- Compiler
- UHC.Light.Compiler.API
- Base
- UHC.Light.Compiler.Base.API
- Core
- UHC.Light.Compiler.Core.API
- CoreRun
- UHC.Light.Compiler.CoreRun.API
- Compiler
- Light
Downloads
- uhc-light-1.1.8.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 1.1.7.0, 1.1.7.1, 1.1.7.2, 1.1.7.3, 1.1.7.4, 1.1.8.0, 1.1.8.1, 1.1.8.2, 1.1.8.3, 1.1.8.4, 1.1.8.5, 1.1.8.6, 1.1.8.7, 1.1.8.10, 1.1.9.0, 1.1.9.1, 1.1.9.2, 1.1.9.3, 1.1.9.4, 1.1.9.5, 1.1.10.0 |
---|---|
Change log | changelog.md |
Dependencies | array, base (>=4 && <5), binary, bytestring, containers, directory, fgl, hashable (>=1.1 && <1.3), mtl, network, old-locale, primitive, process, syb, uhc-light (==1.1.8.0), uhc-util (>=0.1.3.7), uulib (>=0.9.12), vector [details] |
License | BSD-3-Clause |
Copyright | Utrecht University, Department of Information and Computing Sciences, Software Technology group |
Author | Atze Dijkstra |
Maintainer | uhc-developers@lists.science.uu.nl |
Category | Development |
Home page | https://github.com/UU-ComputerScience/uhc |
Bug tracker | https://github.com/UU-ComputerScience/uhc/issues |
Uploaded | by AtzeDijkstra at 2014-12-12T19:45:45Z |
Distributions | |
Reverse Dependencies | 2 direct, 8 indirect [details] |
Executables | uhcr, uhcl |
Downloads | 16451 total (3 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] Last success reported on 2014-12-22 [all 8 reports] |