The liquid-fixpoint package

[ Tags: bsd3, language, library, program ] [ Propose Tags ]

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, 0.6.0.1, 0.7.0.1, 0.7.0.2
Dependencies ansi-terminal, array, ascii-progress (>=0.3), async, attoparsec, base (>=4.8.1.0 && <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, parallel-io, parsec, pretty, process, syb, text, text-format, time, transformers, unordered-containers [details]
License BSD3
Copyright 2010-17 Ranjit Jhala, University of California, San Diego.
Author Ranjit Jhala, Niki Vazou, Eric Seidel
Maintainer jhala@cs.ucsd.edu
Category Language
Home page https://github.com/ucsd-progsys/liquid-fixpoint
Source repository head: git clone https://github.com/ucsd-progsys/liquid-fixpoint/
Uploaded Mon Aug 28 23:43:41 UTC 2017 by ranjitjhala
Distributions NixOS:0.7.0.2
Executables fixpoint
Downloads 2676 total (65 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-08-28 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Flags

NameDescriptionDefaultType
devel

turn on stricter error reporting for development

DisabledManual

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