From a2d119bcf8358ba167b2de575faf6472af9cd06b Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Mon, 4 May 2020 20:13:49 +0200
Subject: [PATCH] [Changelog] Normalize old release version names
---
Changelog | 168 +++++++++++++++++++++++++++---------------------------
1 file changed, 84 insertions(+), 84 deletions(-)
diff --git a/Changelog b/Changelog
index ea9cfbe042e..b17126ad46f 100644
--- a/Changelog
+++ b/Changelog
@@ -334,15 +334,15 @@ o* Ptests [2018/07/02] Do not keep oracles for empty stderr. Fixes #@402
specific code annotations /*@ loop unroll N; */. The new strategy
may affect analyses even without loop unrolling.
-#####################################
-Open Source Release Chlorine-20180502
-#####################################
+############################################
+Open Source Release 17.1 (Chlorine-20180502)
+############################################
- Libc [2018/07/05] Fix C++ compatibility for Frama-Clang plug-in
-#####################################
-Open Source Release Chlorine-20180501
-#####################################
+############################################
+Open Source Release 17.0 (Chlorine-20180501)
+############################################
- Eva [2018/04/25] Added scripts and templates to help automate case
studies (in $FRAMAC_SHARE/analysis-scripts)
@@ -474,9 +474,9 @@ o! Eva [2017/11/09] The Fval module now supports NaN and infinite values.
-* Eva [2017/10/27] Fix bug in the handling of non-explicitly volatile
fields inside volatile structs or unions
-###################################
-Open Source Release Sulfur-20171101
-###################################
+##########################################
+Open Source Release 16.0 (Sulfur-20171101)
+##########################################
-* Eva [2017/10/27] Fix bugs when evaluating \ìnitialized, \dangling
and \separated on addresses of bitfields
@@ -607,9 +607,9 @@ o! Kernel [2017/04/27] Completely separate types between Cil_types and
- Eva [2017/04/06] More precise evaluation of \initialized and
\dangling predicates.
-#######################################
-Open Source Release Phosphorus-20170501
-#######################################
+##############################################
+Open Source Release 15.0 (Phosphorus-20170501)
+##############################################
-* Eva [2017/05/08] Fix widening in the gauges domain, in particular with
nested loops and pointers that change base address through
@@ -694,9 +694,9 @@ o! Gui [2017/03/10] Signature change for constructor
o* Eva [2016/10/22] Functions Db.Value.fun_set_args and
Db.Value.globals_set_initial_state are now compatible with Eva.
-######################################
-Open Source Release Silicon-20161101
-######################################
+###########################################
+Open Source Release 14.0 (Silicon-20161101)
+###########################################
-*! Eva [2016/10/29] Fix soundness bug on statements with RTE or
programmatically-added user assertions (bts #2258). This
@@ -843,9 +843,9 @@ o Makefile [2016/03/31] Warnings and warn-error are activated only if a file
o! Kernel [2016/03/29] Functions Integer.pgcd and Integer.ppcm are now
guaranteed to return a positive result.
-######################################
-Open Source Release Aluminium-20160502
-######################################
+#############################################
+Open Source Release 13.0 (Aluminium-20160502)
+#############################################
- Value [2016/04/19] Support for evaluation of predicate
\valid_read_string on constant strings.
@@ -1018,9 +1018,9 @@ o Ptests [2015/07/29] New EXEC: directive.
- Kernel [2015/07/01] New option -remove-projects.
- Kernel [2015/06/30] New option -set-project-as-default.
-######################################
-Open Source Release Magnesium-20151002
-######################################
+#############################################
+Open Source Release 12.0 (Magnesium-20151002)
+#############################################
o! Kernel [2016/01/03] Modules Dataflow is deprecated, and will be removed
in Aluminium. Module Dataflow2 offers a very similar but simpler
@@ -1242,9 +1242,9 @@ o! Kernel [2015/30/01] Fixed bug #!2012 about combining
subdividing may avoid the emission of an alarm.
- Value [2015/01/21] Support for \subset predicate.
-###################################
-Open Source Release Sodium-20150201
-###################################
+##########################################
+Open Source Release 11.0 (Sodium-20150201)
+##########################################
- Kernel [2015/02/01] Tests are added to the distrib (make tests).
-* Logic [2015/02/09] The ACSL parser accepts qualifiers in logic C types.
@@ -1462,9 +1462,9 @@ o Logic [2014/03/04] Annotations.{iter,fold}_all_code_annot are now
-* Configure [2014/03/10] fix for autoconf < 2.67 when checking ability
of default pre-processor to keep comments
-#################################
-Open Source Release Neon-20140301
-#################################
+########################################
+Open Source Release 10.0 (Neon-20140301)
+########################################
-* Value [2014/03/04] Fix bug when writing imprecisely in a struct
containing a 1-bit wide bitfield (bug #!1671)
@@ -1833,15 +1833,15 @@ o! Value [2013/05/03] Remove functions Cvalue.Model.pretty_without_null and
reference to the real function. Removed last argument of
Cvalue.Model.pretty_filter.
-#####################################
-Open Source Release Fluorine-20130601
-#####################################
+###########################################
+Open Source Release 9.2 (Fluorine-20130601)
+###########################################
-* Value [2013/06/11] Add missing C library files.
-#####################################
-Open Source Release Fluorine-20130501
-#####################################
+###########################################
+Open Source Release 9.1 (Fluorine-20130501)
+###########################################
- Value [2013/05/22] Better precision for ^ (bitwise xor) operator
when applied on intervals of positive integers
@@ -1854,9 +1854,9 @@ o* Kernel [2013/05/06] Fixed Type.pp_ml_name for polymorphic types
-* Makefile [2013/05/06] Fixed installation directory of the doc in
plug-in's Makefile (bug #1278).
-#####################################
-Open Source Release Fluorine-20130401
-#####################################
+###########################################
+Open Source Release 9.0 (Fluorine-20130401)
+###########################################
o! Cil [2013/04/11] Remove Cil pretty-printer. Use module Printer
instead. The script bin/oxygen2fluorine.sh may be used to
@@ -2112,9 +2112,9 @@ o Kernel [2012/09/20] Provide Datatype.triple and Datatype.quadruple
o* Kernel [2012/09/20] Fixed consistency check of descriptor when
building polymorphic datatypes (fixed bts #1277).
-###################################
-Open Source Release Oxygen-20120901
-###################################
+#########################################
+Open Source Release 8.0 (Oxygen-20120901)
+#########################################
-! Kernel [2012/09/17] Remove useless negative options -no-help,
-no-version, -no-print-share-path, -no-print-lib-path and
@@ -2493,9 +2493,9 @@ o! Kernel [2011/10/18] Logic_preprocess.file takes an additional parameter,
completely invalid. Soundness was not affected (the
alarm for whatever made e invalid was present).
-#####################################
-Open Source Release Nitrogen-20111001
-#####################################
+###########################################
+Open Source Release 7.0 (Nitrogen-20111001)
+###########################################
- Rte [2011/10/07] No longer position 'Don't know' statuses
- Value [2011/10/07] New alarm for left shift of negative values.
@@ -2947,9 +2947,9 @@ o Cil/Logic [2011/02/16] New functions Clexer.is_c_keyword and
-* Value [2011/02/09] Changes related to 0., +0., -0., sort of thing.
Unwarranted loss of precision fixed.
-###################################
-Open Source Release Carbon-20110201
-###################################
+#########################################
+Open Source Release 6.2 (Carbon-20110201)
+#########################################
- WP [2011/02/07] Plug-in WP removed from kernel-releases (now an
independent plug-in).
@@ -3060,17 +3060,17 @@ o* Cil [2010/12/20] Fixed bug #645. Ast_info.constant_expr,
~loc:Cil_datatype.Location.unknown which is most of the time
not accurate.
-###################################
-Open Source Release Carbon-20101202
-###################################
+#########################################
+Open Source Release 6.1 (Carbon-20101202)
+#########################################
-* WP [2010/12/16] Fixed bug #639: no more Coq compilation to shared
directory.
- WP [2010/12/16] Accessibility of all provers from gui.
-###################################
-Open Source Release Carbon-20101201
-###################################
+#########################################
+Open Source Release 6.0 (Carbon-20101201)
+#########################################
-! Kernel [2010/12/13] Fixed bug #548: limit.h now syntactically correct.
Architectures other than x86_32 still unsupported.
@@ -3271,9 +3271,9 @@ o! Kernel [2010/04/22] Ptmap (resp. Ptset) is renamed into Hptmap (Hptset)
+ Logic [2010/04/13] #!346 Formals have an \old label when used in post
conditions
-##################################
-Open Source Release Boron-20100401
-##################################
+########################################
+Open Source Release 5.0 (Boron-20100401)
+########################################
- Kernel [2010/04/12] Preliminary standard C library in $FRAMAC_SHARE/libc
o* Cil [2010/04/12] New hook after Cabs elaboration (fix bug #!446)
@@ -3442,9 +3442,9 @@ o! Cil [2009/09/28] pAssigns now prints directly a whole list of assigns
- Value [2009/09/25] Improved treatment of "assigns p[..]" clauses
in -input
-######################################
-Open Source Release Beryllium-20090902
-######################################
+############################################
+Open Source Release 4.2 (Beryllium-20090902)
+############################################
-* Obfuscator [2009/09/23] obfuscator does not lose links between logic
and C variables anymore (bts #250).
@@ -3494,9 +3494,9 @@ o* Makefile [2009/09/18] Fixed bugs with the use of PLUGIN_EXTRA_BYTE
which does not support native dynlink and with ocaml >= 3.11
(bts #224).
-######################################
-Open Source Release Beryllium-20090901
-######################################
+############################################
+Open Source Release 4.1 (Beryllium-20090901)
+############################################
-! Syntactic_callgraph [2009/08/27] New design of the callgraph in the GUI.
Frama-C now requires ocamlgraph 1.2.
@@ -3539,9 +3539,9 @@ o! Cil [2009/06/24] Added 2 components to Cil_types.typ to optimize
-* Kernel [2009/06/24] Restore compatibility with ocaml 3.10.2
-* Configure [2009/06/24] Fixed bug with --disable-gui in configure.in
-######################################
-Open Source Release Beryllium-20090601
-######################################
+############################################
+Open Source Release 4.0 (Beryllium-20090601)
+############################################
o Value [2009/06/23] New constructor Signed_overflow_alarm for type
Alarms.t
@@ -3731,9 +3731,9 @@ o! Kernel [2009/01/05] Some changes in API of module Type
- Value [2008/12/18] Improved support for state reduction on a
memory read.
-####################################
-Open Source Release Lithium-20081201
-####################################
+##########################################
+Open Source Release 3.1 (Lithium-20081201)
+##########################################
-! GUI [2008/12/09] Improved consistency of some information messages.
- Value [2008/12/09] Abstract structs are now supported in
@@ -3778,9 +3778,9 @@ o Cil [2008/11/17] New methods for visiting compinfo, enuminfo,
o Makefile [2008/11/03] Support for native compilation in Makefile.template
(require ocaml >= 3.11).
-####################################
-Open Source Release Lithium-20081002
-####################################
+##########################################
+Open Source Release 3.0 (Lithium-20081002)
+##########################################
-! Value [2008/10/23] Changed behavior of option
-context-valid-pointers to make it more like the
@@ -3840,9 +3840,9 @@ o! Kernel [2008/09/11] Refined UnspecifiedSequence information.
o! Cil [2008/07/17] AST changes for unspecified sequences (experimental).
-* Jessie [2008/07/16] Fixed path problems with binary distributions.
-###################################
-Open Source Release Helium-20080701
-###################################
+#########################################
+Open Source Release 2.0 (Helium-20080701)
+#########################################
- Occurrence [2008/07/11] Occurrences of a variable can be computed from
any occurrence of the program (not only from its declaration).
@@ -3911,17 +3911,17 @@ o! Logic [2008/06/24] AST changes for invariants.
-* Kernel [2008/06/03] Correct promotion rules from bitfields to integers.
-* Kernel [2008/06/02] -machdep was ignored (bts #?309).
-#####################################
-Open Source Release Hydrogen-20080502
-#####################################
+###########################################
+Open Source Release 1.2 (Hydrogen-20080502)
+###########################################
o* Makefile [2008/05/21] Fixed bug in "make clean-doc" (and "make distclean").
- GUI [2008/05/19] All internal options are available in the GUI
preferences pannel.
-#####################################
-Open Source Release Hydrogen-20080501
-#####################################
+###########################################
+Open Source Release 1.1 (Hydrogen-20080501)
+###########################################
-! Value [2008/04/24] Display a warning whenever an uninitialized value
causes the death of a branch.
@@ -3947,9 +3947,9 @@ o GUI [2008/04/07] Project management redesigned for older Gtk and
-* Kernel [2008/04/01] Various Win32 path fixes.
- Kernel [2008/04/01] Option -no-unicode : do not print Unicode chars.
-################################
-Binary Release Hydrogen-20080302
-################################
+######################################
+Binary Release 1.0 (Hydrogen-20080302)
+######################################
- Occurrence [2008/03/17] New option -occurrence.
- Occurrence [2008/03/17] First release of the plug-in.
@@ -3959,9 +3959,9 @@ Binary Release Hydrogen-20080302
-* Project [2008/03/14] Fixed bug with checksum computation during save/load.
-* Slicing [2008/02/25] Fixed bug in interprocedural slicing (bts #?201).
-###########################################
-First Open Source Release Hydrogen-20080301
-###########################################
+#################################################
+First Open Source Release 1.0 (Hydrogen-20080301)
+#################################################
- First release
--
GitLab