# # ChangeLog for Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch # # Generated by Trac 1.2 # Apr 21, 2021, 11:18:25 AM Thu, 16 Feb 2012 10:05:05 GMT tranquil [1698] * Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/compute.ml (modified) * Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/cost_value.ml (modified) minor modifications Wed, 15 Feb 2012 08:30:08 GMT tranquil [1694] * Deliverables/D2.1/report.log (modified) * Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/README (modified) * Deliverables/D5.1-5.3/indexed-labels-cost-20120213.tar.gz (added) indexed labels branch Mon, 13 Feb 2012 14:58:20 GMT tranquil [1690] * Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/tests (deleted) nested loops are not supported yet, the only test had one Mon, 13 Feb 2012 14:54:58 GMT tranquil [1689] * Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/Makefile (modified) * Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/README (modified) * Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/compute.ml (modified) * Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/wrapper (deleted) kept out the wrapper (which I did not touch, so not sure it works) Thu, 26 Jan 2012 09:06:06 GMT amadio [1662] * Deliverables/D5.1-5.3 (copied) * Deliverables/D5.1-5.3/plugin.pdf (copied) rev 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 ...