liquid-fixpoint
Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
https://github.com/ucsd-progsys/liquid-fixpoint
Version on this page: | 0.8.10.2 |
LTS Haskell 18.28: | 0.8.10.2 |
Stackage Nightly 2021-06-14: | 0.8.10.2 |
Latest on Hackage: | 8.10.7@rev:1 |
Maintained by [email protected]
This version can be pinned in stack with:
liquid-fixpoint-0.8.10.2@sha256:1646c4cc5f81349356a0d37bd3c8f4db74ced9e1707a2e19915c8d2fa6ae9e43,7306
Module documentation for 0.8.10.2
- Language
- Language.Fixpoint
- Language.Fixpoint.Defunctionalize
- Language.Fixpoint.Graph
- Language.Fixpoint.Horn
- Language.Fixpoint.Minimize
- Language.Fixpoint.Misc
- Language.Fixpoint.Parse
- Language.Fixpoint.Smt
- Language.Fixpoint.Solver
- Language.Fixpoint.Solver.Eliminate
- Language.Fixpoint.Solver.Extensionality
- Language.Fixpoint.Solver.GradualSolution
- Language.Fixpoint.Solver.Instantiate
- Language.Fixpoint.Solver.Monad
- Language.Fixpoint.Solver.PLE
- 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
- Language.Fixpoint
- Text
- Text.PrettyPrint
- Text.PrettyPrint.HughesPJ
- Text.PrettyPrint
Depends on 28 packages(full list with versions):
Used by 1 package in lts-18.6(full list with versions):