@hackage g20.2.0.0

Haskell symbolic execution engine.

Categories
License
BSD-3-Clause
Maintainer
whallahan@binghamton.edu
Links
Versions
- 0.2.0.0 Mon, 1 Apr 2024
- 0.1.0.1 Sun, 30 Jun 2019
- 0.1.0.0 Sat, 29 Jun 2019

Installation
In your cabal file:
Dependencies (38)
- Cabal >=2.0.1.0 && <3.11
- array >=0.5.1.1 && <=0.5.5.0
- base >=4.8 && <4.19
- bytestring >=0.10.8.0 && <0.11.6
- containers >=0.5 && <0.7
- directory >=1.3.0.2 && <=1.3.8.1
Dependents (1)
@hackage/g2q

Package Flags

support-lh

(on by default)

Build modules for reasoning about LiquidHaskell

A Haskell symbolic execution engine. For details, please see: https://github.com/BillHallahan/G2