@hackage SSTG0.1.1.5

STG Symbolic Execution

Categories
- Web Development
License
BSD-3-Clause
Maintainer
anton.xue@yale.edu
Links
Versions
- 0.1.1.7 Thu, 17 Aug 2017
- 0.1.1.6 Sun, 13 Aug 2017
- 0.1.1.5 Sun, 6 Aug 2017
- 0.1.1.4 Sun, 6 Aug 2017
- 0.1.1.3 Fri, 4 Aug 2017
- 0.1.1.2 Mon, 31 Jul 2017

Installation
In your cabal file:
Dependencies (4)
- base >=4.7 && <5
- containers >=0.5 && <0.6
- ghc
- ghc-paths
Dependents (0)

Prototype of STG-based Symbolic Execution for Haskell.