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

Directory listing for camfort-1.0.1 candidate source tarball

camfort-1.0.1/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