Skip to content
Snippets Groups Projects
Commit a2d119bc authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Changelog] Normalize old release version names

parent bffdb276
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 84 additions and 84 deletions
Changelog
+ 84
− 84
View file @ a2d119bc
...@@ -334,15 +334,15 @@ o* Ptests [2018/07/02] Do not keep oracles for empty stderr. Fixes #@402 ...@@ -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 specific code annotations /*@ loop unroll N; */. The new strategy
may affect analyses even without loop unrolling. 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 - 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 - Eva [2018/04/25] Added scripts and templates to help automate case
studies (in $FRAMAC_SHARE/analysis-scripts) studies (in $FRAMAC_SHARE/analysis-scripts)
...@@ -474,9 +474,9 @@ o! Eva [2017/11/09] The Fval module now supports NaN and infinite values. ...@@ -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 -* Eva [2017/10/27] Fix bug in the handling of non-explicitly volatile
fields inside volatile structs or unions 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 -* Eva [2017/10/27] Fix bugs when evaluating \ìnitialized, \dangling
and \separated on addresses of bitfields and \separated on addresses of bitfields
...@@ -607,9 +607,9 @@ o! Kernel [2017/04/27] Completely separate types between Cil_types and ...@@ -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 - Eva [2017/04/06] More precise evaluation of \initialized and
\dangling predicates. \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 -* Eva [2017/05/08] Fix widening in the gauges domain, in particular with
nested loops and pointers that change base address through nested loops and pointers that change base address through
...@@ -694,9 +694,9 @@ o! Gui [2017/03/10] Signature change for constructor ...@@ -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 o* Eva [2016/10/22] Functions Db.Value.fun_set_args and
Db.Value.globals_set_initial_state are now compatible with Eva. 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 -*! Eva [2016/10/29] Fix soundness bug on statements with RTE or
programmatically-added user assertions (bts #2258). This 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 ...@@ -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 o! Kernel [2016/03/29] Functions Integer.pgcd and Integer.ppcm are now
guaranteed to return a positive result. 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 - Value [2016/04/19] Support for evaluation of predicate
\valid_read_string on constant strings. \valid_read_string on constant strings.
...@@ -1018,9 +1018,9 @@ o Ptests [2015/07/29] New EXEC: directive. ...@@ -1018,9 +1018,9 @@ o Ptests [2015/07/29] New EXEC: directive.
- Kernel [2015/07/01] New option -remove-projects. - Kernel [2015/07/01] New option -remove-projects.
- Kernel [2015/06/30] New option -set-project-as-default. - 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 o! Kernel [2016/01/03] Modules Dataflow is deprecated, and will be removed
in Aluminium. Module Dataflow2 offers a very similar but simpler in Aluminium. Module Dataflow2 offers a very similar but simpler
...@@ -1242,9 +1242,9 @@ o! Kernel [2015/30/01] Fixed bug #!2012 about combining ...@@ -1242,9 +1242,9 @@ o! Kernel [2015/30/01] Fixed bug #!2012 about combining
subdividing may avoid the emission of an alarm. subdividing may avoid the emission of an alarm.
- Value [2015/01/21] Support for \subset predicate. - 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). - 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. -* 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 ...@@ -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 -* Configure [2014/03/10] fix for autoconf < 2.67 when checking ability
of default pre-processor to keep comments 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 -* Value [2014/03/04] Fix bug when writing imprecisely in a struct
containing a 1-bit wide bitfield (bug #!1671) 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 ...@@ -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 reference to the real function. Removed last argument of
Cvalue.Model.pretty_filter. 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. -* 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 - Value [2013/05/22] Better precision for ^ (bitwise xor) operator
when applied on intervals of positive integers when applied on intervals of positive integers
...@@ -1854,9 +1854,9 @@ o* Kernel [2013/05/06] Fixed Type.pp_ml_name for polymorphic types ...@@ -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 -* Makefile [2013/05/06] Fixed installation directory of the doc in
plug-in's Makefile (bug #1278). 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 o! Cil [2013/04/11] Remove Cil pretty-printer. Use module Printer
instead. The script bin/oxygen2fluorine.sh may be used to 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 ...@@ -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 o* Kernel [2012/09/20] Fixed consistency check of descriptor when
building polymorphic datatypes (fixed bts #1277). 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, -! Kernel [2012/09/17] Remove useless negative options -no-help,
-no-version, -no-print-share-path, -no-print-lib-path and -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, ...@@ -2493,9 +2493,9 @@ o! Kernel [2011/10/18] Logic_preprocess.file takes an additional parameter,
completely invalid. Soundness was not affected (the completely invalid. Soundness was not affected (the
alarm for whatever made e invalid was present). 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 - Rte [2011/10/07] No longer position 'Don't know' statuses
- Value [2011/10/07] New alarm for left shift of negative values. - 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 ...@@ -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. -* Value [2011/02/09] Changes related to 0., +0., -0., sort of thing.
Unwarranted loss of precision fixed. 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 - WP [2011/02/07] Plug-in WP removed from kernel-releases (now an
independent plug-in). independent plug-in).
...@@ -3060,17 +3060,17 @@ o* Cil [2010/12/20] Fixed bug #645. Ast_info.constant_expr, ...@@ -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 ~loc:Cil_datatype.Location.unknown which is most of the time
not accurate. 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 -* WP [2010/12/16] Fixed bug #639: no more Coq compilation to shared
directory. directory.
- WP [2010/12/16] Accessibility of all provers from gui. - 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. -! Kernel [2010/12/13] Fixed bug #548: limit.h now syntactically correct.
Architectures other than x86_32 still unsupported. Architectures other than x86_32 still unsupported.
...@@ -3271,9 +3271,9 @@ o! Kernel [2010/04/22] Ptmap (resp. Ptset) is renamed into Hptmap (Hptset) ...@@ -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 + Logic [2010/04/13] #!346 Formals have an \old label when used in post
conditions 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 - 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) 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 ...@@ -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 - Value [2009/09/25] Improved treatment of "assigns p[..]" clauses
in -input 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 -* Obfuscator [2009/09/23] obfuscator does not lose links between logic
and C variables anymore (bts #250). and C variables anymore (bts #250).
...@@ -3494,9 +3494,9 @@ o* Makefile [2009/09/18] Fixed bugs with the use of PLUGIN_EXTRA_BYTE ...@@ -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 which does not support native dynlink and with ocaml >= 3.11
(bts #224). (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. -! Syntactic_callgraph [2009/08/27] New design of the callgraph in the GUI.
Frama-C now requires ocamlgraph 1.2. 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 ...@@ -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 -* Kernel [2009/06/24] Restore compatibility with ocaml 3.10.2
-* Configure [2009/06/24] Fixed bug with --disable-gui in configure.in -* 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 o Value [2009/06/23] New constructor Signed_overflow_alarm for type
Alarms.t Alarms.t
...@@ -3731,9 +3731,9 @@ o! Kernel [2009/01/05] Some changes in API of module Type ...@@ -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 - Value [2008/12/18] Improved support for state reduction on a
memory read. memory read.
#################################### ##########################################
Open Source Release Lithium-20081201 Open Source Release 3.1 (Lithium-20081201)
#################################### ##########################################
-! GUI [2008/12/09] Improved consistency of some information messages. -! GUI [2008/12/09] Improved consistency of some information messages.
- Value [2008/12/09] Abstract structs are now supported in - 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, ...@@ -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 o Makefile [2008/11/03] Support for native compilation in Makefile.template
(require ocaml >= 3.11). (require ocaml >= 3.11).
#################################### ##########################################
Open Source Release Lithium-20081002 Open Source Release 3.0 (Lithium-20081002)
#################################### ##########################################
-! Value [2008/10/23] Changed behavior of option -! Value [2008/10/23] Changed behavior of option
-context-valid-pointers to make it more like the -context-valid-pointers to make it more like the
...@@ -3840,9 +3840,9 @@ o! Kernel [2008/09/11] Refined UnspecifiedSequence information. ...@@ -3840,9 +3840,9 @@ o! Kernel [2008/09/11] Refined UnspecifiedSequence information.
o! Cil [2008/07/17] AST changes for unspecified sequences (experimental). o! Cil [2008/07/17] AST changes for unspecified sequences (experimental).
-* Jessie [2008/07/16] Fixed path problems with binary distributions. -* 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 - Occurrence [2008/07/11] Occurrences of a variable can be computed from
any occurrence of the program (not only from its declaration). any occurrence of the program (not only from its declaration).
...@@ -3911,17 +3911,17 @@ o! Logic [2008/06/24] AST changes for invariants. ...@@ -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/03] Correct promotion rules from bitfields to integers.
-* Kernel [2008/06/02] -machdep was ignored (bts #?309). -* 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"). 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 - GUI [2008/05/19] All internal options are available in the GUI
preferences pannel. 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 -! Value [2008/04/24] Display a warning whenever an uninitialized value
causes the death of a branch. causes the death of a branch.
...@@ -3947,9 +3947,9 @@ o GUI [2008/04/07] Project management redesigned for older Gtk and ...@@ -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] Various Win32 path fixes.
- Kernel [2008/04/01] Option -no-unicode : do not print Unicode chars. - 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] New option -occurrence.
- Occurrence [2008/03/17] First release of the plug-in. - Occurrence [2008/03/17] First release of the plug-in.
...@@ -3959,9 +3959,9 @@ Binary Release Hydrogen-20080302 ...@@ -3959,9 +3959,9 @@ Binary Release Hydrogen-20080302
-* Project [2008/03/14] Fixed bug with checksum computation during save/load. -* Project [2008/03/14] Fixed bug with checksum computation during save/load.
-* Slicing [2008/02/25] Fixed bug in interprocedural slicing (bts #?201). -* 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 - First release
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment