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

Directory listing for camfort-0.903 candidate source tarball

camfort-0.903/

• 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/
      • Parser.hs
      • Stencils.hs
      • Units.hs
      • Stencils/
        • Annotation.hs
        • CheckBackend.hs
        • CheckFrontend.hs
        • Consistency.hs
        • DenotationalSemantics.hs
        • Generate.hs
        • InferenceBackend.hs
        • InferenceFrontend.hs
        • Model.hs
        • Parser.y
        • Syntax.hs
        • Synthesis.hs
        • Parser/
          • Types.hs
      • Units/
        • Environment.hs
        • InferenceBackend.hs
        • InferenceFrontend.hs
        • Monad.hs
        • Parser.y
        • Synthesis.hs
        • Parser/
          • Types.hs
    • Transformation/
      • CommonBlockElim.hs
      • DeadCode.hs
      • EquivalenceElim.hs
• tests/
  • Spec.hs
  • Camfort/
    • Analysis/
      • CommentAnnotatorSpec.hs
    • Specification/
      • ParserSpec.hs
      • StencilsSpec.hs
      • UnitsSpec.hs
      • Stencils/
        • CheckSpec.hs
        • ConsistencySpec.hs
        • DenotationalSemanticsSpec.hs
        • InferenceBackendSpec.hs
        • ModelSpec.hs
        • ParserSpec.hs
      • Units/
        • InferenceBackendSpec.hs
        • InferenceFrontendSpec.hs
        • ParserSpec.hs
    • Transformation/
      • CommonSpec.hs
      • EquivalenceElimSpec.hs
  • fixtures/
    • Specification/
      • Stencils/
        • example10.f
        • example11.f
        • example12.f
        • example13.f
        • example14.f
        • example15.f
        • example16.f
        • example17.f
        • example2.f
        • example3.f
        • example4.f
        • example5.f
        • example6.f
        • example7.f
        • example8.f
        • example9.f
      • Units/
        • ex1.f90
        • ex2.f90
        • ex3.f90
        • example-inconsist-1.f90
        • param.f90
    • Transformation/
      • common.f90
      • equiv.f90