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 |
| Uploaded | by AtzeDijkstra at 2015-10-27T14:05:16Z |
| 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 |
| Reverse Dependencies | 2 direct, 8 indirect [details] |
| Executables | uhcr, uhcl |
| Downloads | 17316 total (131 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] |