# # ChangeLog for Deliverables/D2.2/8051 # # Generated by Trac 1.2 # Jan 28, 2021, 9:12:05 AM Tue, 06 Dec 2011 16:04:13 GMT tranquil [1589] * Deliverables/D2.2/8051/src/ASM/I8051.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTL.mli (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLToLTL.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLToLTLI.ml (modified) * Deliverables/D2.2/8051/src/ERTL/liveness.ml (modified) * Deliverables/D2.2/8051/src/ERTL/liveness.mli (modified) * Deliverables/D2.2/8051/src/LTL/LTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTL.mli (modified) * Deliverables/D2.2/8051/src/RTL/RTLConstPropagation.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLGraph.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLToERTL.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabs.mli (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsInterpret.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsPrinter.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsToRTL.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/constPropagation.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/copyPropagation.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/redundancyElimination.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorToRTLabs.ml (modified) * turned to argument-less return statements for RTLabs and RTL (there ... Fri, 02 Dec 2011 18:49:19 GMT tranquil [1585] * Deliverables/D2.2/8051/src/ERTL/ERTLGraph.ml (added) * Deliverables/D2.2/8051/src/ERTL/ERTLGraph.mli (added) * Deliverables/D2.2/8051/src/ERTL/ERTLPrinter.mli (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLToLTL.ml (modified) * Deliverables/D2.2/8051/src/ERTL/liveness.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLConstPropagation.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsToRTL.ml (modified) * Deliverables/D2.2/8051/src/checker.ml (modified) * Deliverables/D2.2/8051/src/common/costLabel.ml (modified) * Deliverables/D2.2/8051/src/common/costLabel.mli (modified) * Deliverables/D2.2/8051/src/utilities/miscPottier.ml (modified) * Deliverables/D2.2/8051/src/utilities/miscPottier.mli (modified) fighting with a bug of the translation from RTL to ERTL Fri, 02 Dec 2011 14:13:04 GMT tranquil [1584] * Deliverables/D2.2/8051/src/RTL/RTLConstPropagation.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLToERTL.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsToRTL.ml (modified) * Deliverables/D2.2/8051/src/common/label.ml (modified) * Deliverables/D2.2/8051/src/common/label.mli (modified) * Deliverables/D2.2/8051/src/utilities/bList.ml (modified) * Deliverables/D2.2/8051/src/utilities/bList.mli (modified) * Deliverables/D2.2/8051/src/utilities/graphUtilities.ml (modified) * Deliverables/D2.2/8051/src/utilities/graphUtilities.mli (modified) * Deliverables/D2.2/8051/src/utilities/miscPottier.ml (modified) * Deliverables/D2.2/8051/src/utilities/miscPottier.mli (modified) * new form of translation written in graphUtilites (mainly as a test ... Thu, 01 Dec 2011 13:50:27 GMT tranquil [1580] * Deliverables/D2.2/8051/src/ERTL/ERTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/ERTL/liveness.ml (modified) * Deliverables/D2.2/8051/src/LIN/LINToASM.ml (modified) * Deliverables/D2.2/8051/src/LIN/simplePeephole.ml (added) * Deliverables/D2.2/8051/src/LIN/simplePeephole.mli (added) * Deliverables/D2.2/8051/src/LTL/LTLGraph.ml (added) * Deliverables/D2.2/8051/src/LTL/LTLGraph.mli (added) * Deliverables/D2.2/8051/src/LTL/LTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLConstPropagation.ml (added) * Deliverables/D2.2/8051/src/RTL/RTLConstPropagation.mli (added) * Deliverables/D2.2/8051/src/RTL/RTLGraph.ml (added) * Deliverables/D2.2/8051/src/RTL/RTLGraph.mli (added) * Deliverables/D2.2/8051/src/RTL/RTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLPrinter.mli (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsGraph.ml (moved) * Deliverables/D2.2/8051/src/RTLabs/RTLabsGraph.mli (moved) * Deliverables/D2.2/8051/src/RTLabs/RTLabsPrinter.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsToRTL.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/constPropagation.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/constPropagation.mli (modified) * Deliverables/D2.2/8051/src/RTLabs/copyPropagation.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/redundancyElimination.ml (modified) * Deliverables/D2.2/8051/src/clight/loopPeeling.ml (modified) * Deliverables/D2.2/8051/src/options.ml (modified) * Deliverables/D2.2/8051/src/utilities/bList.ml (added) * Deliverables/D2.2/8051/src/utilities/bList.mli (added) * Deliverables/D2.2/8051/src/utilities/graphUtilities.ml (added) * Deliverables/D2.2/8051/src/utilities/graphUtilities.mli (added) implemented constant propagation in LTL cleaned up translations in ... Mon, 28 Nov 2011 14:13:14 GMT tranquil [1572] * Deliverables/D2.2/8051/src/ERTL/ERTL.mli (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLToLTLI.ml (modified) * Deliverables/D2.2/8051/src/ERTL/liveness.ml (modified) * Deliverables/D2.2/8051/src/ERTL/uses.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTL.mli (modified) * Deliverables/D2.2/8051/src/RTL/RTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLToERTL.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabs.mli (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsInterpret.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsPrinter.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsToRTL.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsUtilities.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/constPropagation.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/copyPropagation.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/redundancyElimination.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorToRTLabs.ml (modified) * corrected previous bug * finished propagating immediates Fri, 25 Nov 2011 18:46:53 GMT tranquil [1569] * Deliverables/D2.2/8051/src/RTLabs/RTLabsUtilities.ml (added) * Deliverables/D2.2/8051/src/RTLabs/RTLabsUtilities.mli (added) * Deliverables/D2.2/8051/src/RTLabs/constPropagation.ml (added) * Deliverables/D2.2/8051/src/RTLabs/constPropagation.mli (added) * Deliverables/D2.2/8051/src/RTLabs/copyPropagation.ml (added) * Deliverables/D2.2/8051/src/RTLabs/copyPropagation.mli (added) * Deliverables/D2.2/8051/src/RTLabs/redundancyElimination.ml (added) * Deliverables/D2.2/8051/src/RTLabs/redundancyElimination.mli (added) * Deliverables/D2.2/8051/src/clight/loopPeeling.ml (added) * Deliverables/D2.2/8051/src/clight/loopPeeling.mli (added) * Deliverables/D2.2/8051/src/clight/loopUnrolling.ml (added) * Deliverables/D2.2/8051/src/clight/loopUnrolling.mli (added) * Deliverables/D2.2/8051/src/common/costExpr.ml (added) * Deliverables/D2.2/8051/src/common/costExpr.mli (added) * Deliverables/D2.2/8051/src/utilities/extArray.ml (added) * Deliverables/D2.2/8051/src/utilities/extArray.mli (added) * added in repository some missing files... Fri, 25 Nov 2011 18:43:39 GMT tranquil [1568] * Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml (modified) * Deliverables/D2.2/8051/src/ASM/I8051.ml (modified) * Deliverables/D2.2/8051/src/ASM/I8051.mli (modified) * Deliverables/D2.2/8051/src/ERTL/ERTL.mli (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLToLTLI.ml (modified) * Deliverables/D2.2/8051/src/ERTL/build.ml (modified) * Deliverables/D2.2/8051/src/ERTL/liveness.ml (modified) * Deliverables/D2.2/8051/src/ERTL/uses.ml (modified) * Deliverables/D2.2/8051/src/LIN/LIN.mli (modified) * Deliverables/D2.2/8051/src/LIN/LINInterpret.ml (modified) * Deliverables/D2.2/8051/src/LIN/LINPrinter.ml (modified) * Deliverables/D2.2/8051/src/LIN/LINToASM.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTL.mli (modified) * Deliverables/D2.2/8051/src/LTL/LTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTL.mli (modified) * Deliverables/D2.2/8051/src/RTL/RTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLToERTL.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabs.mli (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsPrinter.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsToRTL.ml (modified) * Deliverables/D2.2/8051/src/common/intValue.ml (modified) * Deliverables/D2.2/8051/src/common/intValue.mli (modified) * Deliverables/D2.2/8051/src/common/memory.ml (modified) * Deliverables/D2.2/8051/src/common/value.ml (modified) * Deliverables/D2.2/8051/src/common/value.mli (modified) * Deliverables/D5.1/cost-plug-in-indexed-labels-branch/plugin/cost.ml (modified) * Immediates introduced (but not fully used yet in RTLabs to RTL ... Wed, 23 Nov 2011 17:39:13 GMT tranquil [1546] * Deliverables/D2.2/8051/src/acc.ml (modified) * Deliverables/D2.2/8051/src/options.ml (modified) * Deliverables/D2.2/8051/src/options.mli (modified) added an option to prevent reindexing transformations from taking ... Wed, 23 Nov 2011 16:43:24 GMT tranquil [1542] * Deliverables/D2.2/8051/src/ASM/ASM.mli (modified) * Deliverables/D2.2/8051/src/ASM/ASMCosts.ml (modified) * Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml (modified) * Deliverables/D2.2/8051/src/ASM/ASMInterpret.mli (modified) * Deliverables/D2.2/8051/src/ASM/Pretty.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTL.mli (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLToLTLI.ml (modified) * Deliverables/D2.2/8051/src/ERTL/liveness.ml (modified) * Deliverables/D2.2/8051/src/ERTL/uses.ml (modified) * Deliverables/D2.2/8051/src/LIN/LIN.mli (modified) * Deliverables/D2.2/8051/src/LIN/LINInterpret.ml (modified) * Deliverables/D2.2/8051/src/LIN/LINPrinter.ml (modified) * Deliverables/D2.2/8051/src/LIN/LINToASM.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTL.mli (modified) * Deliverables/D2.2/8051/src/LTL/LTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLToLIN.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLToLINI.ml (modified) * Deliverables/D2.2/8051/src/LTL/branch.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTL.mli (modified) * Deliverables/D2.2/8051/src/RTL/RTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLToERTL.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabs.mli (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsInterpret.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsPrinter.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsPrinter.mli (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsToRTL.ml (modified) * Deliverables/D2.2/8051/src/acc.ml (modified) * Deliverables/D2.2/8051/src/checker.ml (modified) * Deliverables/D2.2/8051/src/clight/clight.mli (modified) * Deliverables/D2.2/8051/src/clight/clightAnnotator.ml (modified) * Deliverables/D2.2/8051/src/clight/clightAnnotator.mli (modified) * Deliverables/D2.2/8051/src/clight/clightFold.ml (modified) * Deliverables/D2.2/8051/src/clight/clightFromC.ml (modified) * Deliverables/D2.2/8051/src/clight/clightInterpret.ml (modified) * Deliverables/D2.2/8051/src/clight/clightLabelling.ml (modified) * Deliverables/D2.2/8051/src/clight/clightParser.mli (modified) * Deliverables/D2.2/8051/src/clight/clightPrinter.ml (modified) * Deliverables/D2.2/8051/src/clight/clightToCminor.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminor.mli (modified) * Deliverables/D2.2/8051/src/cminor/cminorAnnotator.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorFold.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorInterpret.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorPrinter.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorToRTLabs.ml (modified) * Deliverables/D2.2/8051/src/common/costLabel.ml (modified) * Deliverables/D2.2/8051/src/common/costLabel.mli (modified) * Deliverables/D2.2/8051/src/common/label.ml (modified) * Deliverables/D2.2/8051/src/common/label.mli (modified) * Deliverables/D2.2/8051/src/languages.ml (modified) * Deliverables/D2.2/8051/src/languages.mli (modified) * Deliverables/D2.2/8051/src/options.ml (modified) * Deliverables/D2.2/8051/src/options.mli (modified) merge of indexed labels branch Mon, 21 Nov 2011 17:17:45 GMT ayache [1525] * Deliverables/D2.2/8051/src/LIN/LINToASM.ml (modified) * Deliverables/D2.2/8051/src/clight/runtime.ml (modified) * Deliverables/D2.2/8051/tests/tmp_tests (added) * Deliverables/D2.2/8051/tests/tmp_tests/Backend (added) * Deliverables/D2.2/8051/tests/tmp_tests/Backend/array_copy.c (added) * Deliverables/D2.2/8051/tests/tmp_tests/Backend/array_copy_u.c (added) * Deliverables/D2.2/8051/tests/tmp_tests/Backend/bubble_sort.c (added) * Deliverables/D2.2/8051/tests/tmp_tests/Backend/bubble_sort_u.c (added) * Deliverables/D2.2/8051/tests/tmp_tests/Backend/quicksort.c (added) * Deliverables/D2.2/8051/tests/tmp_tests/Backend/quicksort_u.c (added) * Deliverables/D2.2/8051/tests/tmp_tests/Backend/search.c (added) * Deliverables/D2.2/8051/tests/tmp_tests/Backend/struct_and_ptr_and_fact.c (added) * Deliverables/D2.2/8051/tests/tmp_tests/Backend/struct_and_ptr_and_fact_u.c (added) * Deliverables/D2.2/8051/tests/tmp_tests/Frontend (added) * Deliverables/D2.2/8051/tests/tmp_tests/Frontend/array_copy.RTLabs (added) * Deliverables/D2.2/8051/tests/tmp_tests/Frontend/array_copy.c (added) * Deliverables/D2.2/8051/tests/tmp_tests/Frontend/bubble_sort.RTLabs (added) * Deliverables/D2.2/8051/tests/tmp_tests/Frontend/bubble_sort.c (added) * Deliverables/D2.2/8051/tests/tmp_tests/Frontend/function_pointers.c (added) * Deliverables/D2.2/8051/tests/tmp_tests/Frontend/quicksort.RTLabs (added) * Deliverables/D2.2/8051/tests/tmp_tests/Frontend/quicksort.c (added) * Deliverables/D2.2/8051/tests/tmp_tests/Frontend/search.RTLabs (added) * Deliverables/D2.2/8051/tests/tmp_tests/Frontend/search.c (added) * Deliverables/D2.2/8051/tests/tmp_tests/Frontend/struct_and_ptr_and_fact.RTLabs (added) * Deliverables/D2.2/8051/tests/tmp_tests/Frontend/struct_and_ptr_and_fact.c (added) D2.2: function pointers using JMP. Thu, 10 Nov 2011 14:39:57 GMT ayache [1504] * Deliverables/D2.2/8051/src/clight/clightLabelling.ml (modified) 8051 ocaml: bug fix in the labelling of do-whiles. Fri, 04 Nov 2011 13:49:39 GMT ayache [1492] * Deliverables/D2.2/8051/src/LIN/LINToASM.ml (modified) Comment in D2.2 -> LINToASM about function pointers. Fri, 04 Nov 2011 12:39:01 GMT ayache [1491] * Deliverables/D2.2/8051/src/LIN/LINToASM.ml (modified) Function pointers good and working. Fri, 04 Nov 2011 12:25:41 GMT ayache [1490] * Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml (modified) * Deliverables/D2.2/8051/src/clight/clightLustre.ml (added) * Deliverables/D2.2/8051/src/clight/clightLustre.mli (added) * Deliverables/D2.2/8051/src/clight/clightLustreMain.ml (added) * Deliverables/D2.2/8051/src/clight/clightLustreMain.mli (added) Function pointers fixed. Fri, 04 Nov 2011 11:22:17 GMT ayache [1488] * Deliverables/D2.2/8051/Makefile.generic (modified) * Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml (modified) * Deliverables/D2.2/8051/src/ASM/ASMInterpret.mli (modified) * Deliverables/D2.2/8051/src/ASM/I8051.ml (modified) * Deliverables/D2.2/8051/src/ASM/I8051.mli (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLToLTLI.ml (modified) * Deliverables/D2.2/8051/src/LIN/LIN.mli (modified) * Deliverables/D2.2/8051/src/LIN/LINInterpret.ml (modified) * Deliverables/D2.2/8051/src/LIN/LINPrinter.ml (modified) * Deliverables/D2.2/8051/src/LIN/LINToASM.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTL.mli (modified) * Deliverables/D2.2/8051/src/LTL/LTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLToLIN.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLToLINI.ml (modified) * Deliverables/D2.2/8051/src/LTL/branch.ml (modified) * Deliverables/D2.2/8051/src/dev_test.ml (modified) * Deliverables/D2.2/8051/src/languages.mli (modified) Function pointers in D2.2/8051. Bugged for now. Tue, 25 Oct 2011 14:11:11 GMT ayache [1462] * Deliverables/D2.1/report.log (modified) * Deliverables/D2.1/report.pdf (modified) * Deliverables/D2.2/8051/distributed_files (modified) * Deliverables/D2.2/8051/src/ASM/ASM.mli (modified) * Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTL.mli (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLToLTLI.ml (modified) * Deliverables/D2.2/8051/src/ERTL/liveness.ml (modified) * Deliverables/D2.2/8051/src/ERTL/uses.ml (modified) * Deliverables/D2.2/8051/src/LIN/LIN.mli (modified) * Deliverables/D2.2/8051/src/LIN/LINInterpret.ml (modified) * Deliverables/D2.2/8051/src/LIN/LINPrinter.ml (modified) * Deliverables/D2.2/8051/src/LIN/LINToASM.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTL.mli (modified) * Deliverables/D2.2/8051/src/LTL/LTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLToLIN.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLToLINI.ml (modified) * Deliverables/D2.2/8051/src/LTL/branch.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLToERTL.ml (modified) * Deliverables/D2.2/8051/src/acc.ml (modified) * Deliverables/D2.2/8051/src/clight/clightAnnotator.ml (modified) * Deliverables/D2.2/8051/src/clight/clightAnnotator.mli (modified) * Deliverables/D2.2/8051/src/clight/clightParser.ml (modified) * Deliverables/D2.2/8051/src/clight/clightParser.mli (modified) * Deliverables/D2.2/8051/src/clight/clightSwitch.ml (modified) * Deliverables/D2.2/8051/src/clight/clightToCminor.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorInterpret.ml (modified) * Deliverables/D2.2/8051/src/dev_test.ml (modified) * Deliverables/D2.2/8051/src/languages.ml (modified) * Deliverables/D2.2/8051/src/languages.mli (modified) * Deliverables/D2.2/8051/src/options.ml (modified) * Deliverables/D2.2/8051/src/options.mli (modified) * Deliverables/D2.2/8051/src/utilities/stringSig.mli (modified) * Deliverables/D2.2/8051/src/utilities/stringTools.ml (modified) * Deliverables/D5.1 (added) * Deliverables/D5.1/cost-plug-in (added) * Deliverables/D5.1/cost-plug-in/Makefile (added) * Deliverables/D5.1/cost-plug-in/README (added) * Deliverables/D5.1/cost-plug-in/distributed_files (added) * Deliverables/D5.1/cost-plug-in/plugin (added) * Deliverables/D5.1/cost-plug-in/plugin/Makefile (added) * Deliverables/D5.1/cost-plug-in/plugin/README (added) * Deliverables/D5.1/cost-plug-in/plugin/cerco.ml (added) * Deliverables/D5.1/cost-plug-in/plugin/compute.ml (added) * Deliverables/D5.1/cost-plug-in/plugin/cost.ml (added) * Deliverables/D5.1/cost-plug-in/plugin/cost_value.ml (added) * Deliverables/D5.1/cost-plug-in/plugin/help (added) * Deliverables/D5.1/cost-plug-in/plugin/help/mailinglisthelp (added) * Deliverables/D5.1/cost-plug-in/plugin/stringTools.ml (added) * Deliverables/D5.1/cost-plug-in/plugin/tests (added) * Deliverables/D5.1/cost-plug-in/plugin/tests/bubble_sort.c (added) * Deliverables/D5.1/cost-plug-in/wrapper (added) * Deliverables/D5.1/cost-plug-in/wrapper/Makefile (added) * Deliverables/D5.1/cost-plug-in/wrapper/README (added) * Deliverables/D5.1/cost-plug-in/wrapper/_tags (added) * Deliverables/D5.1/cost-plug-in/wrapper/error.ml (added) * Deliverables/D5.1/cost-plug-in/wrapper/error.mli (added) * Deliverables/D5.1/cost-plug-in/wrapper/main.ml (added) * Deliverables/D5.1/cost-plug-in/wrapper/misc.ml (added) * Deliverables/D5.1/cost-plug-in/wrapper/misc.mli (added) * Deliverables/D5.1/cost-plug-in/wrapper/options.ml (added) * Deliverables/D5.1/cost-plug-in/wrapper/options.mli (added) * Deliverables/D5.1/cost-plug-in/wrapper/optionsParsing.ml (added) * Deliverables/D5.1/cost-plug-in/wrapper/position.ml (added) * Deliverables/D5.1/cost-plug-in/wrapper/position.mli (added) * Deliverables/D5.1/cost-plug-in/wrapper/tests (added) * Deliverables/D5.1/cost-plug-in/wrapper/tests/parity (added) * Deliverables/D5.1/cost-plug-in/wrapper/tests/parity/Makefile (added) * Deliverables/D5.1/cost-plug-in/wrapper/tests/parity/README (added) * Deliverables/D5.1/cost-plug-in/wrapper/tests/parity/parity.lus (added) Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been ... Wed, 19 Oct 2011 15:59:50 GMT tranquil [1421] * Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightLabelling.ml (modified) * Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightToCminor.ml (modified) * Deliverables/D2.2/8051-indexed-labels-branch/src/cminor/cminorToRTLabs.ml (modified) * Deliverables/D2.2/8051-indexed-labels-branch/src/common/costLabel.ml (modified) * Deliverables/D2.2/8051-indexed-labels-branch/src/common/costLabel.mli (modified) * Deliverables/D2.2/8051/src/cminor/cminorInterpret.ml (modified) first draft of peeling optimization: * a framework for heuristics ... Mon, 26 Sep 2011 15:57:55 GMT campbell [1273] * Deliverables/D2.2/8051/myocamlbuild_config.ml (deleted) Remove generated file. Mon, 26 Sep 2011 15:57:55 GMT campbell [1272] * Deliverables/D2.2/8051/src/ERTL/ERTLToLTL.ml (modified) * Deliverables/D2.2/8051/src/utilities/interference.ml (modified) Revert accidental commit. Mon, 19 Sep 2011 10:57:02 GMT mulligan [1227] * Deliverables/D2.2/8051/src/ERTL/ERTLToLTL.ml (modified) * Deliverables/D2.2/8051/src/utilities/interference.ml (modified) * src/ERTL/build.ma (modified) * src/utilities/Colouring.ma (modified) changes Wed, 03 Aug 2011 14:17:41 GMT ayache [1099] * Deliverables/D2.2/8051/README (modified) * Deliverables/D2.2/8051/distributed_files (modified) * Deliverables/D2.2/8051/myocamlbuild_config.ml (modified) * Deliverables/D2.2/8051/src/clight/clightCasts.ml (modified) Bug fix in Deliverables/D2.2/8051: cast simplification. Thu, 19 May 2011 14:03:04 GMT ayache [818] * Deliverables/D2.2/8051/README (modified) * Deliverables/D2.2/8051/myocamlbuild_config.ml (modified) * Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml (modified) * Deliverables/D2.2/8051/src/ASM/I8051.ml (modified) * Deliverables/D2.2/8051/src/ASM/I8051.mli (modified) * Deliverables/D2.2/8051/src/ASM/Pretty.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTL.mli (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLToLTLI.ml (modified) * Deliverables/D2.2/8051/src/ERTL/liveness.ml (modified) * Deliverables/D2.2/8051/src/ERTL/uses.ml (modified) * Deliverables/D2.2/8051/src/LIN/LIN.mli (modified) * Deliverables/D2.2/8051/src/LIN/LINInterpret.ml (modified) * Deliverables/D2.2/8051/src/LIN/LINPrinter.ml (modified) * Deliverables/D2.2/8051/src/LIN/LINPrinter.mli (modified) * Deliverables/D2.2/8051/src/LIN/LINToASM.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTL.mli (modified) * Deliverables/D2.2/8051/src/LTL/LTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLToLIN.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLToLINI.ml (modified) * Deliverables/D2.2/8051/src/LTL/branch.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTL.mli (modified) * Deliverables/D2.2/8051/src/RTL/RTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLPrinter.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLToERTL.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabs.mli (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsInterpret.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsPrinter.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsToRTL.ml (modified) * Deliverables/D2.2/8051/src/acc.ml (modified) * Deliverables/D2.2/8051/src/clight/clight.mli (modified) * Deliverables/D2.2/8051/src/clight/clight32ToClight8.ml (modified) * Deliverables/D2.2/8051/src/clight/clightAnnotator.ml (modified) * Deliverables/D2.2/8051/src/clight/clightAnnotator.mli (modified) * Deliverables/D2.2/8051/src/clight/clightCasts.ml (modified) * Deliverables/D2.2/8051/src/clight/clightFold.ml (modified) * Deliverables/D2.2/8051/src/clight/clightFold.mli (modified) * Deliverables/D2.2/8051/src/clight/clightFromC.ml (modified) * Deliverables/D2.2/8051/src/clight/clightInterpret.ml (modified) * Deliverables/D2.2/8051/src/clight/clightLabelling.ml (modified) * Deliverables/D2.2/8051/src/clight/clightParser.ml (modified) * Deliverables/D2.2/8051/src/clight/clightPrinter.ml (modified) * Deliverables/D2.2/8051/src/clight/clightPrinter.mli (modified) * Deliverables/D2.2/8051/src/clight/clightSwitch.ml (added) * Deliverables/D2.2/8051/src/clight/clightSwitch.mli (added) * Deliverables/D2.2/8051/src/clight/clightToCminor.ml (modified) * Deliverables/D2.2/8051/src/clight/clightToCminor.mli (modified) * Deliverables/D2.2/8051/src/clight/runtime.ml (modified) * Deliverables/D2.2/8051/src/clight/runtime.mli (modified) * Deliverables/D2.2/8051/src/cminor/cminor.mli (modified) * Deliverables/D2.2/8051/src/cminor/cminorAnnotator.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorAnnotator.mli (modified) * Deliverables/D2.2/8051/src/cminor/cminorFold.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorFold.mli (modified) * Deliverables/D2.2/8051/src/cminor/cminorInterpret.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorInterpret.mli (modified) * Deliverables/D2.2/8051/src/cminor/cminorLabelling.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorLexer.mll (modified) * Deliverables/D2.2/8051/src/cminor/cminorParser.mly (modified) * Deliverables/D2.2/8051/src/cminor/cminorPrinter.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorToRTLabs.ml (modified) * Deliverables/D2.2/8051/src/common/AST.mli (modified) * Deliverables/D2.2/8051/src/common/intValue.ml (modified) * Deliverables/D2.2/8051/src/common/intValue.mli (modified) * Deliverables/D2.2/8051/src/common/memory.ml (modified) * Deliverables/D2.2/8051/src/common/memory.mli (modified) * Deliverables/D2.2/8051/src/common/primitive.ml (modified) * Deliverables/D2.2/8051/src/common/primitive.mli (modified) * Deliverables/D2.2/8051/src/common/value.ml (modified) * Deliverables/D2.2/8051/src/common/value.mli (modified) * Deliverables/D2.2/8051/src/dev_test.ml (modified) * Deliverables/D2.2/8051/src/languages.ml (modified) * Deliverables/D2.2/8051/src/languages.mli (modified) * Deliverables/D2.2/8051/src/utilities/miscPottier.ml (modified) * Deliverables/D2.2/8051/src/utilities/miscPottier.mli (modified) * Deliverables/D2.2/8051/src/utilities/stringSig.mli (modified) * Deliverables/D2.2/8051/src/utilities/stringTools.ml (modified) * Deliverables/D2.2/8051/tests/review1/search.c (modified) 32 and 16 bits operations support in D2.2/8051 Fri, 13 May 2011 11:10:21 GMT campbell [796] * Deliverables/D2.2/8051/src/clight/clightLabelling.ml (modified) Put correct type on cost label expressions in the prototype. Thu, 07 Apr 2011 09:11:26 GMT mulligan [743] * Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml (modified) * Deliverables/D2.2/8051/src/ASM/ASMInterpret.mli (modified) Removed mess from yesterday. Wed, 06 Apr 2011 09:16:43 GMT mulligan [742] * Deliverables/D2.2/8051/myocamlbuild_config.ml (modified) * Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml (modified) * Deliverables/D2.2/8051/src/ASM/ASMInterpret.mli (modified) Added extra debugging feature for Nicolas Mon, 04 Apr 2011 16:24:22 GMT ayache [741] * Deliverables/D2.2/8051/src/LIN/LINToASM.ml (modified) Bug fix in LINToASM in D2.2's 8051 (negative integers). Mon, 04 Apr 2011 15:18:15 GMT ayache [740] * Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml (modified) * Deliverables/D2.2/8051/src/ASM/I8051.ml (modified) * Deliverables/D2.2/8051/src/ASM/I8051.mli (modified) * Deliverables/D2.2/8051/src/ERTL/ERTL.mli (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLToLTLI.ml (modified) * Deliverables/D2.2/8051/src/LIN/LINInterpret.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTL.mli (modified) * Deliverables/D2.2/8051/src/RTL/RTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLToERTL.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabs.mli (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsInterpret.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsPrinter.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsPrinter.mli (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsToRTL.ml (modified) * Deliverables/D2.2/8051/src/acc.ml (modified) * Deliverables/D2.2/8051/src/clight/clight32ToClight8.ml (modified) * Deliverables/D2.2/8051/src/clight/clightCasts.ml (modified) * Deliverables/D2.2/8051/src/clight/clightCasts.mli (modified) * Deliverables/D2.2/8051/src/clight/clightFold.mli (modified) * Deliverables/D2.2/8051/src/clight/clightInterpret.ml (modified) * Deliverables/D2.2/8051/src/clight/clightInterpret.mli (modified) * Deliverables/D2.2/8051/src/clight/clightParser.ml (modified) * Deliverables/D2.2/8051/src/clight/clightToCminor.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminor.mli (modified) * Deliverables/D2.2/8051/src/cminor/cminorAnnotator.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorInterpret.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorLexer.mll (modified) * Deliverables/D2.2/8051/src/cminor/cminorParser.mly (modified) * Deliverables/D2.2/8051/src/cminor/cminorPointers.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorPrinter.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorPrinter.mli (modified) * Deliverables/D2.2/8051/src/cminor/cminorToRTLabs.ml (modified) * Deliverables/D2.2/8051/src/common/intValue.ml (modified) * Deliverables/D2.2/8051/src/common/memory.ml (modified) * Deliverables/D2.2/8051/src/common/memory.mli (modified) * Deliverables/D2.2/8051/src/common/primitive.ml (modified) * Deliverables/D2.2/8051/src/common/primitive.mli (modified) * Deliverables/D2.2/8051/src/common/value.ml (modified) * Deliverables/D2.2/8051/src/common/value.mli (modified) * Deliverables/D2.2/8051/src/dev_test.ml (modified) * Deliverables/D2.2/8051/src/driver.ml (modified) * Deliverables/D2.2/8051/src/languages.ml (modified) * Deliverables/D2.2/8051/src/languages.mli (modified) * Deliverables/D2.2/8051/src/options.ml (modified) * Deliverables/D2.2/8051/src/options.mli (modified) * Deliverables/D2.2/8051/src/utilities/interference.mli (modified) * Deliverables/D2.2/8051/src/utilities/miscPottier.ml (modified) * Deliverables/D2.2/8051/src/utilities/miscPottier.mli (modified) New memory model and bug fixes in 8051 branch. Added primitive ... Wed, 16 Mar 2011 13:36:28 GMT ayache [685] * Deliverables/D2.2/8051/myocamlbuild_config.ml (modified) * Deliverables/D2.2/8051/src/LIN/LINToASM.ml (modified) * Deliverables/D2.2/8051/src/LIN/LINToASM.mli (modified) Bug fix in LINToASM (wrong conditional translation) in 8051 branch. Thu, 10 Mar 2011 10:48:33 GMT mulligan [664] * Deliverables/D1.1/Presentations/WP4-demo-script (added) * Deliverables/D2.2/8051/myocamlbuild_config.ml (modified) * Deliverables/D2.2/8051/src/ASM/IntelHex.ml (modified) * Deliverables/D2.3/8051/myocamlbuild_config.ml (modified) * Deliverables/D4.1/ASMInterpret.ml (modified) * Deliverables/D4.1/Demo-March-2011/Trace.out (modified) * Deliverables/D4.1/Demo-March-2011/matita/Arithmetic.ma (modified) * Deliverables/D4.1/Demo-March-2011/matita/DoTest.ma (modified) * Deliverables/D4.1/Demo-March-2011/matita/Search.ma (modified) * Deliverables/D4.1/Matita/Test.ma (modified) * Deliverables/D4.1/ToMatita.ml (modified) Changed output of Intel HEX files so we no longer have those ... Mon, 07 Mar 2011 15:04:42 GMT ayache [645] * Deliverables/D2.2/8051/src/ASM/Pretty.ml (modified) * Deliverables/D2.2/8051/src/clight/clightAnnotator.ml (modified) Pretty output in D2.2. Mon, 07 Mar 2011 13:28:24 GMT ayache [643] * Deliverables/D2.2/8051/src/ASM/ASMCosts.ml (modified) Bug fix in ASMCosts in D2.2. Mon, 07 Mar 2011 13:19:53 GMT ayache [642] * Deliverables/D2.2/8051/tests/review1 (added) * Deliverables/D2.2/8051/tests/review1/search.c (added) Added the review example in D2.2 (8051/tests/review1/) Mon, 07 Mar 2011 13:18:53 GMT ayache [641] * Deliverables/D2.2/8051/src/ASM/ASMCosts.ml (modified) Improvement in the code of the cost computation in D2.2. Mon, 07 Mar 2011 10:10:57 GMT ayache [640] * Deliverables/D2.2/8051/src/ASM/ASMPrinter.ml (modified) * Deliverables/D2.2/8051/src/ASM/Pretty.ml (modified) * Deliverables/D2.2/8051/src/ASM/Pretty.mli (modified) * Deliverables/D2.2/8051/src/acc.ml (modified) * Deliverables/D2.2/8051/src/clight/clightAnnotator.ml (modified) * Deliverables/D2.2/8051/src/clight/clightAnnotator.mli (modified) * Deliverables/D2.2/8051/src/cminor/cminorAnnotator.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorAnnotator.mli (modified) * Deliverables/D2.2/8051/src/languages.ml (modified) * Deliverables/D2.2/8051/src/languages.mli (modified) Hex output not too long for mcu anymore. Readable output added. Fri, 04 Mar 2011 16:59:34 GMT ayache [634] * Deliverables/D2.2/8051/src/ASM/ASMCosts.ml (modified) Bug fix in ASMCosts in D2.2. Fri, 04 Mar 2011 14:59:42 GMT ayache [632] * Deliverables/D2.2/8051/src/ASM/ASMCosts.ml (modified) Small change in ASMCosts. Fri, 04 Mar 2011 01:00:33 GMT ayache [631] * Deliverables/D2.2/8051/src/ASM/ASMCosts.ml (modified) * Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml (modified) * Deliverables/D2.2/8051/src/ASM/ASMInterpret.mli (modified) * Deliverables/D2.2/8051/src/LIN/LINToASM.ml (modified) Some bugs fixed in D2.2. Thu, 03 Mar 2011 17:27:12 GMT ayache [630] * Deliverables/D2.2/8051/myocamlbuild_config.ml (modified) * Deliverables/D2.2/8051/src/ASM/ASMCosts.ml (modified) * Deliverables/D2.2/8051/src/acc.ml (modified) * Deliverables/D2.2/8051/src/clight/clightInterpret.ml (modified) * Deliverables/D2.2/8051/src/common/intValue.ml (modified) Paris update in D2.2. Thu, 03 Mar 2011 12:57:38 GMT mulligan [627] * Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml (modified) * Deliverables/D2.2/8051/src/ASM/Pretty.ml (added) * Deliverables/D2.2/8051/src/ASM/Pretty.mli (added) Fixed bug in ASMInterpret.ml. Added pretty printing module. Thu, 03 Mar 2011 11:57:35 GMT mulligan [625] * Deliverables/D2.2/8051/myocamlbuild_config.ml (modified) * Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml (modified) Fixed ASMInterpret so no assert false is generated. Working on ... Wed, 02 Mar 2011 22:06:58 GMT ayache [624] * Deliverables/D2.2/8051/myocamlbuild_config.ml (modified) * Deliverables/D2.2/8051/src/LIN/LINToASM.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLToERTL.ml (modified) * Deliverables/D2.2/8051/src/clight/clightAnnotator.ml (modified) * Deliverables/D2.2/8051/src/clight/clightCasts.ml (modified) * Deliverables/D2.2/8051/src/clight/clightFold.ml (modified) * Deliverables/D2.2/8051/src/clight/clightInterpret.ml (modified) * Deliverables/D2.2/8051/src/clight/clightToCminor.ml (modified) Bug fixs and signed division hack in D2.2. Wed, 02 Mar 2011 17:10:52 GMT mulligan [622] * Deliverables/D2.2/8051/myocamlbuild_config.ml (modified) * Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml (modified) Started fixing assert false problem. Wed, 02 Mar 2011 16:53:31 GMT ayache [621] * Deliverables/D2.2/8051/src/ASM/ASMCosts.ml (modified) Bug fix in cost computation in D2.2. Wed, 02 Mar 2011 14:27:41 GMT ayache [619] * Deliverables/D2.2/8051/README (modified) * Deliverables/D2.2/8051/distributed_files (modified) * Deliverables/D2.2/8051/myocamlbuild_config.ml (modified) * Deliverables/D2.2/8051/src/ASM/ASM.mli (modified) * Deliverables/D2.2/8051/src/ASM/ASMCosts.ml (modified) * Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml (modified) * Deliverables/D2.2/8051/src/ASM/ASMInterpret.mli (modified) * Deliverables/D2.2/8051/src/ASM/ASMPrinter.ml (modified) * Deliverables/D2.2/8051/src/ASM/ASMPrinter.mli (modified) * Deliverables/D2.2/8051/src/ASM/BitVectors.ml (modified) * Deliverables/D2.2/8051/src/ASM/BitVectors.mli (modified) * Deliverables/D2.2/8051/src/ASM/I8051.ml (modified) * Deliverables/D2.2/8051/src/ASM/IntelHex.ml (modified) * Deliverables/D2.2/8051/src/ASM/IntelHex.mli (modified) * Deliverables/D2.2/8051/src/ASM/Parser.ml (modified) * Deliverables/D2.2/8051/src/ASM/Physical.ml (modified) * Deliverables/D2.2/8051/src/ASM/Physical.mli (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/ERTL/ERTLInterpret.mli (modified) * Deliverables/D2.2/8051/src/LIN/LINInterpret.ml (modified) * Deliverables/D2.2/8051/src/LIN/LINInterpret.mli (modified) * Deliverables/D2.2/8051/src/LIN/LINToASM.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/LTL/LTLInterpret.mli (modified) * Deliverables/D2.2/8051/src/RTL/RTLInterpret.ml (modified) * Deliverables/D2.2/8051/src/RTL/RTLInterpret.mli (modified) * Deliverables/D2.2/8051/src/RTL/RTLToERTL.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsInterpret.ml (modified) * Deliverables/D2.2/8051/src/RTLabs/RTLabsInterpret.mli (modified) * Deliverables/D2.2/8051/src/acc.ml (modified) * Deliverables/D2.2/8051/src/checker.ml (modified) * Deliverables/D2.2/8051/src/checker.mli (modified) * Deliverables/D2.2/8051/src/clight/clight32ToClight8.ml (added) * Deliverables/D2.2/8051/src/clight/clight32ToClight8.mli (added) * Deliverables/D2.2/8051/src/clight/clightAnnotator.ml (modified) * Deliverables/D2.2/8051/src/clight/clightAnnotator.mli (modified) * Deliverables/D2.2/8051/src/clight/clightCasts.ml (added) * Deliverables/D2.2/8051/src/clight/clightCasts.mli (added) * Deliverables/D2.2/8051/src/clight/clightFold.ml (added) * Deliverables/D2.2/8051/src/clight/clightFold.mli (added) * Deliverables/D2.2/8051/src/clight/clightInterpret.ml (modified) * Deliverables/D2.2/8051/src/clight/clightToCminor.ml (modified) * Deliverables/D2.2/8051/src/clight/runtime.ml (added) * Deliverables/D2.2/8051/src/clight/runtime.mli (added) * Deliverables/D2.2/8051/src/cminor/cminorAnnotator.ml (modified) * Deliverables/D2.2/8051/src/cminor/cminorAnnotator.mli (modified) * Deliverables/D2.2/8051/src/cminor/cminorInterpret.ml (modified) * Deliverables/D2.2/8051/src/common/AST.mli (modified) * Deliverables/D2.2/8051/src/common/intValue.ml (modified) * Deliverables/D2.2/8051/src/common/intValue.mli (modified) * Deliverables/D2.2/8051/src/common/memory.ml (modified) * Deliverables/D2.2/8051/src/common/memory.mli (modified) * Deliverables/D2.2/8051/src/common/value.ml (modified) * Deliverables/D2.2/8051/src/common/value.mli (modified) * Deliverables/D2.2/8051/src/dev_test.ml (modified) * Deliverables/D2.2/8051/src/languages.ml (modified) * Deliverables/D2.2/8051/src/languages.mli (modified) * Deliverables/D2.2/8051/src/options.ml (modified) * Deliverables/D2.2/8051/src/options.mli (modified) * Deliverables/D2.2/8051/src/utilities/miscPottier.ml (modified) * Deliverables/D2.2/8051/src/utilities/miscPottier.mli (modified) * Deliverables/D2.2/8051/tests/clight/array.c (modified) Update of D2.2 from Paris. Wed, 16 Feb 2011 12:39:42 GMT sacerdot [530] * Deliverables/D2.2/8051/README (modified) 8051/MIPS Fri, 04 Feb 2011 12:52:46 GMT ayache [486] * Deliverables/D2.1/report.log (modified) * Deliverables/D2.1/report.pdf (modified) * Deliverables/D2.2 (added) * Deliverables/D2.2/8051 (added) * Deliverables/D2.2/8051/Makefile (added) * Deliverables/D2.2/8051/Makefile.config (added) * Deliverables/D2.2/8051/Makefile.generic (added) * Deliverables/D2.2/8051/Makefile.local (added) * Deliverables/D2.2/8051/README (added) * Deliverables/D2.2/8051/_tags (added) * Deliverables/D2.2/8051/acc.odocl (added) * Deliverables/D2.2/8051/admin (added) * Deliverables/D2.2/8051/admin/myocamldoc (added) * Deliverables/D2.2/8051/cparser (added) * Deliverables/D2.2/8051/cparser/.depend (added) * Deliverables/D2.2/8051/cparser/AddCasts.ml (added) * Deliverables/D2.2/8051/cparser/AddCasts.mli (added) * Deliverables/D2.2/8051/cparser/Bitfields.ml (added) * Deliverables/D2.2/8051/cparser/Bitfields.mli (added) * Deliverables/D2.2/8051/cparser/Builtins.ml (added) * Deliverables/D2.2/8051/cparser/Builtins.mli (added) * Deliverables/D2.2/8051/cparser/C.mli (added) * Deliverables/D2.2/8051/cparser/CBuiltins.ml (added) * Deliverables/D2.2/8051/cparser/Cabs.ml (added) * Deliverables/D2.2/8051/cparser/Cabshelper.ml (added) * Deliverables/D2.2/8051/cparser/Ceval.ml (added) * Deliverables/D2.2/8051/cparser/Ceval.mli (added) * Deliverables/D2.2/8051/cparser/Cleanup.ml (added) * Deliverables/D2.2/8051/cparser/Cleanup.mli (added) * Deliverables/D2.2/8051/cparser/Cprint.ml (added) * Deliverables/D2.2/8051/cparser/Cprint.mli (added) * Deliverables/D2.2/8051/cparser/Cutil.ml (added) * Deliverables/D2.2/8051/cparser/Cutil.mli (added) * Deliverables/D2.2/8051/cparser/Elab.ml (added) * Deliverables/D2.2/8051/cparser/Elab.mli (added) * Deliverables/D2.2/8051/cparser/Env.ml (added) * Deliverables/D2.2/8051/cparser/Env.mli (added) * Deliverables/D2.2/8051/cparser/Errors.ml (added) * Deliverables/D2.2/8051/cparser/Errors.mli (added) * Deliverables/D2.2/8051/cparser/GCC.ml (added) * Deliverables/D2.2/8051/cparser/GCC.mli (added) * Deliverables/D2.2/8051/cparser/Lexer.mli (added) * Deliverables/D2.2/8051/cparser/Lexer.mll (added) * Deliverables/D2.2/8051/cparser/Machine.ml (added) * Deliverables/D2.2/8051/cparser/Machine.mli (added) * Deliverables/D2.2/8051/cparser/Main.ml (added) * Deliverables/D2.2/8051/cparser/Makefile (added) * Deliverables/D2.2/8051/cparser/Parse.ml (added) * Deliverables/D2.2/8051/cparser/Parse.mli (added) * Deliverables/D2.2/8051/cparser/Parse_aux.ml (added) * Deliverables/D2.2/8051/cparser/Parse_aux.mli (added) * Deliverables/D2.2/8051/cparser/Parser.mly (added) * Deliverables/D2.2/8051/cparser/Rename.ml (added) * Deliverables/D2.2/8051/cparser/Rename.mli (added) * Deliverables/D2.2/8051/cparser/SimplExpr.ml (added) * Deliverables/D2.2/8051/cparser/SimplExpr.mli (added) * Deliverables/D2.2/8051/cparser/StructAssign.ml (added) * Deliverables/D2.2/8051/cparser/StructAssign.mli (added) * Deliverables/D2.2/8051/cparser/StructByValue.ml (added) * Deliverables/D2.2/8051/cparser/StructByValue.mli (added) * Deliverables/D2.2/8051/cparser/Transform.ml (added) * Deliverables/D2.2/8051/cparser/Transform.mli (added) * Deliverables/D2.2/8051/cparser/Unblock.ml (added) * Deliverables/D2.2/8051/cparser/Unblock.mli (added) * Deliverables/D2.2/8051/cparser/uint64.c (added) * Deliverables/D2.2/8051/distributed_files (added) * Deliverables/D2.2/8051/doc (added) * Deliverables/D2.2/8051/doc/html (added) * Deliverables/D2.2/8051/doc/html/style.css (added) * Deliverables/D2.2/8051/doc/src (added) * Deliverables/D2.2/8051/doc/src/main (added) * Deliverables/D2.2/8051/myocamlbuild.ml (added) * Deliverables/D2.2/8051/myocamlbuild_config.ml (added) * Deliverables/D2.2/8051/src (added) * Deliverables/D2.2/8051/src/ASM (added) * Deliverables/D2.2/8051/src/ASM/ASM.mli (added) * Deliverables/D2.2/8051/src/ASM/ASMCosts.ml (added) * Deliverables/D2.2/8051/src/ASM/ASMCosts.mli (added) * Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml (added) * Deliverables/D2.2/8051/src/ASM/ASMInterpret.mli (added) * Deliverables/D2.2/8051/src/ASM/ASMPrinter.ml (added) * Deliverables/D2.2/8051/src/ASM/ASMPrinter.mli (added) * Deliverables/D2.2/8051/src/ASM/BitVectors.ml (added) * Deliverables/D2.2/8051/src/ASM/BitVectors.mli (added) * Deliverables/D2.2/8051/src/ASM/I8051.ml (added) * Deliverables/D2.2/8051/src/ASM/I8051.mli (added) * Deliverables/D2.2/8051/src/ASM/IntelHex.ml (added) * Deliverables/D2.2/8051/src/ASM/IntelHex.mli (added) * Deliverables/D2.2/8051/src/ASM/MIPS.ml (added) * Deliverables/D2.2/8051/src/ASM/MIPS.mli (added) * Deliverables/D2.2/8051/src/ASM/MIPSInterpret.ml (added) * Deliverables/D2.2/8051/src/ASM/MIPSInterpret.mli (added) * Deliverables/D2.2/8051/src/ASM/MIPSOps.mli (added) * Deliverables/D2.2/8051/src/ASM/Parser.ml (added) * Deliverables/D2.2/8051/src/ASM/Parser.mli (added) * Deliverables/D2.2/8051/src/ASM/Physical.ml (added) * Deliverables/D2.2/8051/src/ASM/Physical.mli (added) * Deliverables/D2.2/8051/src/ASM/Util.ml (added) * Deliverables/D2.2/8051/src/ASM/arch.mli (added) * Deliverables/D2.2/8051/src/ASM/printOps.ml (added) * Deliverables/D2.2/8051/src/ASM/printOps.mli (added) * Deliverables/D2.2/8051/src/ERTL (added) * Deliverables/D2.2/8051/src/ERTL/ERTL.mli (added) * Deliverables/D2.2/8051/src/ERTL/ERTLInterpret.ml (added) * Deliverables/D2.2/8051/src/ERTL/ERTLInterpret.mli (added) * Deliverables/D2.2/8051/src/ERTL/ERTLPrinter.ml (added) * Deliverables/D2.2/8051/src/ERTL/ERTLPrinter.mli (added) * Deliverables/D2.2/8051/src/ERTL/ERTLToLTL.ml (added) * Deliverables/D2.2/8051/src/ERTL/ERTLToLTL.mli (added) * Deliverables/D2.2/8051/src/ERTL/ERTLToLTLI.ml (added) * Deliverables/D2.2/8051/src/ERTL/ERTLToLTLI.mli (added) * Deliverables/D2.2/8051/src/ERTL/build.ml (added) * Deliverables/D2.2/8051/src/ERTL/build.mli (added) * Deliverables/D2.2/8051/src/ERTL/liveness.ml (added) * Deliverables/D2.2/8051/src/ERTL/liveness.mli (added) * Deliverables/D2.2/8051/src/ERTL/spill.ml (added) * Deliverables/D2.2/8051/src/ERTL/spill.mli (added) * Deliverables/D2.2/8051/src/ERTL/uses.ml (added) * Deliverables/D2.2/8051/src/ERTL/uses.mli (added) * Deliverables/D2.2/8051/src/LIN (added) * Deliverables/D2.2/8051/src/LIN/LIN.mli (added) * Deliverables/D2.2/8051/src/LIN/LINInterpret.ml (added) * Deliverables/D2.2/8051/src/LIN/LINInterpret.mli (added) * Deliverables/D2.2/8051/src/LIN/LINPrinter.ml (added) * Deliverables/D2.2/8051/src/LIN/LINPrinter.mli (added) * Deliverables/D2.2/8051/src/LIN/LINToASM.ml (added) * Deliverables/D2.2/8051/src/LIN/LINToASM.mli (added) * Deliverables/D2.2/8051/src/LTL (added) * Deliverables/D2.2/8051/src/LTL/LTL.mli (added) * Deliverables/D2.2/8051/src/LTL/LTLInterpret.ml (added) * Deliverables/D2.2/8051/src/LTL/LTLInterpret.mli (added) * Deliverables/D2.2/8051/src/LTL/LTLPrinter.ml (added) * Deliverables/D2.2/8051/src/LTL/LTLPrinter.mli (added) * Deliverables/D2.2/8051/src/LTL/LTLToLIN.ml (added) * Deliverables/D2.2/8051/src/LTL/LTLToLIN.mli (added) * Deliverables/D2.2/8051/src/LTL/LTLToLINI.ml (added) * Deliverables/D2.2/8051/src/LTL/LTLToLINI.mli (added) * Deliverables/D2.2/8051/src/LTL/branch.ml (added) * Deliverables/D2.2/8051/src/LTL/branch.mli (added) * Deliverables/D2.2/8051/src/RTL (added) * Deliverables/D2.2/8051/src/RTL/RTL.mli (added) * Deliverables/D2.2/8051/src/RTL/RTLInterpret.ml (added) * Deliverables/D2.2/8051/src/RTL/RTLInterpret.mli (added) * Deliverables/D2.2/8051/src/RTL/RTLPrinter.ml (added) * Deliverables/D2.2/8051/src/RTL/RTLPrinter.mli (added) * Deliverables/D2.2/8051/src/RTL/RTLToERTL.ml (added) * Deliverables/D2.2/8051/src/RTL/RTLToERTL.mli (added) * Deliverables/D2.2/8051/src/RTL/RTLtailcall.ml (added) * Deliverables/D2.2/8051/src/RTL/RTLtailcall.mli (added) * Deliverables/D2.2/8051/src/RTLabs (added) * Deliverables/D2.2/8051/src/RTLabs/RTLabs.mli (added) * Deliverables/D2.2/8051/src/RTLabs/RTLabsInterpret.ml (added) * Deliverables/D2.2/8051/src/RTLabs/RTLabsInterpret.mli (added) * Deliverables/D2.2/8051/src/RTLabs/RTLabsPrinter.ml (added) * Deliverables/D2.2/8051/src/RTLabs/RTLabsPrinter.mli (added) * Deliverables/D2.2/8051/src/RTLabs/RTLabsToRTL.ml (added) * Deliverables/D2.2/8051/src/RTLabs/RTLabsToRTL.mli (added) * Deliverables/D2.2/8051/src/acc.ml (added) * Deliverables/D2.2/8051/src/acc.mli (added) * Deliverables/D2.2/8051/src/checker.ml (added) * Deliverables/D2.2/8051/src/checker.mli (added) * Deliverables/D2.2/8051/src/clight (added) * Deliverables/D2.2/8051/src/clight/clight.mli (added) * Deliverables/D2.2/8051/src/clight/clightAnnotator.ml (added) * Deliverables/D2.2/8051/src/clight/clightAnnotator.mli (added) * Deliverables/D2.2/8051/src/clight/clightFlags.ml (added) * Deliverables/D2.2/8051/src/clight/clightFromC.ml (added) * Deliverables/D2.2/8051/src/clight/clightInterpret.ml (added) * Deliverables/D2.2/8051/src/clight/clightInterpret.mli (added) * Deliverables/D2.2/8051/src/clight/clightLabelling.ml (added) * Deliverables/D2.2/8051/src/clight/clightLabelling.mli (added) * Deliverables/D2.2/8051/src/clight/clightParser.ml (added) * Deliverables/D2.2/8051/src/clight/clightParser.mli (added) * Deliverables/D2.2/8051/src/clight/clightPrinter.ml (added) * Deliverables/D2.2/8051/src/clight/clightPrinter.mli (added) * Deliverables/D2.2/8051/src/clight/clightToCminor.ml (added) * Deliverables/D2.2/8051/src/clight/clightToCminor.mli (added) * Deliverables/D2.2/8051/src/clight/clightUtils.ml (added) * Deliverables/D2.2/8051/src/clight/clightUtils.mli (added) * Deliverables/D2.2/8051/src/cminor (added) * Deliverables/D2.2/8051/src/cminor/cminor.mli (added) * Deliverables/D2.2/8051/src/cminor/cminorAnnotator.ml (added) * Deliverables/D2.2/8051/src/cminor/cminorAnnotator.mli (added) * Deliverables/D2.2/8051/src/cminor/cminorFold.ml (added) * Deliverables/D2.2/8051/src/cminor/cminorFold.mli (added) * Deliverables/D2.2/8051/src/cminor/cminorInterpret.ml (added) * Deliverables/D2.2/8051/src/cminor/cminorInterpret.mli (added) * Deliverables/D2.2/8051/src/cminor/cminorLabelling.ml (added) * Deliverables/D2.2/8051/src/cminor/cminorLabelling.mli (added) * Deliverables/D2.2/8051/src/cminor/cminorLexer.mll (added) * Deliverables/D2.2/8051/src/cminor/cminorParser.mly (added) * Deliverables/D2.2/8051/src/cminor/cminorPointers.ml (added) * Deliverables/D2.2/8051/src/cminor/cminorPointers.mli (added) * Deliverables/D2.2/8051/src/cminor/cminorPrinter.ml (added) * Deliverables/D2.2/8051/src/cminor/cminorPrinter.mli (added) * Deliverables/D2.2/8051/src/cminor/cminorToRTLabs.ml (added) * Deliverables/D2.2/8051/src/cminor/cminorToRTLabs.mli (added) * Deliverables/D2.2/8051/src/common (added) * Deliverables/D2.2/8051/src/common/AST.mli (added) * Deliverables/D2.2/8051/src/common/atom.ml (added) * Deliverables/D2.2/8051/src/common/atom.mli (added) * Deliverables/D2.2/8051/src/common/atomSig.mli (added) * Deliverables/D2.2/8051/src/common/costLabel.ml (added) * Deliverables/D2.2/8051/src/common/costLabel.mli (added) * Deliverables/D2.2/8051/src/common/hdwRegister.ml (added) * Deliverables/D2.2/8051/src/common/hdwRegister.mli (added) * Deliverables/D2.2/8051/src/common/intValue.ml (added) * Deliverables/D2.2/8051/src/common/intValue.mli (added) * Deliverables/D2.2/8051/src/common/label.ml (added) * Deliverables/D2.2/8051/src/common/label.mli (added) * Deliverables/D2.2/8051/src/common/memory.ml (added) * Deliverables/D2.2/8051/src/common/memory.mli (added) * Deliverables/D2.2/8051/src/common/primitive.ml (added) * Deliverables/D2.2/8051/src/common/primitive.mli (added) * Deliverables/D2.2/8051/src/common/register.ml (added) * Deliverables/D2.2/8051/src/common/register.mli (added) * Deliverables/D2.2/8051/src/common/value.ml (added) * Deliverables/D2.2/8051/src/common/value.mli (added) * Deliverables/D2.2/8051/src/dev_test.ml (added) * Deliverables/D2.2/8051/src/driver.ml (added) * Deliverables/D2.2/8051/src/driver.mli (added) * Deliverables/D2.2/8051/src/languages.ml (added) * Deliverables/D2.2/8051/src/languages.mli (added) * Deliverables/D2.2/8051/src/options.ml (added) * Deliverables/D2.2/8051/src/options.mli (added) * Deliverables/D2.2/8051/src/utilities (added) * Deliverables/D2.2/8051/src/utilities/Fix.ml (added) * Deliverables/D2.2/8051/src/utilities/Fix.mli (added) * Deliverables/D2.2/8051/src/utilities/bijection.ml (added) * Deliverables/D2.2/8051/src/utilities/bijection.mli (added) * Deliverables/D2.2/8051/src/utilities/coloring.ml (added) * Deliverables/D2.2/8051/src/utilities/coloring.mli (added) * Deliverables/D2.2/8051/src/utilities/error.ml (added) * Deliverables/D2.2/8051/src/utilities/error.mli (added) * Deliverables/D2.2/8051/src/utilities/integer.ml (added) * Deliverables/D2.2/8051/src/utilities/integer.mli (added) * Deliverables/D2.2/8051/src/utilities/interference.ml (added) * Deliverables/D2.2/8051/src/utilities/interference.mli (added) * Deliverables/D2.2/8051/src/utilities/misc.ml (added) * Deliverables/D2.2/8051/src/utilities/misc.mli (added) * Deliverables/D2.2/8051/src/utilities/miscPottier.ml (added) * Deliverables/D2.2/8051/src/utilities/miscPottier.mli (added) * Deliverables/D2.2/8051/src/utilities/myMap.ml (added) * Deliverables/D2.2/8051/src/utilities/myMap.mli (added) * Deliverables/D2.2/8051/src/utilities/option.ml (added) * Deliverables/D2.2/8051/src/utilities/option.mli (added) * Deliverables/D2.2/8051/src/utilities/optionsParsing.ml (added) * Deliverables/D2.2/8051/src/utilities/position.ml (added) * Deliverables/D2.2/8051/src/utilities/position.mli (added) * Deliverables/D2.2/8051/src/utilities/print.ml (added) * Deliverables/D2.2/8051/src/utilities/print.mli (added) * Deliverables/D2.2/8051/src/utilities/printCFG.ml (added) * Deliverables/D2.2/8051/src/utilities/printCFG.mli (added) * Deliverables/D2.2/8051/src/utilities/printPottier.ml (added) * Deliverables/D2.2/8051/src/utilities/printPottier.mli (added) * Deliverables/D2.2/8051/src/utilities/prioritySet.ml (added) * Deliverables/D2.2/8051/src/utilities/prioritySet.mli (added) * Deliverables/D2.2/8051/src/utilities/setMap.ml (added) * Deliverables/D2.2/8051/src/utilities/setMap.mli (added) * Deliverables/D2.2/8051/src/utilities/stringSig.mli (added) * Deliverables/D2.2/8051/src/utilities/stringTools.ml (added) * Deliverables/D2.2/8051/src/utilities/stringTools.mli (added) * Deliverables/D2.2/8051/src/utilities/syntacticAnalysis.ml (added) * Deliverables/D2.2/8051/src/utilities/syntacticAnalysis.mli (added) * Deliverables/D2.2/8051/src/utilities/unionFind.ml (added) * Deliverables/D2.2/8051/src/utilities/unionFind.mli (added) * Deliverables/D2.2/8051/tests (added) * Deliverables/D2.2/8051/tests/Makefile (added) * Deliverables/D2.2/8051/tests/clight (added) * Deliverables/D2.2/8051/tests/clight/Makefile (added) * Deliverables/D2.2/8051/tests/clight/array.c (added) * Deliverables/D2.2/8051/tests/clight/array.c.expected (added) * Deliverables/D2.2/8051/tests/clight/array.log.expected (added) * Deliverables/D2.2/8051/tests/clight/binop.c (added) * Deliverables/D2.2/8051/tests/clight/binop.c.expected (added) * Deliverables/D2.2/8051/tests/clight/binop.log.expected (added) * Deliverables/D2.2/8051/tests/clight/complets.c (added) * Deliverables/D2.2/8051/tests/clight/complets.c.expected (added) * Deliverables/D2.2/8051/tests/clight/complets.log.expected (added) * Deliverables/D2.2/8051/tests/clight/fib.ASM.expected (added) * Deliverables/D2.2/8051/tests/clight/fib.Clight.expected (added) * Deliverables/D2.2/8051/tests/clight/fib.Cminor.expected (added) * Deliverables/D2.2/8051/tests/clight/fib.ERTL.expected (added) * Deliverables/D2.2/8051/tests/clight/fib.LIN.expected (added) * Deliverables/D2.2/8051/tests/clight/fib.LTL.expected (added) * Deliverables/D2.2/8051/tests/clight/fib.RTL.expected (added) * Deliverables/D2.2/8051/tests/clight/fib.RTLabs.expected (added) * Deliverables/D2.2/8051/tests/clight/fib.c (added) * Deliverables/D2.2/8051/tests/clight/fib.c.expected (added) * Deliverables/D2.2/8051/tests/clight/fib.log.expected (added) * Deliverables/D2.2/8051/tests/clight/fir4.c (added) * Deliverables/D2.2/8051/tests/clight/fir4.c.expected (added) * Deliverables/D2.2/8051/tests/clight/fir4.log.expected (added) * Deliverables/D2.2/8051/tests/clight/fir_complexe.c (added) * Deliverables/D2.2/8051/tests/clight/fir_complexe.c.expected (added) * Deliverables/D2.2/8051/tests/clight/fir_complexe.log.expected (added) * Deliverables/D2.2/8051/tests/clight/for.c (added) * Deliverables/D2.2/8051/tests/clight/for.c.expected (added) * Deliverables/D2.2/8051/tests/clight/for.log.expected (added) * Deliverables/D2.2/8051/tests/clight/ifthenelse.ASM.expected (added) * Deliverables/D2.2/8051/tests/clight/ifthenelse.Clight.expected (added) * Deliverables/D2.2/8051/tests/clight/ifthenelse.Cminor.expected (added) * Deliverables/D2.2/8051/tests/clight/ifthenelse.ERTL.expected (added) * Deliverables/D2.2/8051/tests/clight/ifthenelse.LIN.expected (added) * Deliverables/D2.2/8051/tests/clight/ifthenelse.LTL.expected (added) * Deliverables/D2.2/8051/tests/clight/ifthenelse.RTL.expected (added) * Deliverables/D2.2/8051/tests/clight/ifthenelse.RTLabs.expected (added) * Deliverables/D2.2/8051/tests/clight/ifthenelse.c (added) * Deliverables/D2.2/8051/tests/clight/ifthenelse.c.expected (added) * Deliverables/D2.2/8051/tests/clight/ifthenelse.log.expected (added) * Deliverables/D2.2/8051/tests/clight/testCOMP_tri.c (added) * Deliverables/D2.2/8051/tests/clight/testCOMP_tri.c.expected (added) * Deliverables/D2.2/8051/tests/clight/testCOMP_tri.log.expected (added) * Deliverables/D2.2/8051/tests/clight/testTB_Array_LE.c (added) * Deliverables/D2.2/8051/tests/clight/testTB_Array_LE.c.expected (added) * Deliverables/D2.2/8051/tests/clight/testTB_Array_LE.log.expected (added) * Deliverables/D2.2/8051/tests/clight/testTB_Array_double.c (added) * Deliverables/D2.2/8051/tests/clight/testTB_Array_double.c.expected (added) * Deliverables/D2.2/8051/tests/clight/testTB_Array_double.log.expected (added) * Deliverables/D2.2/8051/tests/clight/testTB_Array_ecriture.c (added) * Deliverables/D2.2/8051/tests/clight/testTB_Array_ecriture.c.expected (added) * Deliverables/D2.2/8051/tests/clight/testTB_Array_ecriture.log.expected (added) * Deliverables/D2.2/8051/tests/clight/testTB_Array_lecture.c (added) * Deliverables/D2.2/8051/tests/clight/testTB_Array_lecture.c.expected (added) * Deliverables/D2.2/8051/tests/clight/testTB_Array_lecture.log.expected (added) * Deliverables/D2.2/8051/tests/clight/testTB_boucle.c (added) * Deliverables/D2.2/8051/tests/clight/testTB_boucle.c.expected (added) * Deliverables/D2.2/8051/tests/clight/testTB_boucle.log.expected (added) * Deliverables/D2.2/Report (added) * Deliverables/D2.2/Report/report.pdf (added) * Deliverables/D2.3/8051/myocamlbuild_config.ml (modified) Deliverable D2.2