• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for liquid-fixpoint-0.8.10.7 source tarball

liquid-fixpoint-0.8.10.7/

• .ghci
• CHANGES.md
• LICENSE
• Makefile
• README.md
• Setup.hs
• TODO.md
• default.nix
• git-0.3.0_fix-monad-fail-for-ghc-8.10.1.patch
• hie.yaml
• liquid-fixpoint.cabal
• shell.nix
• stack.yaml
• .circleci/
  • config.yml
• bin/
  • Fixpoint.hs
• dist/
  • setup-config
  • build/
    • Paths_liquid_fixpoint.dyn_hi
    • Paths_liquid_fixpoint.dyn_o
    • Paths_liquid_fixpoint.hi
    • Paths_liquid_fixpoint.o
    • libHSliquid-fixpoint-0.8.10.7-FgCIsJqmD5EU4mf5QzNnF-ghc9.0.1.dylib
    • libHSliquid-fixpoint-0.8.10.7-FgCIsJqmD5EU4mf5QzNnF.a
    • libHSliquid-fixpoint-0.8.10.7.1-K8pospJxO6RGfsweTfekAM-ghc9.0.1.dylib
    • libHSliquid-fixpoint-0.8.10.7.1-K8pospJxO6RGfsweTfekAM.a
    • Data/
      • ShareMap.dyn_hi
      • ShareMap.dyn_o
      • ShareMap.hi
      • ShareMap.o
    • Language/
      • Fixpoint/
        • Defunctionalize.dyn_hi
        • Defunctionalize.dyn_o
        • Defunctionalize.hi
        • Defunctionalize.o
        • Graph.dyn_hi
        • Graph.dyn_o
        • Graph.hi
        • Graph.o
        • Minimize.dyn_hi
        • Minimize.dyn_o
        • Minimize.hi
        • Minimize.o
        • Misc.dyn_hi
        • Misc.dyn_o
        • Misc.hi
        • Misc.o
        • Parse.dyn_hi
        • Parse.dyn_o
        • Parse.hi
        • Parse.o
        • Solver.dyn_hi
        • Solver.dyn_o
        • Solver.hi
        • Solver.o
        • SortCheck.dyn_hi
        • SortCheck.dyn_o
        • SortCheck.hi
        • SortCheck.o
        • Types.dyn_hi
        • Types.dyn_o
        • Types.hi
        • Types.o
        • Graph/
          • Deps.dyn_hi
          • Deps.dyn_o
          • Deps.hi
          • Deps.o
          • Indexed.dyn_hi
          • Indexed.dyn_o
          • Indexed.hi
          • Indexed.o
          • Partition.dyn_hi
          • Partition.dyn_o
          • Partition.hi
          • Partition.o
          • Reducible.dyn_hi
          • Reducible.dyn_o
          • Reducible.hi
          • Reducible.o
          • Types.dyn_hi
          • Types.dyn_o
          • Types.hi
          • Types.o
        • Horn/
          • Info.dyn_hi
          • Info.dyn_o
          • Info.hi
          • Info.o
          • Parse.dyn_hi
          • Parse.dyn_o
          • Parse.hi
          • Parse.o
          • Solve.dyn_hi
          • Solve.dyn_o
          • Solve.hi
          • Solve.o
          • Transformations.dyn_hi
          • Transformations.dyn_o
          • Transformations.hi
          • Transformations.o
          • Types.dyn_hi
          • Types.dyn_o
          • Types.hi
          • Types.o
        • Smt/
          • Bitvector.dyn_hi
          • Bitvector.dyn_o
          • Bitvector.hi
          • Bitvector.o
          • Interface.dyn_hi
          • Interface.dyn_o
          • Interface.hi
          • Interface.o
          • Serialize.dyn_hi
          • Serialize.dyn_o
          • Serialize.hi
          • Serialize.o
          • Theories.dyn_hi
          • Theories.dyn_o
          • Theories.hi
          • Theories.o
          • Types.dyn_hi
          • Types.dyn_o
          • Types.hi
          • Types.o
        • Solver/
          • Eliminate.dyn_hi
          • Eliminate.dyn_o
          • Eliminate.hi
          • Eliminate.o
          • EnvironmentReduction.dyn_hi
          • EnvironmentReduction.dyn_o
          • EnvironmentReduction.hi
          • EnvironmentReduction.o
          • Extensionality.dyn_hi
          • Extensionality.dyn_o
          • Extensionality.hi
          • Extensionality.o
          • GradualSolution.dyn_hi
          • GradualSolution.dyn_o
          • GradualSolution.hi
          • GradualSolution.o
          • Instantiate.dyn_hi
          • Instantiate.dyn_o
          • Instantiate.hi
          • Instantiate.o
          • Monad.dyn_hi
          • Monad.dyn_o
          • Monad.hi
          • Monad.o
          • PLE.dyn_hi
          • PLE.dyn_o
          • PLE.hi
          • PLE.o
          • Prettify.dyn_hi
          • Prettify.dyn_o
          • Prettify.hi
          • Prettify.o
          • Rewrite.dyn_hi
          • Rewrite.dyn_o
          • Rewrite.hi
          • Rewrite.o
          • Sanitize.dyn_hi
          • Sanitize.dyn_o
          • Sanitize.hi
          • Sanitize.o
          • Solution.dyn_hi
          • Solution.dyn_o
          • Solution.hi
          • Solution.o
          • Solve.dyn_hi
          • Solve.dyn_o
          • Solve.hi
          • Solve.o
          • Stats.dyn_hi
          • Stats.dyn_o
          • Stats.hi
          • Stats.o
          • TrivialSort.dyn_hi
          • TrivialSort.dyn_o
          • TrivialSort.hi
          • TrivialSort.o
          • UniqifyBinds.dyn_hi
          • UniqifyBinds.dyn_o
          • UniqifyBinds.hi
          • UniqifyBinds.o
          • UniqifyKVars.dyn_hi
          • UniqifyKVars.dyn_o
          • UniqifyKVars.hi
          • UniqifyKVars.o
          • Worklist.dyn_hi
          • Worklist.dyn_o
          • Worklist.hi
          • Worklist.o
        • Types/
          • Config.dyn_hi
          • Config.dyn_o
          • Config.hi
          • Config.o
          • Constraints.dyn_hi
          • Constraints.dyn_o
          • Constraints.hi
          • Constraints.o
          • Environments.dyn_hi
          • Environments.dyn_o
          • Environments.hi
          • Environments.o
          • Errors.dyn_hi
          • Errors.dyn_o
          • Errors.hi
          • Errors.o
          • Graduals.dyn_hi
          • Graduals.dyn_o
          • Graduals.hi
          • Graduals.o
          • Names.dyn_hi
          • Names.dyn_o
          • Names.hi
          • Names.o
          • PrettyPrint.dyn_hi
          • PrettyPrint.dyn_o
          • PrettyPrint.hi
          • PrettyPrint.o
          • Refinements.dyn_hi
          • Refinements.dyn_o
          • Refinements.hi
          • Refinements.o
          • Solutions.dyn_hi
          • Solutions.dyn_o
          • Solutions.hi
          • Solutions.o
          • Sorts.dyn_hi
          • Sorts.dyn_o
          • Sorts.hi
          • Sorts.o
          • Spans.dyn_hi
          • Spans.dyn_o
          • Spans.hi
          • Spans.o
          • Substitutions.dyn_hi
          • Substitutions.dyn_o
          • Substitutions.hi
          • Substitutions.o
          • Templates.dyn_hi
          • Templates.dyn_o
          • Templates.hi
          • Templates.o
          • Theories.dyn_hi
          • Theories.dyn_o
          • Theories.hi
          • Theories.o
          • Triggers.dyn_hi
          • Triggers.dyn_o
          • Triggers.hi
          • Triggers.o
          • Utils.dyn_hi
          • Utils.dyn_o
          • Utils.hi
          • Utils.o
          • Visitor.dyn_hi
          • Visitor.dyn_o
          • Visitor.hi
          • Visitor.o
        • Utils/
          • Builder.dyn_hi
          • Builder.dyn_o
          • Builder.hi
          • Builder.o
          • Files.dyn_hi
          • Files.dyn_o
          • Files.hi
          • Files.o
          • Progress.dyn_hi
          • Progress.dyn_o
          • Progress.hi
          • Progress.o
          • Statistics.dyn_hi
          • Statistics.dyn_o
          • Statistics.hi
          • Statistics.o
          • Trie.dyn_hi
          • Trie.dyn_o
          • Trie.hi
          • Trie.o
    • Text/
      • PrettyPrint/
        • HughesPJ/
          • Compat.dyn_hi
          • Compat.dyn_o
          • Compat.hi
          • Compat.o
    • autogen/
      • Paths_liquid_fixpoint.hs
      • cabal_macros.h
    • fixpoint/
      • fixpoint
      • autogen/
        • Paths_liquid_fixpoint.hs
        • cabal_macros.h
      • fixpoint-tmp/
        • Main.hi
        • Main.o
  • package.conf.inplace/
    • liquid-fixpoint-0.8.10.7-FgCIsJqmD5EU4mf5QzNnF.conf
    • package.cache
    • package.cache.lock
• scripts/
  • travis
• src/
  • Data/
    • ShareMap.hs
  • Language/
    • Fixpoint/
      • Defunctionalize.hs
      • Graph.hs
      • Minimize.hs
      • Misc.hs
      • Parse.hs
      • Solver.hs
      • SortCheck.hs
      • Types.hs
      • Congruence/
        • Closure.hs
        • Types.hs
      • Graph/
        • Deps.hs
        • Indexed.hs
        • Partition.hs
        • Reducible.hs
        • Types.hs
      • Horn/
        • Info.hs
        • Parse.hs
        • Solve.hs
        • Transformations.hs
        • Types.hs
      • Smt/
        • Bitvector.hs
        • Interface.hs
        • Serialize.hs
        • Theories.hs
        • Types.hs
      • Solver/
        • Eliminate.hs
        • EnvironmentReduction.hs
        • Extensionality.hs
        • GradualSolution.hs
        • GradualSolve.hs
        • Instantiate.hs
        • Monad.hs
        • PLE.hs
        • Prettify.hs
        • Rewrite.hs
        • Sanitize.hs
        • Solution.hs
        • Solve.hs
        • Stats.hs
        • TrivialSort.hs
        • UniqifyBinds.hs
        • UniqifyKVars.hs
        • Worklist.hs
      • Types/
        • Binary.hs
        • Config.hs
        • Constraints.hs
        • Environments.hs
        • Errors.hs
        • Graduals.hs
        • Names.hs
        • PrettyPrint.hs
        • Refinements.hs
        • Solutions.hs
        • Sorts.hs
        • Spans.hs
        • Substitutions.hs
        • Templates.hs
        • Theories.hs
        • Triggers.hs
        • Utils.hs
        • Visitor.hs
      • Utils/
        • Builder.hs
        • Files.hs
        • Statistics.hs
        • Trie.hs
  • Text/
    • PrettyPrint/
      • HughesPJ/
        • Compat.hs
• tests/
  • test.hs
  • crash/
    • EqConstr0.fq
    • EqConstr1.fq
    • num00.fq
    • sort00.fq
    • sort01.fq
  • cut/
    • test00-tx.fq
    • test00.fq
    • test00a-tx.fq
    • test00a.fq
    • test1-tx.fq
    • test1.fq
    • test2-tx.fq
    • test2.fq
  • elim/
    • div00.fq
    • elim00.fq
    • kvparam00.fq
    • len00.fq
    • test00-tx.fq
    • test00.fq
    • test00a.fq
    • test1.fq
    • test2.fq
    • tuple00.fq
    • tuple01.fq
  • horn/
    • neg/
      • abs02-re.smt2
      • ebind03.smt2
      • irregular_adt_00.smt2
      • ple0.smt2
      • ple_list00.smt2
      • ple_list01_adt.smt2
      • ple_list03.smt2
      • ple_sum.smt2
      • ple_sum_fuel.5.smt2
      • tag00.smt2
      • test00.smt2
      • test01.smt2
      • test02.smt2
      • test03.smt2
    • pos/
      • abs02-re.smt2
      • constant.smt2
      • ebind01.smt2
      • ebind02.smt2
      • ebind03.smt2
      • icfp17-ex1.smt2
      • icfp17-ex2.smt2
      • icfp17-ex3.smt2
      • ple0.smt2
      • ple_list00.smt2
      • ple_list01_adt.smt2
      • ple_sum.smt2
      • ple_sum_fuel.5.smt2
      • sum-rec-ok.smt2
      • sum-rec.smt2
      • test00.smt2
      • test01.smt2
      • test02.smt2
      • test03.smt2
  • logs/
    • cur/
      • pin
  • minimize/
    • two-cores.fq
  • neg/
    • EqParse.fq
    • NonLinear.fq
    • NonLinear.hs.fq
    • adt0.fq
    • adt1.fq
    • adt2.fq
    • adt3.fq
    • adt_bin_0.fq
    • adt_even_0.fq
    • adt_mutrec.fq
    • baz.fq
    • conj-rhs.fq
    • ebind-00.fq
    • ebind-01.fq
    • ebind-02.fq
    • ebind-03.fq
    • ebind-04.fq
    • ebind-elim2.fq
    • elim-dep-00.fq
    • float-literal.fq
    • float.fq
    • hex00.fq
    • lit00.fq
    • literals.fq
    • maps.fq
    • pack00.fq
    • pack01.fq
    • poly0.fq
    • poly1.fq
    • poly2.fq
    • qualif-template-00.fq
    • qualif-template-01.fq
    • qualif-template-02.fq
    • rewrite.fq
    • rewrite2.fq
    • sets01.fq
    • test00.fq
    • test00.hs.fq
    • test00a.fq
    • test1.fq
    • test2.fq
    • test3.fq
  • pos/
    • EqConstr0.fq
    • EqConstr1.fq
    • LogicCurry1.hs.fq
    • MergeSort.fq
    • NonLinear-pack.fq
    • T416.fq
    • adt.fq
    • adt_bin_0.fq
    • adt_bin_lam.fq
    • adt_curry.fq
    • adt_dep_0.fq
    • adt_dep_1.fq
    • adt_even_0.fq
    • adt_func_0.fq
    • adt_func_1.fq
    • adt_list_0.fq
    • adt_list_1.fq
    • adt_list_2.fq
    • adt_list_nested.fq
    • adt_mutrec.fq
    • adt_pair_cast.fq
    • adt_partial.fq
    • adt_poly_dead.fq
    • adt_qual.fq
    • bad-subst00.fq
    • bad-subst01.fq
    • bad-subst02.fq
    • bool00.fq
    • bool03.fq
    • bool04.fq
    • coerce0.fq
    • coerce1.fq
    • coerce2a.fq
    • coerce2b.fq
    • conj-rhs.fq
    • cut-keyword.fq
    • ebind-00.fq
    • ebind-01.fq
    • ebind-02.fq
    • ebind-03.fq
    • ebind-03a.fq
    • ebind-04.fq
    • ebind-05.fq
    • ebind-06.fq
    • elim00.fq
    • empty.fq
    • float.fq
    • func-arg.fq
    • func00.fq
    • gfp00.fq
    • hex.ts.fq
    • hex00.fq
    • ho00.fq
    • kvar-param-poly-00.fq
    • len00-rename.fq
    • len00.fq
    • listqual.hs.fq
    • lit00.fq
    • literals.fq
    • literals01.fq
    • literals02.fq
    • literals03.fq
    • literals04.fq
    • literals05.fq
    • literals06.fq
    • maps.fq
    • meas00.fq
    • meas02.fq
    • min00.fq
    • multi-sorts.fq
    • multiple-func-sorts.fq
    • num00.fq
    • numoverload00.fq
    • overwrite-names.fq
    • poly.fq
    • poly0.fq
    • poly1.fq
    • poly2.fq
    • poly_inst.fq
    • qualif-inst.fq
    • qualif-template-00.fq
    • qualif-template-01.fq
    • qualif-template-02.fq
    • real00.fq
    • sets.fq
    • sets01.fq
    • test00-par.fq
    • test00.fq
    • test00.hs.fq
    • test000.hs.fq
    • test00a.fq
    • test1.fq
    • test2.fq
    • test3.fq
    • test4.fq
    • undef00.fq
    • undef01.fq
    • unexpected-ge.fq
    • unused.fq
    • wl00.fq
    • wl01.fq
    • wl02.fq
    • wrong-arity.fq
  • proof/
    • GADTs.fq
    • IndPal00.fq
    • IndPal000.fq
    • LH1424.fq
    • T387.fq
    • T414.fq
    • contra.fq
    • even.fq
    • evenA.fq
    • intId.fq
    • list00.fq
    • list01.fq
    • list01_adt.fq
    • list02.fq
    • list03.fq
    • ple0.fq
    • ple1.fq
    • ple2.fq
    • ple3.fq
    • ple4.fq
    • pleBool.fq
    • pleBoolA.fq
    • pleBoolB.fq
    • pleBoolC.fq
    • pleSubst.fq
    • rewrite.fq
    • sum.fq
  • rankNTypes/
    • T407.hs.fq
  • tasty/
    • Main.hs
    • ParserTests.hs
    • ShareMapReference.hs
    • ShareMapTests.hs
  • todo/
    • LH1090.fq
    • T1371-short.fq
    • ebind-kvar-chain.fq
  • todo-crash/
    • wl01.fq
• unix/
  • Language/
    • Fixpoint/
      • Utils/
        • Progress.hs
• win/
  • Language/
    • Fixpoint/
      • Utils/
        • Progress.hs