Release 4.3

gobo-eiffel · Nov 28, 2018 · 2e687ba · 2e687ba
1 parent ab4c16b
commit 2e687ba
Show file tree

Hide file tree

Showing 16 changed files with 32 additions and 33 deletions.
diff --git a/History.md b/History.md
@@ -1,6 +1,6 @@
 # Release History
 
-## Version 4.3 - ??
+## Version 4.3 - 28 November 2018
 
 ### geant
 
@@ -13,7 +13,7 @@
 ### gec
 
 * Renamed command-line option `--new_instance_types` as `--new-instance-types`
-  to comply with the argument library validity constraints.
+  to comply with the `argument` library validity constraints.
 * Added command-line options `--no-benchmark`, `--nested-benchmark` and --`metrics`.
 * Improved the way benchmarks, metrics, silent and verbose modes are
   specified and taken into account.
@@ -119,6 +119,8 @@
 * Made sure that variables defined in the ECF file are taken into account
   when processing location attributes of clusters or libraries.
 * Added support for ECF 1.19.0.
+* Fixed bug in void-safety CAP after a `check` instruction with no `then`
+  clause.
 
 ### Gobo Eiffel Utility Library
 

diff --git a/Readme.md b/Readme.md
@@ -56,7 +56,7 @@ library classes provided in this package.
 
 The supported Eiffel compilers, in alphabetical order, are:
 
-* Gobo Eiffel Compiler (gec) 4.2
+* Gobo Eiffel Compiler (gec) 4.3
 * ISE Eiffel 18.07.10.1981 (Classic and .NET)
 
 For more details about the supported Eiffel compilers, please see the file
@@ -75,7 +75,7 @@ has only been tested under Windows 10 and Linux.
 Since most Eiffel compilers use the notation `$NAME` for environment
 variables in their ECF files (or equivalent), this convention has been
 used instead of the Windowish `%NAME%`. Likewise, the directory separator
-used through out this distribution is `/`, following Unix/Linux convention
+used throughout this distribution is `/`, following Unix/Linux convention
 instead of the Windows `\` separator.
 
 To install this package, please follow the instructions below:

diff --git a/Release_notes.md b/Release_notes.md
@@ -1,22 +1,19 @@
-# Release notes - Gobo Eiffel 4.2
+# Release notes - Gobo Eiffel 4.3
 
-The focus of this release was to support multi-threading. 
-In particular:
+In this release, all tools and examples, and nearly all tests, have been 
+converted to void-safe mode.
 
-* `gec`, the Gobo Eiffel Compiler, can now compile Eiffel applications
-  in multi-threaded mode, using the same EiffelThread library as ISE Eiffel.
-* Made `gelint` multi-threaded. It now runs almost 3 times faster on
-  a 4-CPU machine.
-* Made `gedoc` multi-threaded. It now runs almost 3 times faster on 
-  a 4-CPU machine.
+The usage of Xace files has been replaced by ECF files throughout the
+entire Gobo package. There was no need to keep both Xace and ECF notations
+in parallel anymore since all supported Eiffel compliers accept ECF files.
+Note that the support for `gexace` and Xace files will be terminated in
+the next release of Gobo.
 
-Note that this release does not support SCOOP yet.
-
-For more details, see [History.md](History.md).
+To see what else is new, please read [History.md](History.md).
 
 ## Compiler specific notes
 
-### ISE 17.05.10.0416 (ISE Eiffel)
+### ISE 18.07.10.1981 (ISE Eiffel)
 
 * The ECF files for ISE Eiffel provided in this package are for
   Eiffel classic. In order to get ECF files configured for Eiffel
@@ -30,4 +27,4 @@ For more details, see [History.md](History.md).
 
 ## Authors
 
-Copyright (c) 1997-2017, Eric Bezault and others
+Copyright (c) 1997-2018, Eric Bezault and others
diff --git a/library/common/doc/index.html b/library/common/doc/index.html
@@ -103,7 +103,7 @@
 </p>
 
 <ul>
-	<li>Gobo Eiffel Compiler (gec) 4.2</li>
+	<li>Gobo Eiffel Compiler (gec) 4.3</li>
 	<li>ISE Eiffel 18.07.10.1981 (Classic and .NET)</li>
 </ul>
 
@@ -229,7 +229,7 @@ <h2>Download</h2>
             <strong>http:</strong></font><a
             href="http://www.gobosoft.com"><font size="2">//www.gobosoft.com</font></a><font
             size="2"><br>
-            <strong>Last Updated:</strong> 7 October 2018</font><br>
+            <strong>Last Updated:</strong> 28 November 2018</font><br>
             <!--webbot bot="PurpleText"
             preview="
 $Date$

diff --git a/library/kernel/src/misc/kl_gobo_version.e b/library/kernel/src/misc/kl_gobo_version.e
@@ -4,7 +4,7 @@ note
 
 		"Version of Gobo"
 
-	copyright: "Copyright (c) 2004-2017, Eric Bezault and others"
+	copyright: "Copyright (c) 2004-2018, Eric Bezault and others"
 	license: "MIT License"
 	date: "$Date$"
 	revision: "$Revision$"
@@ -13,6 +13,6 @@ class KL_GOBO_VERSION
 
 feature -- Constants
 
-	Version_number: STRING = "4.2"
+	Version_number: STRING = "4.3"
 
 end
diff --git a/library/lexical/src/lex/lx_lex_tokens.e b/library/lexical/src/lex/lx_lex_tokens.e
@@ -1,7 +1,7 @@
 note
 
 	description: "Parser token codes"
-	generator: "geyacc version 4.2"
+	generator: "geyacc version 4.3"
 
 deferred class LX_LEX_TOKENS
 

diff --git a/library/lexical/src/regexp/lx_regexp_tokens.e b/library/lexical/src/regexp/lx_regexp_tokens.e
@@ -1,7 +1,7 @@
 note
 
 	description: "Parser token codes"
-	generator: "geyacc version 4.2"
+	generator: "geyacc version 4.3"
 
 deferred class LX_REGEXP_TOKENS
 

diff --git a/library/lexical/src/regexp/lx_wildcard_tokens.e b/library/lexical/src/regexp/lx_wildcard_tokens.e
@@ -1,7 +1,7 @@
 note
 
 	description: "Parser token codes"
-	generator: "geyacc version 4.2"
+	generator: "geyacc version 4.3"
 
 deferred class LX_WILDCARD_TOKENS
 

diff --git a/library/parse/example/eiffel_parser/eiffel_tokens.e b/library/parse/example/eiffel_parser/eiffel_tokens.e
@@ -1,7 +1,7 @@
 note
 
 	description: "Parser token codes"
-	generator: "geyacc version 4.2"
+	generator: "geyacc version 4.3"
 
 deferred class EIFFEL_TOKENS
 

diff --git a/library/parse/src/yacc/pr_yacc_tokens.e b/library/parse/src/yacc/pr_yacc_tokens.e
@@ -1,7 +1,7 @@
 note
 
 	description: "Parser token codes"
-	generator: "geyacc version 4.2"
+	generator: "geyacc version 4.3"
 
 deferred class PR_YACC_TOKENS
 

diff --git a/library/test/src/generation/ts_config_tokens.e b/library/test/src/generation/ts_config_tokens.e
@@ -1,7 +1,7 @@
 note
 
 	description: "Parser token codes"
-	generator: "geyacc version 4.2"
+	generator: "geyacc version 4.3"
 
 deferred class TS_CONFIG_TOKENS
 

diff --git a/library/tools/src/eiffel/parser/et_eiffel_tokens.e b/library/tools/src/eiffel/parser/et_eiffel_tokens.e
@@ -1,7 +1,7 @@
 note
 
 	description: "Parser token codes"
-	generator: "geyacc version 4.2"
+	generator: "geyacc version 4.3"
 
 deferred class ET_EIFFEL_TOKENS
 

diff --git a/library/tools/src/lace/parser/et_lace_tokens.e b/library/tools/src/lace/parser/et_lace_tokens.e
@@ -1,7 +1,7 @@
 note
 
 	description: "Parser token codes"
-	generator: "geyacc version 4.2"
+	generator: "geyacc version 4.3"
 
 deferred class ET_LACE_TOKENS
 

diff --git a/library/utility/src/config/ut_config_tokens.e b/library/utility/src/config/ut_config_tokens.e
@@ -1,7 +1,7 @@
 note
 
 	description: "Parser token codes"
-	generator: "geyacc version 4.2"
+	generator: "geyacc version 4.3"
 
 deferred class UT_CONFIG_TOKENS
 

diff --git a/library/xml/src/parser/eiffel/xm_eiffel_tokens.e b/library/xml/src/parser/eiffel/xm_eiffel_tokens.e
@@ -1,7 +1,7 @@
 note
 
 	description: "Parser token codes"
-	generator: "geyacc version 4.2"
+	generator: "geyacc version 4.3"
 
 deferred class XM_EIFFEL_TOKENS
 

diff --git a/tool/gepp/src/gepp_tokens.e b/tool/gepp/src/gepp_tokens.e
@@ -1,7 +1,7 @@
 note
 
 	description: "Parser token codes"
-	generator: "geyacc version 4.2"
+	generator: "geyacc version 4.3"
 
 deferred class GEPP_TOKENS