# # ChangeLog for Deliverables/D5.1 # # Generated by Trac 1.2 # Mar 3, 2021, 12:36:43 AM Tue, 22 May 2012 06:13:09 GMT amadio [1981] * Deliverables/D5.1/report.pdf (added) update 5.1 Tue, 22 May 2012 06:12:23 GMT amadio [1980] * Deliverables/D5.1/fopara.pdf (deleted) * Deliverables/D5.1/plugin.pdf (deleted) * Deliverables/D5.1/report.tex (deleted) * Deliverables/D5.1/tlca.pdf (deleted) update 5.1 Thu, 26 Jan 2012 09:04:02 GMT amadio [1661] * Deliverables/D2.1/report.pdf (modified) * Deliverables/D5.1-5.3 (deleted) * Deliverables/D5.1/plugin.pdf (modified) rev Thu, 26 Jan 2012 07:43:27 GMT amadio [1659] * Deliverables/D5.1/report.tex (modified) Wed, 25 Jan 2012 16:40:37 GMT amadio [1657] * Deliverables/D5.1/fopara.pdf (added) * Deliverables/D5.1/plugin.pdf (added) * Deliverables/D5.1/report.tex (added) * Deliverables/D5.1/tlca.pdf (added) preliminary version of D5 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 ... Tue, 15 Nov 2011 16:12:58 GMT tranquil [1508] * Deliverables/D5.1/cost-plug-in-indexed-labels-branch (copied) * Deliverables/D5.1/cost-plug-in-indexed-labels-branch/plugin/cerco.ml (modified) * Deliverables/D5.1/cost-plug-in-indexed-labels-branch/plugin/compute.ml (modified) * Deliverables/D5.1/cost-plug-in-indexed-labels-branch/plugin/cost.ml (modified) * Deliverables/D5.1/cost-plug-in-indexed-labels-branch/plugin/cost_value.ml (modified) branched a version of the plug-in that is compatible with the indexed ... 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 ...