The liquid-fixpoint package

[Tags:bsd3, library, program]

This package is a Haskell wrapper to the SMTLIB-based Horn-Clause/Logical Implication constraint solver used for Liquid Types.

The package includes:

1. Types for Expressions, Predicates, Constraints, Solutions

2. Code for solving constraints

Requirements

In addition to the .cabal dependencies you require

Properties

Versions 0.1.0.0, 0.2.0.0, 0.2.1.0, 0.2.1.1, 0.2.2.0, 0.2.3.0, 0.2.3.1, 0.2.3.2, 0.3.0.0, 0.3.0.1, 0.4.0.0, 0.5.0.0, 0.5.0.1
Dependencies ansi-terminal, array, ascii-progress (>=0.3), async, attoparsec, base (>=4.7 && <5), bifunctors, binary, boxes, bytestring, cereal, cmdargs, containers, deepseq, directory, dotgen, fgl, fgl-visualize, filemanip, filepath, ghc-prim, hashable, intern, liquid-fixpoint, located-base, mtl, parallel, parsec, pretty, process, syb, text, text-format, transformers, unordered-containers [details]
License BSD3
Copyright 2010-15 Ranjit Jhala, University of California, San Diego.
Author Ranjit Jhala, Niki Vazou, Eric Seidel
Maintainer jhala@cs.ucsd.edu
Stability Unknown
Category Language
Home page https://github.com/ucsd-progsys/liquid-fixpoint
Source repository head: git clone https://github.com/ucsd-progsys/liquid-fixpoint/
Uploaded Tue Apr 5 19:16:29 UTC 2016 by EricSeidel
Distributions
Downloads 1787 total (27 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2016-04-05 [all 1 reports]

Modules

[Index]

Flags

NameDescriptionDefaultType
develturn on stricter error reporting for developmentDisabledManual

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

For package maintainers and hackage trustees