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

Directory listing for camfort-1.0.1 source tarball

camfort-1.0.1/

• CHANGELOG.md
• LICENSE
• Setup.hs
• camfort.cabal
• src/
  • Main.hs
  • Camfort/
    • Analysis.hs
    • Functionality.hs
    • Helpers.hs
    • Input.hs
    • Output.hs
    • Reprint.hs
    • Analysis/
      • Annotations.hs
      • CommentAnnotator.hs
      • Logger.hs
      • ModFile.hs
      • Simple.hs
    • Helpers/
      • Syntax.hs
      • TypeLevel.hs
      • Vec.hs
    • Specification/
      • DerivedDataType.hs
      • Hoare.hs
      • Parser.hs
      • Stencils.hs
      • Units.hs
      • DerivedDataType/
        • Parser.y
      • Hoare/
        • Annotation.hs
        • CheckBackend.hs
        • CheckFrontend.hs
        • Lexer.hs
        • Parser.y
        • Syntax.hs
        • Translate.hs
        • Parser/
          • Types.hs
      • Stencils/
        • Analysis.hs
        • Annotation.hs
        • CheckBackend.hs
        • CheckFrontend.hs
        • Consistency.hs
        • DenotationalSemantics.hs
        • Generate.hs
        • InferenceBackend.hs
        • InferenceFrontend.hs
        • Model.hs
        • Parser.y
        • PartialOrd.hs
        • Syntax.hs
        • Synthesis.hs
        • Parser/
          • Types.hs
      • Units/
        • Analysis.hs
        • Annotation.hs
        • BackendTypes.hs
        • Environment.hs
        • InferenceBackend.hs
        • InferenceBackendFlint.hs
        • InferenceBackendSBV.hs
        • ModFile.hs
        • Monad.hs
        • MonadTypes.hs
        • Parser.y
        • Synthesis.hs
        • Analysis/
          • Consistent.hs
          • Criticals.hs
          • Infer.hs
        • Parser/
          • Types.hs
    • Transformation/
      • CommonBlockElim.hs
      • DeadCode.hs
      • EquivalenceElim.hs
  • Language/
    • Fortran/
      • Model.hs
      • Model/
        • Op.hs
        • Repr.hs
        • Singletons.hs
        • Translate.hs
        • Types.hs
        • Util.hs
        • Vars.hs
        • Op/
          • Core.hs
          • Eval.hs
          • High.hs
          • Meta.hs
          • Core/
            • Core.hs
            • Eval.hs
            • Match.hs
        • Repr/
          • Prim.hs
        • Types/
          • Match.hs
• tests/
  • Spec.hs
  • Camfort/
    • FunctionalitySpec.hs
    • ReprintSpec.hs
    • Analysis/
      • CommentAnnotatorSpec.hs
      • ImplicitNoneSpec.hs
      • ModFileSpec.hs
      • TestUtils.hs
    • Specification/
      • DerivedDataTypeSpec.hs
      • ParserSpec.hs
      • StencilsSpec.hs
      • Hoare/
        • ParserSpec.hs
      • Stencils/
        • CheckSpec.hs
        • ConsistencySpec.hs
        • DenotationalSemanticsSpec.hs
        • InferenceBackendSpec.hs
        • ModelSpec.hs
        • ParserSpec.hs
      • Units/
        • InferenceBackendSpec.hs
        • ParserSpec.hs
        • Analysis/
          • ConsistentSpec.hs
          • CriticalsSpec.hs
          • InferSpec.hs
    • Transformation/
      • CommonSpec.hs
      • EquivalenceElimSpec.hs
  • fixtures/
    • Specification/
      • Stencils/
        • example10.expected.f
        • example10.f
        • example11.expected.f
        • example11.f
        • example12.f
        • example13.expected.f
        • example13.f
        • example14.expected.f
        • example14.f
        • example15.expected.f
        • example15.f
        • example16.f
        • example17.f
        • example2.f
        • example3.f
        • example4.f
        • example5.expected.f
        • example5.f
        • example5a.expected.f
        • example5a.f
        • example6.expected.f
        • example6.f
        • example7.expected.f
        • example7.f
        • example8.expected.f
        • example8.f
        • example9.expected.f
        • example9.f
      • Units/
        • do-loop1.f90
        • do-loop2.f90
        • eapVarApp.f90
        • eapVarScope.f90
        • ex1.f90
        • ex2.f90
        • ex3.f90
        • example-criticals-1.f90
        • example-criticals-2.f90
        • example-inconsist-1.f90
        • example-simple-1.f90
        • exp.ex1.f90
        • exp.ex2.f90
        • exp.ex3.f90
        • exp.param.f90
        • gcd1.f90
        • inconsist3.f90
        • inconsistLitInPolyFun.f90
        • inconsistRecMult.f90
        • inferPoly1.f90
        • insideOutside.f90
        • literal-nonzero-inconsist1.f90
        • literal-nonzero-inconsist2.f90
        • literal-nonzero-inconsist3.f90
        • literal-nonzero-inconsist4.f90
        • literal-nonzero-inconsist5.f90
        • literal-nonzero.f90
        • literal-nonzero2.f90
        • literal-zero.f90
        • param.f90
        • recursive1.f90
        • sqrtPoly.f90
        • squarePoly1.f90
        • transfer.f90
    • Transformation/
      • cmn.expected.f90
      • common.expected.f90
      • common.f90
      • equiv.expected.f90
      • equiv.f90