#
# ChangeLog for Deliverables/D5.1/cost-plug-in
#
# Generated by Trac 1.2
# Mar 8, 2021, 6:19:39 PM
Thu, 28 Feb 2013 13:12:07 GMT regisgia [2748]
* Deliverables/D5.1/cost-plug-in/Makefile (deleted)
* Deliverables/D5.1/cost-plug-in/README (deleted)
* Deliverables/D5.1/cost-plug-in/distributed_files (deleted)
* Deliverables/D5.1/cost-plug-in/plugin/Makefile (deleted)
* Deliverables/D5.1/cost-plug-in/plugin/README (deleted)
* Deliverables/D5.1/cost-plug-in/plugin/cerco.ml (deleted)
* Deliverables/D5.1/cost-plug-in/plugin/compute.ml (deleted)
* Deliverables/D5.1/cost-plug-in/plugin/cost.ml (deleted)
* Deliverables/D5.1/cost-plug-in/plugin/cost_value.ml (deleted)
* Deliverables/D5.1/cost-plug-in/plugin/help/mailinglisthelp (deleted)
* Deliverables/D5.1/cost-plug-in/plugin/stringTools.ml (deleted)
* Deliverables/D5.1/cost-plug-in/plugin/tests/bubble_sort.c (deleted)
* Deliverables/D5.1/cost-plug-in/wrapper/Makefile (deleted)
* Deliverables/D5.1/cost-plug-in/wrapper/README (deleted)
* Deliverables/D5.1/cost-plug-in/wrapper/_tags (deleted)
* Deliverables/D5.1/cost-plug-in/wrapper/error.ml (deleted)
* Deliverables/D5.1/cost-plug-in/wrapper/error.mli (deleted)
* Deliverables/D5.1/cost-plug-in/wrapper/main.ml (deleted)
* Deliverables/D5.1/cost-plug-in/wrapper/misc.ml (deleted)
* Deliverables/D5.1/cost-plug-in/wrapper/misc.mli (deleted)
* Deliverables/D5.1/cost-plug-in/wrapper/options.ml (deleted)
* Deliverables/D5.1/cost-plug-in/wrapper/options.mli (deleted)
* Deliverables/D5.1/cost-plug-in/wrapper/optionsParsing.ml (deleted)
* Deliverables/D5.1/cost-plug-in/wrapper/position.ml (deleted)
* Deliverables/D5.1/cost-plug-in/wrapper/position.mli (deleted)
* Deliverables/D5.1/cost-plug-in/wrapper/tests/parity/Makefile (deleted)
* Deliverables/D5.1/cost-plug-in/wrapper/tests/parity/README (deleted)
* Deliverables/D5.1/cost-plug-in/wrapper/tests/parity/parity.lus (deleted)
* Remove the old version of the plugin.
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 ...