liquid-fixpoint-0.8.10.7: dist/package.conf.inplace/liquid-fixpoint-0.8.10.7-FgCIsJqmD5EU4mf5QzNnF.conf
name: liquid-fixpoint
version: 0.8.10.7
id: liquid-fixpoint-0.8.10.7-FgCIsJqmD5EU4mf5QzNnF
key: liquid-fixpoint-0.8.10.7-FgCIsJqmD5EU4mf5QzNnF
license: BSD-3-Clause
copyright: 2010-17 Ranjit Jhala, University of California, San Diego.
maintainer: jhala@cs.ucsd.edu
author: Ranjit Jhala, Niki Vazou, Eric Seidel
homepage: https://github.com/ucsd-progsys/liquid-fixpoint
synopsis: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
description:
This package implements an 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
.
* A Z3 (<http://z3.codeplex.com>) or CVC4 (<http://cvc4.cs.nyu.edu>) binary.
category: Language
abi: inplace
exposed: True
exposed-modules:
Data.ShareMap Language.Fixpoint.Defunctionalize
Language.Fixpoint.Graph Language.Fixpoint.Graph.Deps
Language.Fixpoint.Graph.Indexed Language.Fixpoint.Graph.Partition
Language.Fixpoint.Graph.Reducible Language.Fixpoint.Graph.Types
Language.Fixpoint.Horn.Info Language.Fixpoint.Horn.Parse
Language.Fixpoint.Horn.Solve Language.Fixpoint.Horn.Transformations
Language.Fixpoint.Horn.Types Language.Fixpoint.Minimize
Language.Fixpoint.Misc Language.Fixpoint.Parse
Language.Fixpoint.Smt.Bitvector Language.Fixpoint.Smt.Interface
Language.Fixpoint.Smt.Serialize Language.Fixpoint.Smt.Theories
Language.Fixpoint.Smt.Types Language.Fixpoint.Solver
Language.Fixpoint.Solver.Eliminate
Language.Fixpoint.Solver.EnvironmentReduction
Language.Fixpoint.Solver.Extensionality
Language.Fixpoint.Solver.GradualSolution
Language.Fixpoint.Solver.Instantiate Language.Fixpoint.Solver.Monad
Language.Fixpoint.Solver.PLE Language.Fixpoint.Solver.Prettify
Language.Fixpoint.Solver.Rewrite Language.Fixpoint.Solver.Sanitize
Language.Fixpoint.Solver.Solution Language.Fixpoint.Solver.Solve
Language.Fixpoint.Solver.Stats Language.Fixpoint.Solver.TrivialSort
Language.Fixpoint.Solver.UniqifyBinds
Language.Fixpoint.Solver.UniqifyKVars
Language.Fixpoint.Solver.Worklist Language.Fixpoint.SortCheck
Language.Fixpoint.Types Language.Fixpoint.Types.Config
Language.Fixpoint.Types.Constraints
Language.Fixpoint.Types.Environments Language.Fixpoint.Types.Errors
Language.Fixpoint.Types.Graduals Language.Fixpoint.Types.Names
Language.Fixpoint.Types.PrettyPrint
Language.Fixpoint.Types.Refinements
Language.Fixpoint.Types.Solutions Language.Fixpoint.Types.Sorts
Language.Fixpoint.Types.Spans Language.Fixpoint.Types.Substitutions
Language.Fixpoint.Types.Templates Language.Fixpoint.Types.Theories
Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Utils
Language.Fixpoint.Types.Visitor Language.Fixpoint.Utils.Builder
Language.Fixpoint.Utils.Files Language.Fixpoint.Utils.Progress
Language.Fixpoint.Utils.Statistics Language.Fixpoint.Utils.Trie
Text.PrettyPrint.HughesPJ.Compat
hidden-modules: Paths_liquid_fixpoint
import-dirs: /Users/niki.vazou/liquidtypes/release/liquid-fixpoint-0.8.10.7/dist/build
library-dirs: /Users/niki.vazou/liquidtypes/release/liquid-fixpoint-0.8.10.7/dist/build
dynamic-library-dirs: /Users/niki.vazou/liquidtypes/release/liquid-fixpoint-0.8.10.7/dist/build
data-dir: /Users/niki.vazou/liquidtypes/release/liquid-fixpoint-0.8.10.7
hs-libraries: HSliquid-fixpoint-0.8.10.7-FgCIsJqmD5EU4mf5QzNnF
depends:
base-4.15.0.0 ansi-terminal-0.11-DOUngjGM5e9DBdxKKdJoVq
array-0.5.4.0 async-2.2.4-JeDGkdQL92SGvrTcykFE1G
attoparsec-0.14.2-GRB4tkqiZ1lJ3VDtKSiDmp binary-0.8.8.0
store-0.7.12-1jDuo34RRHF1Hy2bG8VuHK bytestring-0.10.12.1
boxes-0.1.5-C3Kz8ochWvU21KQ3vfFzqc
cereal-0.5.8.1-1rEYQzBD8E9DIUYY4RFjl8
cmdargs-0.10.21-9JSptK8vQ5KGyQ5LWB6hlS containers-0.6.4.1
deepseq-1.4.5.0 directory-1.3.6.1
fgl-5.7.0.3-5OLLFynJZSREnalnrodEAD filepath-1.4.2.1
hashable-1.3.3.0-D0do58bNrPk5L3yCngfJJ3
intern-0.9.4-FjOGVQc5D9A9cT7GJ3znV mtl-2.2.2
parallel-3.2.2.0-G9JTeCQCHda2yggytvFxi6
parser-combinators-1.3.0-5jHqYWwdpCqFWQLuYLRvi6
megaparsec-8.0.0-HpfmBpBmwaA25sr4odFZpU pretty-1.1.3.6
process-1.6.11.0 stm-2.5.0.0 syb-0.7.2.1-1KAKIfi7jVfHb7rx2ko4wD
text-1.2.4.1 transformers-0.5.6.2
unordered-containers-0.2.14.0-L4skvY6vsWn5C5vZMnj1cY
aeson-1.5.6.0-DHNSyhPFyS5bKQzGnVe65
rest-rewrite-0.1.1-ExUfTOXktU57vIN1mThfaz
ascii-progress-0.3.3.0-IvDhgho0XVI68QREgihigY
abi-depends: base-4.15.0.0=02cb1f9c5fbe783ec723114554c1a1bd
ansi-terminal-0.11-DOUngjGM5e9DBdxKKdJoVq=d6c3710fa9fda55e0ebacd6cce99c895
array-0.5.4.0=9a81a071217c73ead314239d931f3539
async-2.2.4-JeDGkdQL92SGvrTcykFE1G=9b04d03d55892f910c05c503857c8315
attoparsec-0.14.2-GRB4tkqiZ1lJ3VDtKSiDmp=1ac805cba81d1b6a4027ddfaa73a0f02
binary-0.8.8.0=b29e0271e764eded9a7fe7f7efb29a00
store-0.7.12-1jDuo34RRHF1Hy2bG8VuHK=3e81e9e2248a6603e4466219b77c99a6
bytestring-0.10.12.1=bcf6a61abaf149418191c5b82a3f1f35
boxes-0.1.5-C3Kz8ochWvU21KQ3vfFzqc=cb68f89029edf9163997bd4a9a25ebfb
cereal-0.5.8.1-1rEYQzBD8E9DIUYY4RFjl8=9ad34802ac104316d41f1cbf1a6f5519
cmdargs-0.10.21-9JSptK8vQ5KGyQ5LWB6hlS=9851f7363467bc98ccd2b7a763752398
containers-0.6.4.1=9fdc55ef8690ff523eba389e5f991c4e
deepseq-1.4.5.0=a3c53cf199b05b32e32750439c1fb094
directory-1.3.6.1=69c9abca6e0cbd58b5dff3b7cc43d204
fgl-5.7.0.3-5OLLFynJZSREnalnrodEAD=fbe6b7290463c97154a639b024be851a
filepath-1.4.2.1=4dba1196734519d5fa5937d656a5f36a
hashable-1.3.3.0-D0do58bNrPk5L3yCngfJJ3=30065752580855fe6ccd81f3bc4efcdd
intern-0.9.4-FjOGVQc5D9A9cT7GJ3znV=657da685930e1d1a9dc583e8d6b2c5c7
mtl-2.2.2=dbb5a8013d6af5aeb8382ab9f42b23e5
parallel-3.2.2.0-G9JTeCQCHda2yggytvFxi6=639a5f668a4d607f889d7d7a865c37d8
parser-combinators-1.3.0-5jHqYWwdpCqFWQLuYLRvi6=570d649fbaa64c76c448aba32cebadfb
megaparsec-8.0.0-HpfmBpBmwaA25sr4odFZpU=7f6082726fd5ed2300d912861bbf6b71
pretty-1.1.3.6=991926efc506d871d2b1df02dd84a1f3
process-1.6.11.0=106f5dc09262f5ff85248631dfdbd424
stm-2.5.0.0=1907802766f953b2b67d72785a26bcec
syb-0.7.2.1-1KAKIfi7jVfHb7rx2ko4wD=5edc1b6becc78a39dd5d32482fc47761
text-1.2.4.1=d3af972311c726304b525c2c823214fe
transformers-0.5.6.2=6d61a65a7ab8e1f3ab98b9bf5aeaa056
unordered-containers-0.2.14.0-L4skvY6vsWn5C5vZMnj1cY=869782fc6ea4d62ed36ae1c1536579d2
aeson-1.5.6.0-DHNSyhPFyS5bKQzGnVe65=6425135f2ca91e6567b795bd3be87c9d
rest-rewrite-0.1.1-ExUfTOXktU57vIN1mThfaz=4183a6c474b6a786b4d68be96afecbf5
ascii-progress-0.3.3.0-IvDhgho0XVI68QREgihigY=c414b11a060f16e2c462cc641b7d66ec
haddock-interfaces: /Users/niki.vazou/liquidtypes/release/liquid-fixpoint-0.8.10.7/dist/doc/html/liquid-fixpoint/liquid-fixpoint.haddock
haddock-html: /Users/niki.vazou/liquidtypes/release/liquid-fixpoint-0.8.10.7/dist/doc/html/liquid-fixpoint