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

Directory listing for g2-0.1.0.2 candidate source tarball

g2-0.1.0.2/

• LICENSE
• README.md
• Setup.hs
• g2.cabal
• exe/
  • Main.hs
• inference/
  • Main.hs
• lh/
  • Main.hs
• nebula/
  • Main.hs
• src/
  • G2/
    • Config.hs
    • Execution.hs
    • Interface.hs
    • Language.hs
    • Nebula.hs
    • Solver.hs
    • Translation.hs
    • Config/
      • Config.hs
      • Interface.hs
      • ParseConfig.hs
    • Data/
      • Timer.hs
      • UFMap.hs
      • UnionFind.hs
      • Utils.hs
    • Equiv/
      • Approximation.hs
      • Config.hs
      • EquivADT.hs
      • G2Calls.hs
      • Generalize.hs
      • InitRewrite.hs
      • Summary.hs
      • Tactics.hs
      • Types.hs
      • Uninterpreted.hs
      • Verifier.hs
    • Execution/
      • HPC.hs
      • Interface.hs
      • Memory.hs
      • NewPC.hs
      • NormalForms.hs
      • PrimitiveEval.hs
      • Reducer.hs
      • RuleTypes.hs
      • Rules.hs
    • Initialization/
      • DeepSeqWalks.hs
      • ElimTicks.hs
      • ElimTypeSynonyms.hs
      • InitVarLocs.hs
      • Interface.hs
      • KnownValues.hs
      • MkCurrExpr.hs
      • Types.hs
    • Interface/
      • Interface.hs
      • OutputTypes.hs
    • Language/
      • AST.hs
      • AlgDataTy.hs
      • Approximation.hs
      • ArbValueGen.hs
      • CallGraph.hs
      • Casts.hs
      • CreateFuncs.hs
      • Expr.hs
      • ExprEnv.hs
      • Ids.hs
      • KnownValues.hs
      • Located.hs
      • Monad.hs
      • Naming.hs
      • PathConds.hs
      • Primitives.hs
      • Simplification.hs
      • Stack.hs
      • Support.hs
      • Syntax.hs
      • TypeClasses.hs
      • TypeEnv.hs
      • Typing.hs
      • Monad/
        • AST.hs
        • CreateFuncs.hs
        • Expr.hs
        • ExprEnv.hs
        • Naming.hs
        • Primitives.hs
        • Support.hs
        • TypeClasses.hs
        • TypeEnv.hs
        • Typing.hs
      • TypeClasses/
        • Extra.hs
        • TypeClasses.hs
    • Lib/
      • Printers.hs
    • Liquid/
      • AddCFBranch.hs
      • AddLHTC.hs
      • AddOrdToNum.hs
      • AddTyVars.hs
      • Annotations.hs
      • Config.hs
      • Conversion.hs
      • ConvertCurrExpr.hs
      • G2Calls.hs
      • Helpers.hs
      • Interface.hs
      • LHReducers.hs
      • Measures.hs
      • MkLHVals.hs
      • Simplify.hs
      • SpecialAsserts.hs
      • TCGen.hs
      • TCValues.hs
      • TyVarBags.hs
      • Types.hs
      • Inference/
        • Config.hs
        • FuncConstraint.hs
        • G2Calls.hs
        • GeneratedSpecs.hs
        • InfStack.hs
        • Initalization.hs
        • Interface.hs
        • PolyRef.hs
        • QualifGen.hs
        • Sygus.hs
        • UnionPoly.hs
        • Verify.hs
        • Sygus/
          • FCConverter.hs
          • LiaSynth.hs
          • RefSynth.hs
          • SimplifySygus.hs
          • SpecInfo.hs
          • Sygus.hs
          • UnsatCoreElim.hs
    • Postprocessing/
      • Interface.hs
      • NameSwitcher.hs
    • Preprocessing/
      • AdjustTypes.hs
      • Interface.hs
      • NameCleaner.hs
    • QuasiQuotes/
      • FloodConsts.hs
      • G2Rep.hs
      • Parser.hs
      • QuasiQuotes.hs
      • Support.hs
      • Internals/
        • G2Rep.hs
    • Solver/
      • ADTNumericalSolver.hs
      • Converters.hs
      • Interface.hs
      • Language.hs
      • Maximize.hs
      • ParseSMT.hs
      • SMT2.hs
      • Simplifier.hs
      • Solver.hs
    • Translation/
      • GHC.hs
      • Haskell.hs
      • HaskellCheck.hs
      • InjectSpecials.hs
      • Interface.hs
      • PrimInject.hs
      • TransTypes.hs
      • Cabal/
        • Cabal.hs
• tests/
  • CaseTest.hs
  • DefuncTest.hs
  • Expr.hs
  • GetNthTest.hs
  • HigherOrderMathTest.hs
  • InputOutputTest.hs
  • PeanoTest.hs
  • Reqs.hs
  • Simplifications.hs
  • Test.hs
  • TestUtils.hs
  • Typing.hs
  • UFMapTests.hs
  • UnionFindTests.hs
  • RewriteVerify/
    • RewriteVerifyTest.hs
• tests_lh/
  • LHTest.hs
  • UnionPoly.hs
• tests_nebula_plugin/
  • Main.hs
• tests_quasiquote/
  • Evaluations.hs
  • Main.hs
  • Arithmetics/
    • Interpreter.hs
    • Test.hs
  • DeBruijn/
    • Interpreter.hs
    • Test.hs
  • Lambda/
    • Interpreter.hs
    • Test.hs
  • NQueens/
    • Encoding.hs
    • Test.hs
  • RegEx/
    • RegEx.hs
    • Test.hs
  • Simple/
    • Simple1.hs
    • SimpleTest1.hs