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

Directory listing for camfort-0.902 candidate source tarball

camfort-0.902/

• LICENSE
• Setup.hs
• camfort.cabal
• src/
  • Main.hs
  • Camfort/
    • Functionality.hs
    • Helpers.hs
    • Input.hs
    • Output.hs
    • Reprint.hs
    • Analysis/
      • Annotations.hs
      • CommentAnnotator.hs
      • Simple.hs
    • Helpers/
      • Syntax.hs
      • Vec.hs
    • Specification/
      • Stencils.hs
      • Units.hs
      • Stencils/
        • Annotation.hs
        • CheckBackend.hs
        • CheckFrontend.hs
        • Consistency.hs
        • DenotationalSemantics.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
      • DataTypeIntroduction.hs
      • DeadCode.hs
      • EquivalenceElim.hs
• tests/
  • Spec.hs
  • Camfort/
    • Analysis/
      • CommentAnnotatorSpec.hs
    • Specification/
      • StencilsSpec.hs
      • UnitsSpec.hs
      • Stencils/
        • CheckSpec.hs
        • ConsistencySpec.hs
        • DenotationalSemanticsSpec.hs
        • GrammarSpec.hs
        • InferenceBackendSpec.hs
        • ModelSpec.hs
    • Transformation/
      • CommonSpec.hs
      • EquivalenceElimSpec.hs
  • fixtures/
    • Specification/
      • Stencils/
        • example2.f
        • example3.f
        • example4.f
      • Units/
        • ex1.f90
        • ex2.f90
        • ex3.f90
        • param.f90
    • Transformation/
      • common.f90
      • equiv.f90