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 and completion of the now rudimentary platform independent (Haskell) interpreted running etc..
Modules
[Index]
Downloads
- uhc-light-1.1.8.3.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.3), 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-26T18:55:40Z |
Distributions | |
Reverse Dependencies | 2 direct, 8 indirect [details] |
Executables | uhcr, uhcl |
Downloads | 16262 total (59 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2014-12-26 [all 1 reports] |