Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
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:
Unified Diff
Zip Archive