uhc-light: Part of UHC packaged as cabal/hackage installable library
A light
variant of UHC including only an API and executables for compiling to Core representation (uhcl) and running CoreRun (uhcr). 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..
Downloads
- uhc-light-1.1.9.2.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
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.7 && <5), binary, bytestring, containers, directory, fgl, filepath, hashable (>=1.1 && <1.2.4), mtl, network, old-locale, primitive, process, syb, transformers, uhc-light (==1.1.9.2), uhc-util (>=0.1.6.3 && <0.1.7), uulib (>=0.9.19), 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 |
Revised | Revision 1 made by AtzeDijkstra at 2016-01-18T12:49:13Z |
Category | Development |
Home page | https://github.com/UU-ComputerScience/uhc |
Bug tracker | https://github.com/UU-ComputerScience/uhc/issues |
Uploaded | by AtzeDijkstra at 2015-10-27T14:05:16Z |
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 available [build log] Last success reported on 2015-10-30 [all 1 reports] |