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

Directory listing for camfort-0.804 candidate source tarball

camfort-0.804/

• LICENSE
• Setup.hs
• camfort.cabal
• dist/
  • build/
    • Camfort/
      • Specification/
        • Stencils/
          • Grammar.hs
        • Units/
          • Parser.hs
      • camfort-tmp/
        • Camfort/
          • Specification/
            • Stencils/
              • Grammar.hs
            • Units/
              • Parser.hs
• src/
  • Main.hs
  • Camfort/
    • Functionality.hs
    • Helpers.hs
    • Input.hs
    • Output.hs
    • PrettyPrint.hs
    • Reprint.hs
    • Traverse.hs
    • Analysis/
      • Annotations.hs
      • CallGraph.hs
      • CommentAnnotator.hs
      • IntermediateReps.hs
      • LVA.hs
      • Simple.hs
      • Syntax.hs
      • Types.hs
    • Helpers/
      • Vec.hs
    • Specification/
      • Stencils.hs
      • Units.hs
      • Stencils/
        • Annotation.hs
        • CheckBackend.hs
        • CheckFrontend.hs
        • Grammar.hs
        • Grammar.y
        • InferenceBackend.hs
        • InferenceFrontend.hs
        • Model.hs
        • Syntax.hs
        • Synthesis.hs
      • Units/
        • Environment.hs
        • InferenceBackend.hs
        • InferenceFrontend.hs
        • Monad.hs
        • Parser.y
        • Synthesis.hs
    • Transformation/
      • CommonBlockElim.hs
      • CommonBlockElimToCalls.hs
      • DeadCode.hs
      • DerivedTypeIntro.hs
      • EquivalenceElim.hs
      • Syntax.hs
• tests/
  • Spec.hs
  • Camfort/
    • Analysis/
      • CommentAnnotatorSpec.hs
    • Helpers/
      • VecSpec.hs
    • Specification/
      • StencilsSpec.hs
      • UnitsSpec.hs
      • Stencils/
        • CheckSpec.hs
        • GrammarSpec.hs
        • ModelSpec.hs
    • Transformation/
      • CommonSpec.hs
      • EquivalenceElimSpec.hs