#
# ChangeLog for Deliverables/D5.1/frama-c-cost-plugin
#
# Generated by Trac 1.2
# Apr 15, 2021, 7:13:59 PM

Mon, 29 Apr 2013 23:25:17 GMT sacerdot [3221]
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/Makefile.in (modified)

	Added cerco-executable to install.


Mon, 29 Apr 2013 22:54:56 GMT sacerdot [3220]
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/cerco-executable/makefile.cerco (added)

	...


Mon, 29 Apr 2013 22:53:22 GMT sacerdot [3219]
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/distributed_files (modified)

	Fixed: .in should be there.


Mon, 29 Apr 2013 19:53:20 GMT sacerdot [3215]
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/Makefile.in (modified)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/README (modified)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/cerco-executable (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/cerco-executable/Makefile.in (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/cerco-executable/cerco.in (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/configure.ac (modified)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/distributed_files (modified)

	- Version dumped to 0.2
	- New executable cerco to be used with why3


Thu, 28 Feb 2013 13:12:13 GMT regisgia [2749]
	* Deliverables/D5.1/frama-c-cost-plugin (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/Makefile (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/README (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/distributed_files (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/frama-c_jessie (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/Makefile (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/README (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/arith.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/arithSig.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/cerco.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/completeMap.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/compute.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/cost.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/cost_value.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/emap.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/eset.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/misc.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/fail (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/fail/blowfish.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/fail/blowfish.h (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/fail/bubble_sort.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/fail/des.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/fail/rnd.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/fail/safer.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/fail/saferk64.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/fail/seal.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/success (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/success/3-way.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/success/LFSR.C (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/success/LFSR2.C (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/success/a5.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/success/fact.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/success/is_sorted.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/success/mmb.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/success/random.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/plugin/tests/success/tab_sum.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/Makefile (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/README (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/_tags (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/error.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/error.mli (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/main.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/misc.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/misc.mli (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/options.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/options.mli (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/optionsParsing.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/position.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/position.mli (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/tests (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/tests/parity (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/tests/parity/Makefile (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/tests/parity/README (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Carbon/wrapper/tests/parity/parity.lus (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/Makefile.in (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/README (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/configure.ac (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/distributed_files (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/frama-c_jessie.in (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/Makefile (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/README (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/arith.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/arithSig.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/cerco.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/completeMap.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/compute.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/compute_simple.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/compute_simple_stack_size.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/cost.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/cost_value.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/emap.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/eset.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/misc.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/multiset.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/normAtLabels.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/normAtLabels.mli (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/parameters.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/simplify_terms.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/fail (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/fail/blowfish.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/fail/blowfish.h (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/fail/bubble_sort.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/fail/des.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/fail/rnd.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/fail/safer.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/fail/saferk64.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/fail/seal.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/3-way-acc.mips-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/3-way.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/LFSR-acc-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/LFSR-acc.mips-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/LFSR.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/LFSR2.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/LFSR_char-acc-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/LFSR_char.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/Makefile (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/a5-acc-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/a5-acc.mips-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/a5.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/add_pragma.sh (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/binary_search.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/binary_search_char-acc-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/binary_search_char.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/blowfish-acc.mips-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/bubble_sort-acc-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/bubble_sort-acc.mips-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/convert_lemma_axiom.sh (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/des-acc.mips-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/fact-acc-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/fact-acc.mips-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/fact.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/is_sorted-acc-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/is_sorted-acc.mips-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/is_sorted.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/matrix_sum-acc-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/matrix_sum-acc.mips-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/mmb-acc.mips-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/mmb.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/mmb_char-acc-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/mmb_char.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/random-acc-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/random-acc.mips-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/random.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/reverse_list-acc-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/reverse_list-acc.mips-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/reverse_list.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/rnd-acc-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/rnd-acc.mips-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/safer-acc.mips-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/saferk64-acc.mips-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/seal-acc.mips-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/tab_sum-acc-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/tab_sum-acc.mips-instrumented.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/plugin/tests/success/tab_sum.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/Makefile.in (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/README (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/_tags (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/error.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/error.mli (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/main.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/misc.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/misc.mli (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/options.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/options.mli (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/optionsParsing.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/position.ml (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/position.mli (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/tests (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/tests/fail (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/tests/fail/jessie_fail.c (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/tests/parity (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/tests/parity/Makefile (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/tests/parity/README (added)
	* Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/wrapper/tests/parity/parity.lus (added)

	* Updated version of the Frama-C plugin.