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

Directory listing for cao-0.1.1 candidate source tarball

cao-0.1.1/

• COPYING
• README.txt
• Setup.hs
• cao.cabal
• default.plat
• backend_lib/
  • C_generic/
    • CAO_bool.cpp
    • CAO_bool.h
    • CAO_globalOp.cpp
    • CAO_globalOp.h
    • CAO_globals.h
    • CAO_int.cpp
    • CAO_int.h
    • CAO_matrix.cpp
    • CAO_matrix.h
    • CAO_mod.cpp
    • CAO_mod.h
    • CAO_modpol.cpp
    • CAO_modpol.h
    • CAO_rint.cpp
    • CAO_rint.h
    • CAO_sbits.cpp
    • CAO_sbits.h
    • CAO_struct.cpp
    • CAO_struct.h
    • CAO_ubits.cpp
    • CAO_ubits.h
    • CAO_vector.cpp
    • CAO_vector.h
• example/
  • Makefile
  • main_sha1.c
  • sha1.cao
• src/
  • Language/
    • CAO/
      • Index.hs
      • Syntax.hs
      • Type.hs
      • Typechecker.hs
      • Analysis/
        • CFG.hs
        • Dominance.hs
        • PhiInsert.hs
        • SSA.hs
        • SsaBack.hs
      • Common/
        • Error.hs
        • Fresh.hs
        • Literal.hs
        • Monad.hs
        • Name.hs
        • Operator.hs
        • Outputable.hs
        • Polynomial.hs
        • Representation.hs
        • SrcLoc.hs
        • State.hs
        • Utils.hs
        • Var.hs
      • Index/
        • Eval.hs
        • Utils.hs
      • Parser/
        • Config.hs
        • Lexer.x
        • Parser.y
        • Tokens.hs
      • Platform/
        • Literals.hs
        • Naming.hs
        • Query.hs
        • Specification.hs
      • Semantics/
        • Bits.hs
        • Bool.hs
        • Casts.hs
        • Integer.hs
      • Syntax/
        • Codes.hs
        • Tidy.hs
        • Utils.hs
      • Transformation/
        • Eval.hs
        • Expand.hs
        • Indist.hs
        • Simplify.hs
        • Target.hs
      • Translation/
        • C.hs
        • Names.hs
        • PreC.hs
        • Yices.hs
        • C/
          • Wrappers.hs
      • Type/
        • Utils.hs
      • Typechecker/
        • Check.hs
        • Constraint.hs
        • Expr.hs
        • Heap.hs
        • Index.hs
        • PostProcessor.hs
        • SMT.hs
        • Solver.hs
        • Unification.hs
  • Main/
    • Compiler.hs
    • Dot.hs
    • Flags.hs
    • Main.hs