SSTG: STG Symbolic Execution

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]

Warnings:

Exposed modules use unallocated top-level names: Lib SSTG

Prototype of STG-based Symbolic Execution for Haskell.

[Skip to Readme]

Properties

Versions	0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.0.3, 0.1.0.4, 0.1.0.5, 0.1.0.6, 0.1.0.7, 0.1.0.8, 0.1.0.9, 0.1.1.0, 0.1.1.1, 0.1.1.2, 0.1.1.3, 0.1.1.4, 0.1.1.5, 0.1.1.6, 0.1.1.7
Change log	None available
Dependencies	base (>=4.7 && <5), containers (>=0.5 && <0.6), ghc, ghc-paths, SSTG [details]
License	BSD-3-Clause
Copyright	2017 Anton Xue
Author	Anton Xue
Maintainer	anton.xue@yale.edu
Category	Web
Home page	https://github.com/AntonXue/SSTG#readme
Source repo	head: git clone https://github.com/AntonXue/SSTG
Uploaded	by AntonXue at 2017-07-22T20:32:36Z

Modules

Lib
SSTG
- SSTG.Core
  - SSTG.Core.Execution
    - SSTG.Core.Execution.Engine
    - SSTG.Core.Execution.Models
    - SSTG.Core.Execution.Namer
    - SSTG.Core.Execution.Rules
    - SSTG.Core.Execution.Stepper
  - SSTG.Core.Syntax
    - SSTG.Core.Syntax.Language
    - SSTG.Core.Syntax.Typer
  - SSTG.Core.Translation
    - SSTG.Core.Translation.Haskell
- SSTG.Utils
  - SSTG.Utils.PrettyPrint

Downloads

SSTG-0.1.0.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

AntonXue

For package maintainers and hackage trustees

edit package information

Readme for SSTG-0.1.0.0

[back to package description]