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 () or CVC4 () 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