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

Directory listing for liquid-fixpoint-0.6.0.2 candidate source tarball

liquid-fixpoint-0.6.0.2/

• .ghci
• .git
• .gitignore
• .travis.yml
• CHANGES.md
• LICENSE
• Makefile
• README.md
• Setup.hs
• TODO.md
• default.nix
• liquid-fixpoint.cabal
• shell.nix
• stack.yaml
• .stack-work/
  • dist/
    • x86_64-osx/
      • Cabal-1.24.2.0/
        • setup-config
        • stack-build-cache
        • stack-cabal-mod
        • stack-config-cache
        • build/
          • libHSliquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi-ghc8.0.2.dylib
          • libHSliquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi.a
          • libHSliquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf-ghc8.0.2.dylib
          • libHSliquid-fixpoint-0.6.0.1-6TLfofWrTFvFP1QJmA2Rhf.a
          • libHSliquid-fixpoint-0.6.0.1-JAii1rTYnDD6SNCJvqePS5-ghc8.0.2.dylib
          • libHSliquid-fixpoint-0.6.0.1-JAii1rTYnDD6SNCJvqePS5.a
          • 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
              • 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
                • GradualSolution.dyn_hi
                • GradualSolution.dyn_o
                • GradualSolution.hi
                • GradualSolution.o
                • GradualSolve.dyn_hi
                • GradualSolve.dyn_o
                • GradualSolve.hi
                • GradualSolve.o
                • Instantiate.dyn_hi
                • Instantiate.dyn_o
                • Instantiate.hi
                • Instantiate.o
                • Monad.dyn_hi
                • Monad.dyn_o
                • Monad.hi
                • Monad.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
                • 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
                • 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/
                • 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
          • autogen/
            • Paths_liquid_fixpoint.hs
            • cabal_macros.h
          • fixpoint/
            • fixpoint
            • fixpoint-tmp/
              • Main.hi
              • Main.o
              • bin/
                • Fixpoint.dump-hi
          • src/
            • Language/
              • Fixpoint/
                • Defunctionalize.dump-hi
                • Graph.dump-hi
                • Minimize.dump-hi
                • Misc.dump-hi
                • Parse.dump-hi
                • Solver.dump-hi
                • SortCheck.dump-hi
                • Types.dump-hi
                • Graph/
                  • Deps.dump-hi
                  • Indexed.dump-hi
                  • Partition.dump-hi
                  • Reducible.dump-hi
                  • Types.dump-hi
                • Smt/
                  • Bitvector.dump-hi
                  • Interface.dump-hi
                  • Serialize.dump-hi
                  • Theories.dump-hi
                  • Types.dump-hi
                • Solver/
                  • Eliminate.dump-hi
                  • GradualSolution.dump-hi
                  • GradualSolve.dump-hi
                  • Instantiate.dump-hi
                  • Monad.dump-hi
                  • Sanitize.dump-hi
                  • Solution.dump-hi
                  • Solve.dump-hi
                  • TrivialSort.dump-hi
                  • UniqifyBinds.dump-hi
                  • UniqifyKVars.dump-hi
                  • Worklist.dump-hi
                • Types/
                  • Config.dump-hi
                  • Constraints.dump-hi
                  • Environments.dump-hi
                  • Errors.dump-hi
                  • Graduals.dump-hi
                  • Names.dump-hi
                  • PrettyPrint.dump-hi
                  • Refinements.dump-hi
                  • Solutions.dump-hi
                  • Sorts.dump-hi
                  • Spans.dump-hi
                  • Substitutions.dump-hi
                  • Triggers.dump-hi
                  • Utils.dump-hi
                  • Visitor.dump-hi
                • Utils/
                  • Files.dump-hi
                  • Statistics.dump-hi
          • unix/
            • Language/
              • Fixpoint/
                • Utils/
                  • Progress.dump-hi
        • package.conf.inplace/
          • liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi.conf
          • package.cache
• bin/
  • Fixpoint.hs
• scripts/
  • travis
• src/
  • Language/
    • Fixpoint/
      • Defunctionalize.hs
      • Graph.hs
      • Minimize.hs
      • Misc.hs
      • Parse.hs
      • Solver.hs
      • SortCheck.hs
      • Types.hs
      • Graph/
        • Deps.hs
        • Indexed.hs
        • Partition.hs
        • Reducible.hs
        • Types.hs
      • Smt/
        • Bitvector.hs
        • Interface.hs
        • Serialize.hs
        • Theories.hs
        • Types.hs
      • Solver/
        • Eliminate.hs
        • GradualSolution.hs
        • GradualSolve.hs
        • Instantiate.hs
        • Monad.hs
        • Sanitize.hs
        • Solution.hs
        • Solve.hs
        • TrivialSort.hs
        • UniqifyBinds.hs
        • UniqifyKVars.hs
        • Worklist.hs
      • Types/
        • Config.hs
        • Constraints.hs
        • Environments.hs
        • Errors.hs
        • Graduals.hs
        • Names.hs
        • PrettyPrint.hs
        • Refinements.hs
        • Solutions.hs
        • Sorts.hs
        • Spans.hs
        • Substitutions.hs
        • Triggers.hs
        • Utils.hs
        • Visitor.hs
      • Utils/
        • Files.hs
        • Statistics.hs
• tests/
  • test.hs
  • testParser.hs
  • crash/
    • 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
  • minimize/
    • two-cores.fq
  • neg/
    • NonLinear.fq
    • NonLinear.hs.fq
    • conj-rhs.fq
    • elim-dep-00.fq
    • float-literal.fq
    • float.fq
    • literals.fq
    • pack00.fq
    • pack01.fq
    • poly0.fq
    • poly1.fq
    • poly2.fq
    • test00.fq
    • test00.hs.fq
    • test00a.fq
    • test1.fq
    • test2.fq
    • test3.fq
  • pos/
    • LogicCurry1.hs.fq
    • NonLinear-pack.fq
    • bad-subst00.fq
    • bad-subst01.fq
    • bad-subst02.fq
    • bool00.fq
    • bool03.fq
    • bool04.fq
    • conj-rhs.fq
    • cut-keyword.fq
    • elim00.fq
    • float.fq
    • func-arg.fq
    • func00.fq
    • hex.ts.fq
    • ho00.fq
    • kvar-param-poly-00.fq
    • len00-rename.fq
    • len00.fq
    • listqual.hs.fq
    • literals.fq
    • literals01.fq
    • literals02.fq
    • literals03.fq
    • literals04.fq
    • literals05.fq
    • meas00.fq
    • meas02.fq
    • min00.fq
    • multi-sorts.fq
    • multiple-func-sorts.fq
    • num00.fq
    • numoverload00.fq
    • overwrite-names.fq
    • poly0.fq
    • poly1.fq
    • poly2.fq
    • qualif-inst.fq
    • sets.fq
    • test00-par.fq
    • test00.fq
    • test00.hs.fq
    • test000.hs.fq
    • test00a.fq
    • test1.fq
    • test2.fq
    • test3.fq
    • test4.fq
    • unexpected-ge.fq
    • unused.fq
    • wl00.fq
    • wl01.fq
    • wl02.fq
    • wrong-arity.fq
  • proof/
    • list00.fq
  • smt2/
    • Smt.hs
  • todo/
    • MergeSort.fq
    • baz.fq
    • poly.fq
    • wl01.fq
• unix/
  • Language/
    • Fixpoint/
      • Utils/
        • Progress.hs
• win/
  • Language/
    • Fixpoint/
      • Utils/
        • Progress.hs