uhc-light: Part of UHC packaged as cabal/hackage installable library

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

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, 1.1.10.0, 1.1.10.0
Change log	changelog.md
Dependencies	array, base (>=4.7 && <5), binary, bytestring, chr-data (>=0.1.0.0), containers, directory, fgl, filepath, hashable (>=1.2.4 && <1.3), mtl, network, old-locale, primitive, process, syb, transformers, uhc-light, uhc-util (>=0.1.7.0 && <0.1.8), utf8-string, 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
Category	Development
Home page	https://github.com/UU-ComputerScience/uhc
Bug tracker	https://github.com/UU-ComputerScience/uhc/issues
Uploaded	by AtzeDijkstra at 2018-01-01T22:28:37Z

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

uhc-light-1.1.10.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

AtzeDijkstra

For package maintainers and hackage trustees

edit package information