The uhc-light package

[Tags:bsd3, library, program]

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..

Properties

Versions 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
Change log changelog.md
Dependencies array, base (>=4.7 && <5), binary, bytestring, containers, directory, fgl, filepath, hashable (>=1.2.4 && <1.3), mtl, network, old-locale, primitive, process, syb, transformers, uhc-light (==1.1.9.5), uhc-util (>=0.1.6.7 && <0.1.7), utf8-string, uulib (>=0.9.19), vector [details]
License BSD3
Copyright Utrecht University, Department of Information and Computing Sciences, Software Technology group
Author Atze Dijkstra
Maintainer uhc-developers@lists.science.uu.nl
Stability Unknown
Category Development
Home page https://github.com/UU-ComputerScience/uhc
Bug tracker https://github.com/UU-ComputerScience/uhc/issues
Uploaded Fri Dec 23 19:14:09 UTC 2016 by AtzeDijkstra
Distributions NixOS:1.1.9.5
Downloads 2513 total (10 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
Last success reported on 2016-12-24 [all 3 reports]

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
            • UHC.Light.Compiler.CoreRun.API.Internal
        • EH
          • UHC.Light.Compiler.EH.Main
        • EHC
          • UHC.Light.Compiler.EHC.Main
            • UHC.Light.Compiler.EHC.Main.Compile
            • UHC.Light.Compiler.EHC.Main.Utils

Downloads

Maintainer's Corner

For package maintainers and hackage trustees