Context Navigation

← Previous Change
Next Change →

Changeset 453 for Deliverables/D2.3

Timestamp:

Jan 17, 2011, 10:36:28 AM (10 years ago)

Author:

ayache

Message:

Import of the Paris's sources.

Location:

Deliverables/D2.3

Files:

: 433 added

. (added)
8051 (added)
8051/Makefile (added)
8051/Makefile.config (added)
8051/Makefile.generic (added)
8051/Makefile.local (added)
8051/README (added)
8051/TODO (added)
8051/_tags (added)
8051/acc.odocl (added)
8051/admin (added)
8051/admin/myocamldoc (added)
8051/cparser (added)
8051/cparser/.depend (added)
8051/cparser/AddCasts.ml (added)
8051/cparser/AddCasts.mli (added)
8051/cparser/Bitfields.ml (added)
8051/cparser/Bitfields.mli (added)
8051/cparser/Builtins.ml (added)
8051/cparser/Builtins.mli (added)
8051/cparser/C.mli (added)
8051/cparser/CBuiltins.ml (added)
8051/cparser/Cabs.ml (added)
8051/cparser/Cabshelper.ml (added)
8051/cparser/Ceval.ml (added)
8051/cparser/Ceval.mli (added)
8051/cparser/Cleanup.ml (added)
8051/cparser/Cleanup.mli (added)
8051/cparser/Cprint.ml (added)
8051/cparser/Cprint.mli (added)
8051/cparser/Cutil.ml (added)
8051/cparser/Cutil.mli (added)
8051/cparser/Elab.ml (added)
8051/cparser/Elab.mli (added)
8051/cparser/Env.ml (added)
8051/cparser/Env.mli (added)
8051/cparser/Errors.ml (added)
8051/cparser/Errors.mli (added)
8051/cparser/GCC.ml (added)
8051/cparser/GCC.mli (added)
8051/cparser/Lexer.mli (added)
8051/cparser/Lexer.mll (added)
8051/cparser/Machine.ml (added)
8051/cparser/Machine.mli (added)
8051/cparser/Main.ml (added)
8051/cparser/Makefile (added)
8051/cparser/Parse.ml (added)
8051/cparser/Parse.mli (added)
8051/cparser/Parse_aux.ml (added)
8051/cparser/Parse_aux.mli (added)
8051/cparser/Parser.mly (added)
8051/cparser/Rename.ml (added)
8051/cparser/Rename.mli (added)
8051/cparser/SimplExpr.ml (added)
8051/cparser/SimplExpr.mli (added)
8051/cparser/StructAssign.ml (added)
8051/cparser/StructAssign.mli (added)
8051/cparser/StructByValue.ml (added)
8051/cparser/StructByValue.mli (added)
8051/cparser/Transform.ml (added)
8051/cparser/Transform.mli (added)
8051/cparser/Unblock.ml (added)
8051/cparser/Unblock.mli (added)
8051/cparser/uint64.c (added)
8051/distributed_files (added)
8051/doc (added)
8051/doc/html (added)
8051/doc/html/style.css (added)
8051/doc/src (added)
8051/doc/src/main (added)
8051/log (added)
8051/myocamlbuild.ml (added)
8051/myocamlbuild_config.ml (added)
8051/src (added)
8051/src/ASM (added)
8051/src/ASM/ASM.mli (added)
8051/src/ASM/ASMCosts.ml (added)
8051/src/ASM/ASMCosts.mli (added)
8051/src/ASM/ASMInterpret.ml (added)
8051/src/ASM/ASMInterpret.mli (added)
8051/src/ASM/ASMPrinter.ml (added)
8051/src/ASM/ASMPrinter.mli (added)
8051/src/ASM/BitVectors.ml (added)
8051/src/ASM/BitVectors.mli (added)
8051/src/ASM/I8051.ml (added)
8051/src/ASM/I8051.mli (added)
8051/src/ASM/IntelHex.ml (added)
8051/src/ASM/IntelHex.mli (added)
8051/src/ASM/MIPS.ml (added)
8051/src/ASM/MIPS.mli (added)
8051/src/ASM/MIPSInterpret.ml (added)
8051/src/ASM/MIPSInterpret.mli (added)
8051/src/ASM/MIPSOps.mli (added)
8051/src/ASM/Parser.ml (added)
8051/src/ASM/Parser.mli (added)
8051/src/ASM/Physical.ml (added)
8051/src/ASM/Physical.mli (added)
8051/src/ASM/Util.ml (added)
8051/src/ASM/arch.mli (added)
8051/src/ASM/printOps.ml (added)
8051/src/ASM/printOps.mli (added)
8051/src/ERTL (added)
8051/src/ERTL/ERTL.mli (added)
8051/src/ERTL/ERTLInterpret.ml (added)
8051/src/ERTL/ERTLInterpret.mli (added)
8051/src/ERTL/ERTLPrinter.ml (added)
8051/src/ERTL/ERTLPrinter.mli (added)
8051/src/ERTL/ERTLToLTL.ml (added)
8051/src/ERTL/ERTLToLTL.mli (added)
8051/src/ERTL/ERTLToLTLI.ml (added)
8051/src/ERTL/ERTLToLTLI.mli (added)
8051/src/ERTL/build.ml (added)
8051/src/ERTL/build.mli (added)
8051/src/ERTL/liveness.ml (added)
8051/src/ERTL/liveness.mli (added)
8051/src/ERTL/spill.ml (added)
8051/src/ERTL/spill.mli (added)
8051/src/ERTL/uses.ml (added)
8051/src/ERTL/uses.mli (added)
8051/src/LIN (added)
8051/src/LIN/LIN.mli (added)
8051/src/LIN/LINInterpret.ml (added)
8051/src/LIN/LINInterpret.mli (added)
8051/src/LIN/LINPrinter.ml (added)
8051/src/LIN/LINPrinter.mli (added)
8051/src/LIN/LINToASM.ml (added)
8051/src/LIN/LINToASM.mli (added)
8051/src/LTL (added)
8051/src/LTL/LTL.mli (added)
8051/src/LTL/LTLInterpret.ml (added)
8051/src/LTL/LTLInterpret.mli (added)
8051/src/LTL/LTLPrinter.ml (added)
8051/src/LTL/LTLPrinter.mli (added)
8051/src/LTL/LTLToLIN.ml (added)
8051/src/LTL/LTLToLIN.mli (added)
8051/src/LTL/LTLToLINI.ml (added)
8051/src/LTL/LTLToLINI.mli (added)
8051/src/LTL/branch.ml (added)
8051/src/LTL/branch.mli (added)
8051/src/RTL (added)
8051/src/RTL/RTL.mli (added)
8051/src/RTL/RTLInterpret.ml (added)
8051/src/RTL/RTLInterpret.mli (added)
8051/src/RTL/RTLPrinter.ml (added)
8051/src/RTL/RTLPrinter.mli (added)
8051/src/RTL/RTLToERTL.ml (added)
8051/src/RTL/RTLToERTL.mli (added)
8051/src/RTL/RTLtailcall.ml (added)
8051/src/RTL/RTLtailcall.mli (added)
8051/src/RTLabs (added)
8051/src/RTLabs/RTLabs.mli (added)
8051/src/RTLabs/RTLabsInterpret.ml (added)
8051/src/RTLabs/RTLabsInterpret.mli (added)
8051/src/RTLabs/RTLabsPrinter.ml (added)
8051/src/RTLabs/RTLabsPrinter.mli (added)
8051/src/RTLabs/RTLabsToRTL.ml (added)
8051/src/RTLabs/RTLabsToRTL.mli (added)
8051/src/acc.ml (added)
8051/src/acc.mli (added)
8051/src/checker.ml (added)
8051/src/checker.mli (added)
8051/src/clight (added)
8051/src/clight/clight.mli (added)
8051/src/clight/clightAnnotator.ml (added)
8051/src/clight/clightAnnotator.mli (added)
8051/src/clight/clightFlags.ml (added)
8051/src/clight/clightFromC.ml (added)
8051/src/clight/clightInterpret.ml (added)
8051/src/clight/clightInterpret.mli (added)
8051/src/clight/clightLabelling.ml (added)
8051/src/clight/clightLabelling.mli (added)
8051/src/clight/clightParser.ml (added)
8051/src/clight/clightParser.mli (added)
8051/src/clight/clightPrinter.ml (added)
8051/src/clight/clightPrinter.mli (added)
8051/src/clight/clightToCminor.ml (added)
8051/src/clight/clightToCminor.mli (added)
8051/src/cminor (added)
8051/src/cminor/cminor.mli (added)
8051/src/cminor/cminorAnnotator.ml (added)
8051/src/cminor/cminorAnnotator.mli (added)
8051/src/cminor/cminorFold.ml (added)
8051/src/cminor/cminorFold.mli (added)
8051/src/cminor/cminorInterpret.ml (added)
8051/src/cminor/cminorInterpret.mli (added)
8051/src/cminor/cminorLabelling.ml (added)
8051/src/cminor/cminorLabelling.mli (added)
8051/src/cminor/cminorLexer.mll (added)
8051/src/cminor/cminorParser.mly (added)
8051/src/cminor/cminorPointers.ml (added)
8051/src/cminor/cminorPointers.mli (added)
8051/src/cminor/cminorPrinter.ml (added)
8051/src/cminor/cminorPrinter.mli (added)
8051/src/cminor/cminorToRTLabs.ml (added)
8051/src/cminor/cminorToRTLabs.mli (added)
8051/src/common (added)
8051/src/common/AST.mli (added)
8051/src/common/atom.ml (added)
8051/src/common/atom.mli (added)
8051/src/common/atomSig.mli (added)
8051/src/common/costLabel.ml (added)
8051/src/common/costLabel.mli (added)
8051/src/common/hdwRegister.ml (added)
8051/src/common/hdwRegister.mli (added)
8051/src/common/intValue.ml (added)
8051/src/common/intValue.mli (added)
8051/src/common/label.ml (added)
8051/src/common/label.mli (added)
8051/src/common/memory.ml (added)
8051/src/common/memory.mli (added)
8051/src/common/primitive.ml (added)
8051/src/common/primitive.mli (added)
8051/src/common/register.ml (added)
8051/src/common/register.mli (added)
8051/src/common/value.ml (added)
8051/src/common/value.mli (added)
8051/src/dev_test.ml (added)
8051/src/driver.ml (added)
8051/src/driver.mli (added)
8051/src/languages.ml (added)
8051/src/languages.mli (added)
8051/src/options.ml (added)
8051/src/options.mli (added)
8051/src/utilities (added)
8051/src/utilities/Fix.ml (added)
8051/src/utilities/Fix.mli (added)
8051/src/utilities/bijection.ml (added)
8051/src/utilities/bijection.mli (added)
8051/src/utilities/coloring.ml (added)
8051/src/utilities/coloring.mli (added)
8051/src/utilities/error.ml (added)
8051/src/utilities/error.mli (added)
8051/src/utilities/integer.ml (added)
8051/src/utilities/integer.mli (added)
8051/src/utilities/interference.ml (added)
8051/src/utilities/interference.mli (added)
8051/src/utilities/misc.ml (added)
8051/src/utilities/misc.mli (added)
8051/src/utilities/miscPottier.ml (added)
8051/src/utilities/miscPottier.mli (added)
8051/src/utilities/myMap.ml (added)
8051/src/utilities/myMap.mli (added)
8051/src/utilities/option.ml (added)
8051/src/utilities/option.mli (added)
8051/src/utilities/optionsParsing.ml (added)
8051/src/utilities/position.ml (added)
8051/src/utilities/position.mli (added)
8051/src/utilities/print.ml (added)
8051/src/utilities/print.mli (added)
8051/src/utilities/printCFG.ml (added)
8051/src/utilities/printCFG.mli (added)
8051/src/utilities/printPottier.ml (added)
8051/src/utilities/printPottier.mli (added)
8051/src/utilities/prioritySet.ml (added)
8051/src/utilities/prioritySet.mli (added)
8051/src/utilities/setMap.ml (added)
8051/src/utilities/setMap.mli (added)
8051/src/utilities/stringSig.mli (added)
8051/src/utilities/stringTools.ml (added)
8051/src/utilities/stringTools.mli (added)
8051/src/utilities/syntacticAnalysis.ml (added)
8051/src/utilities/syntacticAnalysis.mli (added)
8051/src/utilities/unionFind.ml (added)
8051/src/utilities/unionFind.mli (added)
8051/tests (added)
8051/tests/Makefile (added)
8051/tests/benchs (added)
8051/tests/benchs/Makefile (added)
8051/tests/benchs/acc.run (added)
8051/tests/benchs/badsort.c (added)
8051/tests/benchs/fib.c (added)
8051/tests/benchs/mat_det.c (added)
8051/tests/benchs/meantime.sh (added)
8051/tests/benchs/min.c (added)
8051/tests/benchs/quicksort.c (added)
8051/tests/benchs/search.c (added)
8051/tests/clight (added)
8051/tests/clight/Makefile (added)
8051/tests/clight/array.ASM.expected (added)
8051/tests/clight/array.Clight.expected (added)
8051/tests/clight/array.Cminor.expected (added)
8051/tests/clight/array.ERTL.expected (added)
8051/tests/clight/array.LIN.expected (added)
8051/tests/clight/array.LTL.expected (added)
8051/tests/clight/array.RTL.expected (added)
8051/tests/clight/array.RTLabs.expected (added)
8051/tests/clight/array.c (added)
8051/tests/clight/array.c.expected (added)
8051/tests/clight/array.log.expected (added)
8051/tests/clight/binop.ASM.expected (added)
8051/tests/clight/binop.Clight.expected (added)
8051/tests/clight/binop.Cminor.expected (added)
8051/tests/clight/binop.ERTL.expected (added)
8051/tests/clight/binop.LIN.expected (added)
8051/tests/clight/binop.LTL.expected (added)
8051/tests/clight/binop.RTL.expected (added)
8051/tests/clight/binop.RTLabs.expected (added)
8051/tests/clight/binop.c (added)
8051/tests/clight/binop.c.expected (added)
8051/tests/clight/binop.log.expected (added)
8051/tests/clight/complets.ASM.expected (added)
8051/tests/clight/complets.Clight.expected (added)
8051/tests/clight/complets.Cminor.expected (added)
8051/tests/clight/complets.ERTL.expected (added)
8051/tests/clight/complets.LIN.expected (added)
8051/tests/clight/complets.LTL.expected (added)
8051/tests/clight/complets.RTL.expected (added)
8051/tests/clight/complets.RTLabs.expected (added)
8051/tests/clight/complets.c (added)
8051/tests/clight/complets.c.expected (added)
8051/tests/clight/complets.log.expected (added)
8051/tests/clight/fib.ASM.expected (added)
8051/tests/clight/fib.Clight.expected (added)
8051/tests/clight/fib.Cminor.expected (added)
8051/tests/clight/fib.ERTL.expected (added)
8051/tests/clight/fib.LIN.expected (added)
8051/tests/clight/fib.LTL.expected (added)
8051/tests/clight/fib.RTL.expected (added)
8051/tests/clight/fib.RTLabs.expected (added)
8051/tests/clight/fib.c (added)
8051/tests/clight/fib.c.expected (added)
8051/tests/clight/fib.log.expected (added)
8051/tests/clight/fib.s.expected (added)
8051/tests/clight/fir4.ASM.expected (added)
8051/tests/clight/fir4.Clight.expected (added)
8051/tests/clight/fir4.Cminor.expected (added)
8051/tests/clight/fir4.ERTL.expected (added)
8051/tests/clight/fir4.LIN.expected (added)
8051/tests/clight/fir4.LTL.expected (added)
8051/tests/clight/fir4.RTL.expected (added)
8051/tests/clight/fir4.RTLabs.expected (added)
8051/tests/clight/fir4.c (added)
8051/tests/clight/fir4.c.expected (added)
8051/tests/clight/fir4.log.expected (added)
8051/tests/clight/fir_complexe.ASM.expected (added)
8051/tests/clight/fir_complexe.Clight.expected (added)
8051/tests/clight/fir_complexe.Cminor.expected (added)
8051/tests/clight/fir_complexe.ERTL.expected (added)
8051/tests/clight/fir_complexe.LIN.expected (added)
8051/tests/clight/fir_complexe.LTL.expected (added)
8051/tests/clight/fir_complexe.RTL.expected (added)
8051/tests/clight/fir_complexe.RTLabs.expected (added)
8051/tests/clight/fir_complexe.c (added)
8051/tests/clight/fir_complexe.c.expected (added)
8051/tests/clight/fir_complexe.log.expected (added)
8051/tests/clight/for.ASM.expected (added)
8051/tests/clight/for.Clight.expected (added)
8051/tests/clight/for.Cminor.expected (added)
8051/tests/clight/for.ERTL.expected (added)
8051/tests/clight/for.LIN.expected (added)
8051/tests/clight/for.LTL.expected (added)
8051/tests/clight/for.RTL.expected (added)
8051/tests/clight/for.RTLabs.expected (added)
8051/tests/clight/for.c (added)
8051/tests/clight/for.c.expected (added)
8051/tests/clight/for.log.expected (added)
8051/tests/clight/ifthenelse.ASM.expected (added)
8051/tests/clight/ifthenelse.Clight.expected (added)
8051/tests/clight/ifthenelse.Cminor.expected (added)
8051/tests/clight/ifthenelse.ERTL.expected (added)
8051/tests/clight/ifthenelse.LIN.expected (added)
8051/tests/clight/ifthenelse.LTL.expected (added)
8051/tests/clight/ifthenelse.RTL.expected (added)
8051/tests/clight/ifthenelse.RTLabs.expected (added)
8051/tests/clight/ifthenelse.c (added)
8051/tests/clight/ifthenelse.c.expected (added)
8051/tests/clight/ifthenelse.log.expected (added)
8051/tests/clight/testCOMP_tri.ASM.expected (added)
8051/tests/clight/testCOMP_tri.Clight.expected (added)
8051/tests/clight/testCOMP_tri.Cminor.expected (added)
8051/tests/clight/testCOMP_tri.ERTL.expected (added)
8051/tests/clight/testCOMP_tri.LIN.expected (added)
8051/tests/clight/testCOMP_tri.LTL.expected (added)
8051/tests/clight/testCOMP_tri.RTL.expected (added)
8051/tests/clight/testCOMP_tri.RTLabs.expected (added)
8051/tests/clight/testCOMP_tri.c (added)
8051/tests/clight/testCOMP_tri.c.expected (added)
8051/tests/clight/testCOMP_tri.log.expected (added)
8051/tests/clight/testTB_Array_LE.ASM.expected (added)
8051/tests/clight/testTB_Array_LE.Clight.expected (added)
8051/tests/clight/testTB_Array_LE.Cminor.expected (added)
8051/tests/clight/testTB_Array_LE.ERTL.expected (added)
8051/tests/clight/testTB_Array_LE.LIN.expected (added)
8051/tests/clight/testTB_Array_LE.LTL.expected (added)
8051/tests/clight/testTB_Array_LE.RTL.expected (added)
8051/tests/clight/testTB_Array_LE.RTLabs.expected (added)
8051/tests/clight/testTB_Array_LE.c (added)
8051/tests/clight/testTB_Array_LE.c.expected (added)
8051/tests/clight/testTB_Array_LE.log.expected (added)
8051/tests/clight/testTB_Array_double.ASM.expected (added)
8051/tests/clight/testTB_Array_double.Clight.expected (added)
8051/tests/clight/testTB_Array_double.Cminor.expected (added)
8051/tests/clight/testTB_Array_double.ERTL.expected (added)
8051/tests/clight/testTB_Array_double.LIN.expected (added)
8051/tests/clight/testTB_Array_double.LTL.expected (added)
8051/tests/clight/testTB_Array_double.RTL.expected (added)
8051/tests/clight/testTB_Array_double.RTLabs.expected (added)
8051/tests/clight/testTB_Array_double.c (added)
8051/tests/clight/testTB_Array_double.c.expected (added)
8051/tests/clight/testTB_Array_double.log.expected (added)
8051/tests/clight/testTB_Array_ecriture.ASM.expected (added)
8051/tests/clight/testTB_Array_ecriture.Clight.expected (added)
8051/tests/clight/testTB_Array_ecriture.Cminor.expected (added)
8051/tests/clight/testTB_Array_ecriture.ERTL.expected (added)
8051/tests/clight/testTB_Array_ecriture.LIN.expected (added)
8051/tests/clight/testTB_Array_ecriture.LTL.expected (added)
8051/tests/clight/testTB_Array_ecriture.RTL.expected (added)
8051/tests/clight/testTB_Array_ecriture.RTLabs.expected (added)
8051/tests/clight/testTB_Array_ecriture.c (added)
8051/tests/clight/testTB_Array_ecriture.c.expected (added)
8051/tests/clight/testTB_Array_ecriture.log.expected (added)
8051/tests/clight/testTB_Array_lecture.ASM.expected (added)
8051/tests/clight/testTB_Array_lecture.Clight.expected (added)
8051/tests/clight/testTB_Array_lecture.Cminor.expected (added)
8051/tests/clight/testTB_Array_lecture.ERTL.expected (added)
8051/tests/clight/testTB_Array_lecture.LIN.expected (added)
8051/tests/clight/testTB_Array_lecture.LTL.expected (added)
8051/tests/clight/testTB_Array_lecture.RTL.expected (added)
8051/tests/clight/testTB_Array_lecture.RTLabs.expected (added)
8051/tests/clight/testTB_Array_lecture.c (added)
8051/tests/clight/testTB_Array_lecture.c.expected (added)
8051/tests/clight/testTB_Array_lecture.log.expected (added)
8051/tests/clight/testTB_boucle.ASM.expected (added)
8051/tests/clight/testTB_boucle.Clight.expected (added)
8051/tests/clight/testTB_boucle.Cminor.expected (added)
8051/tests/clight/testTB_boucle.ERTL.expected (added)
8051/tests/clight/testTB_boucle.LIN.expected (added)
8051/tests/clight/testTB_boucle.LTL.expected (added)
8051/tests/clight/testTB_boucle.RTL.expected (added)
8051/tests/clight/testTB_boucle.RTLabs.expected (added)
8051/tests/clight/testTB_boucle.c (added)
8051/tests/clight/testTB_boucle.c.expected (added)
8051/tests/clight/testTB_boucle.log.expected (added)

Note: See TracChangeset for help on using the changeset viewer.

Download in other formats: