You can subscribe to this list here.
2001 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
(42) |
Jul
(154) |
Aug
(373) |
Sep
(265) |
Oct
(464) |
Nov
(289) |
Dec
(42) |
---|---|---|---|---|---|---|---|---|---|---|---|---|
2002 |
Jan
(4) |
Feb
(96) |
Mar
(198) |
Apr
(436) |
May
(205) |
Jun
(95) |
Jul
(354) |
Aug
(153) |
Sep
(82) |
Oct
(106) |
Nov
(95) |
Dec
(284) |
2003 |
Jan
(82) |
Feb
(146) |
Mar
(66) |
Apr
(62) |
May
(36) |
Jun
(190) |
Jul
(73) |
Aug
(36) |
Sep
(18) |
Oct
(56) |
Nov
(49) |
Dec
(77) |
2004 |
Jan
(70) |
Feb
(78) |
Mar
(137) |
Apr
(260) |
May
(105) |
Jun
(114) |
Jul
(141) |
Aug
(175) |
Sep
(406) |
Oct
(281) |
Nov
(259) |
Dec
(257) |
2005 |
Jan
(92) |
Feb
(287) |
Mar
(113) |
Apr
(119) |
May
(77) |
Jun
(255) |
Jul
(483) |
Aug
(221) |
Sep
(139) |
Oct
(238) |
Nov
(179) |
Dec
(42) |
2006 |
Jan
(37) |
Feb
(179) |
Mar
(178) |
Apr
(124) |
May
(62) |
Jun
(57) |
Jul
(123) |
Aug
(85) |
Sep
(117) |
Oct
(62) |
Nov
(52) |
Dec
(97) |
2007 |
Jan
(160) |
Feb
(24) |
Mar
(26) |
Apr
(22) |
May
(25) |
Jun
(20) |
Jul
(28) |
Aug
(20) |
Sep
(45) |
Oct
(61) |
Nov
(43) |
Dec
(44) |
2008 |
Jan
(42) |
Feb
(31) |
Mar
(15) |
Apr
(59) |
May
(39) |
Jun
(12) |
Jul
(19) |
Aug
(35) |
Sep
(35) |
Oct
(13) |
Nov
(22) |
Dec
(6) |
2009 |
Jan
(10) |
Feb
(10) |
Mar
(32) |
Apr
(7) |
May
(11) |
Jun
(6) |
Jul
(10) |
Aug
(9) |
Sep
(13) |
Oct
(9) |
Nov
(7) |
Dec
(2) |
2010 |
Jan
(2) |
Feb
(7) |
Mar
(10) |
Apr
(7) |
May
(6) |
Jun
(1) |
Jul
(1) |
Aug
(2) |
Sep
|
Oct
(1) |
Nov
(1) |
Dec
(2) |
2011 |
Jan
(4) |
Feb
(2) |
Mar
(2) |
Apr
(1) |
May
(1) |
Jun
(10) |
Jul
(7) |
Aug
(5) |
Sep
(3) |
Oct
|
Nov
(1) |
Dec
|
2012 |
Jan
(1) |
Feb
|
Mar
(1) |
Apr
(3) |
May
(1) |
Jun
(1) |
Jul
|
Aug
(7) |
Sep
|
Oct
(1) |
Nov
(4) |
Dec
(1) |
2013 |
Jan
(1) |
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
From: Berend de B. <be...@po...> - 2013-07-30 00:20:49
|
>>>>> "Eric" == Eric Bezault <er...@go...> writes: Eric> Hi Berend, I received this notification email last month, Eric> but I cannot see your commits in SourceForge Git repository. Eric> Sourceforge changed the address of the repository, and it Eric> looks like you used the old URL. It's not: Eric> ssh://gobo-eiffel.git.sourceforge.net/gitroot/gobo-eiffel/gobo Eric> anymore, but: Eric> ssh://git.code.sf.net/p/gobo-eiffel/gobo Eric> Can you have a look at that? Thanks. Finally got around it. I have a few more things, but what I just pushed was what didn't make it into the old repository. -- All the best, Berend de Boer ------------------------------------------------------ Awesome Drupal hosting: https://www.xplainhosting.com/ |
From: Eric B. <er...@go...> - 2013-01-20 09:38:25
|
Hi Berend, I received this notification email last month, but I cannot see your commits in SourceForge Git repository. Sourceforge changed the address of the repository, and it looks like you used the old URL. It's not: ssh://gobo-eiffel.git.sourceforge.net/gitroot/gobo-eiffel/gobo anymore, but: ssh://git.code.sf.net/p/gobo-eiffel/gobo Can you have a look at that? Thanks. -- Eric Bezault mailto:er...@go... http://www.gobosoft.com On 12/29/2012 2:21 AM, Berend de Boer wrote: > This is an automated email from the git hooks/post-receive script. It was > generated because a ref change was pushed to the repository containing > the project "gobo-eiffel". > > The branch, master has been updated > via cd422f01562fc15db4e5df2d8f495e615ff0b62c (commit) > via 411002ea1d0dd40ce59bfe05bdea54711211f8ca (commit) > via 509196c4cf5eee3f7348556f8c0ac575428c86a7 (commit) > via 5b1acfca52544e8c2371e9ce5f03937aef81da7f (commit) > via ffd6e8dd905c716592934c335c0645728b00ef33 (commit) > via 7f9b25ce8c2330ab754606c8b89ec02d5642e617 (commit) > via 20ee21742ddce33ecfaef4728e22489440ef6b3f (commit) > from bb985c3d7bdc024ea9e111ecbf49598714a828ce (commit) > > Those revisions listed above that are new to this repository have > not appeared on any other notification email; so we list those > revisions in full, below. > > - Log ----------------------------------------------------------------- > commit cd422f01562fc15db4e5df2d8f495e615ff0b62c > Merge: 411002e bb985c3 > Author: Berend de Boer <be...@po...> > Date: Sat Dec 29 12:34:32 2012 +1300 > > Merge branch 'master' of ssh://gobo-eiffel.git.sourceforge.net/gitroot/gobo-eiffel/gobo > > commit 411002ea1d0dd40ce59bfe05bdea54711211f8ca > Merge: 509196c dd401bf > Author: Berend de Boer <be...@po...> > Date: Wed May 2 10:28:17 2012 +1200 > > Merge branch 'master' of ssh://gobo-eiffel.git.sourceforge.net/gitroot/gobo-eiffel/gobo > > commit 509196c4cf5eee3f7348556f8c0ac575428c86a7 > Author: Berend de Boer <be...@po...> > Date: Thu Mar 22 07:10:22 2012 +1300 > > authority has a precondition we must check instead of checking for Void. > > commit 5b1acfca52544e8c2371e9ce5f03937aef81da7f > Merge: ffd6e8d a026cda > Author: Berend de Boer <be...@po...> > Date: Wed Mar 14 15:47:26 2012 +1300 > > Merge branch 'master' of ssh://gobo-eiffel.git.sourceforge.net/gitroot/gobo-eiffel/gobo > > commit ffd6e8dd905c716592934c335c0645728b00ef33 > Author: Berend de Boer <be...@po...> > Date: Tue Jan 10 17:20:19 2012 +1300 > > Overflow situations not detected/handled correctly. I.e. things like 7 > weeks of seconds would not work properly. With arithmetic in 64 bits > we avoid such problems. > > commit 7f9b25ce8c2330ab754606c8b89ec02d5642e617 > Merge: 20ee217 d881b80 > Author: Berend de Boer <be...@po...> > Date: Tue Jan 10 17:12:37 2012 +1300 > > Merge branch 'master' of ssh://gobo-eiffel.git.sourceforge.net/gitroot/gobo-eiffel/gobo > > commit 20ee21742ddce33ecfaef4728e22489440ef6b3f > Author: Berend de Boer <be...@po...> > Date: Sat Oct 1 13:43:29 2011 +1300 > > Fix typo. > > ----------------------------------------------------------------------- > > Summary of changes: > library/time/date/dt_date_time.e | 80 ++++++++++---------- > library/utility/uri/ut_uri.e | 2 +- > .../resolver/uri/xm_simple_uri_external_resolver.e | 2 +- > 3 files changed, 42 insertions(+), 42 deletions(-) > > > hooks/post-receive > |
From: Berend de B. <ber...@us...> - 2012-12-29 01:21:56
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via cd422f01562fc15db4e5df2d8f495e615ff0b62c (commit) via 411002ea1d0dd40ce59bfe05bdea54711211f8ca (commit) via 509196c4cf5eee3f7348556f8c0ac575428c86a7 (commit) via 5b1acfca52544e8c2371e9ce5f03937aef81da7f (commit) via ffd6e8dd905c716592934c335c0645728b00ef33 (commit) via 7f9b25ce8c2330ab754606c8b89ec02d5642e617 (commit) via 20ee21742ddce33ecfaef4728e22489440ef6b3f (commit) from bb985c3d7bdc024ea9e111ecbf49598714a828ce (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit cd422f01562fc15db4e5df2d8f495e615ff0b62c Merge: 411002e bb985c3 Author: Berend de Boer <be...@po...> Date: Sat Dec 29 12:34:32 2012 +1300 Merge branch 'master' of ssh://gobo-eiffel.git.sourceforge.net/gitroot/gobo-eiffel/gobo commit 411002ea1d0dd40ce59bfe05bdea54711211f8ca Merge: 509196c dd401bf Author: Berend de Boer <be...@po...> Date: Wed May 2 10:28:17 2012 +1200 Merge branch 'master' of ssh://gobo-eiffel.git.sourceforge.net/gitroot/gobo-eiffel/gobo commit 509196c4cf5eee3f7348556f8c0ac575428c86a7 Author: Berend de Boer <be...@po...> Date: Thu Mar 22 07:10:22 2012 +1300 authority has a precondition we must check instead of checking for Void. commit 5b1acfca52544e8c2371e9ce5f03937aef81da7f Merge: ffd6e8d a026cda Author: Berend de Boer <be...@po...> Date: Wed Mar 14 15:47:26 2012 +1300 Merge branch 'master' of ssh://gobo-eiffel.git.sourceforge.net/gitroot/gobo-eiffel/gobo commit ffd6e8dd905c716592934c335c0645728b00ef33 Author: Berend de Boer <be...@po...> Date: Tue Jan 10 17:20:19 2012 +1300 Overflow situations not detected/handled correctly. I.e. things like 7 weeks of seconds would not work properly. With arithmetic in 64 bits we avoid such problems. commit 7f9b25ce8c2330ab754606c8b89ec02d5642e617 Merge: 20ee217 d881b80 Author: Berend de Boer <be...@po...> Date: Tue Jan 10 17:12:37 2012 +1300 Merge branch 'master' of ssh://gobo-eiffel.git.sourceforge.net/gitroot/gobo-eiffel/gobo commit 20ee21742ddce33ecfaef4728e22489440ef6b3f Author: Berend de Boer <be...@po...> Date: Sat Oct 1 13:43:29 2011 +1300 Fix typo. ----------------------------------------------------------------------- Summary of changes: library/time/date/dt_date_time.e | 80 ++++++++++---------- library/utility/uri/ut_uri.e | 2 +- .../resolver/uri/xm_simple_uri_external_resolver.e | 2 +- 3 files changed, 42 insertions(+), 42 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-11-13 13:30:29
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via bb985c3d7bdc024ea9e111ecbf49598714a828ce (commit) via 0be6bfdbf3abd548ff3548972f5225420d0d42c3 (commit) from e34f797944f478960caf3a305906d17b45650f11 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit bb985c3d7bdc024ea9e111ecbf49598714a828ce Author: Eric Bezault <er...@go...> Date: Tue Nov 13 14:29:43 2012 +0100 Improved void-safe version of the decimal library. commit 0be6bfdbf3abd548ff3548972f5225420d0d42c3 Author: Eric Bezault <er...@go...> Date: Tue Nov 13 14:28:51 2012 +0100 Started to replace assignment attempts by object-tests to make ISE 7.1 happy. ----------------------------------------------------------------------- Summary of changes: example/math/decimal/telco/telco.e | 5 +---- library/math/decimal/ma_decimal.e | 11 +++-------- library/tools/eiffel/generation/et_c_generator.e | 16 +++++++--------- 3 files changed, 11 insertions(+), 21 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-11-12 18:07:30
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via e34f797944f478960caf3a305906d17b45650f11 (commit) via 83ebaede949ca3322ed1e6d11dc64a625a3ef70b (commit) via 7da34ddbce0018b793ef1e37e21dbcd2354204b5 (commit) via c9f746699957747fcd6f18da7e8d8c76f1e5d799 (commit) via 85a5c547a29490071fe3a22d97767bfe7986dc8b (commit) from a265ed00e694ed13c1955cf5530a7fe48cea24d0 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit e34f797944f478960caf3a305906d17b45650f11 Merge: a265ed0 83ebaed Author: Eric Bezault <er...@go...> Date: Mon Nov 12 09:53:47 2012 -0800 Merge pull request #2 from pgcrism/master Math/Decimal Void-safe commit 83ebaede949ca3322ed1e6d11dc64a625a3ef70b Author: pgcrism <pg...@us...> Date: Tue Aug 28 22:57:25 2012 +0200 Decimals: Void safe commit 7da34ddbce0018b793ef1e37e21dbcd2354204b5 Merge: c9f7466 ed14960 Author: pgcrism <pg...@us...> Date: Tue Aug 28 22:16:10 2012 +0200 Merge with upstream/master commit c9f746699957747fcd6f18da7e8d8c76f1e5d799 Author: pgcrism <pg...@sc...> Date: Thu Mar 29 22:01:52 2012 +0200 Void-safety: Initialize to non-void value. Signed-off-by: pgcrism <pg...@ya...> commit 85a5c547a29490071fe3a22d97767bfe7986dc8b Merge: da26c67 a026cda Author: pgcrism <pg...@ya...> Date: Wed Mar 14 10:46:22 2012 +0100 Merge remote-tracking branch 'upstream/master' ----------------------------------------------------------------------- Summary of changes: example/math/decimal/telco/telco.e | 6 +++++- library/math/decimal/ma_decimal.e | 24 ++++++++++++++++++++++-- library/math/decimal/ma_decimal_bcd_parser.e | 13 +++++++++---- library/math/decimal/ma_decimal_context.e | 2 +- library/math/decimal/ma_decimal_parser.e | 2 +- library/math/decimal/ma_decimal_text_parser.e | 2 +- 6 files changed, 39 insertions(+), 10 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-11-12 17:30:49
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via a265ed00e694ed13c1955cf5530a7fe48cea24d0 (commit) via 5132e301b37f2390a213179bcb732dc86b2afbfc (commit) via 9182acec477ca54083d2009f91ecf699224ec60a (commit) via 698350b8717acd61c5336c332bc322b259bf8e0b (commit) via e91702192f14745c9f4ec5b5409c49f45e7a3bce (commit) from 723467aba68669312b68d98d348da3623ee7c363 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit a265ed00e694ed13c1955cf5530a7fe48cea24d0 Merge: 5132e30 723467a Author: Eric Bezault <er...@go...> Date: Mon Nov 12 18:29:33 2012 +0100 Merge branch 'master' into dev commit 5132e301b37f2390a213179bcb732dc86b2afbfc Author: Eric Bezault <er...@go...> Date: Mon Nov 12 18:16:11 2012 +0100 Added library dependency information in Xace file. commit 9182acec477ca54083d2009f91ecf699224ec60a Author: Eric Bezault <er...@go...> Date: Mon Nov 12 18:14:32 2012 +0100 For compatibility with ISE's tools, define the environment variable "$ISE_LIBRARY" to $ISE_EIFFEL" if not set yet. commit 698350b8717acd61c5336c332bc322b259bf8e0b Merge: e917021 f3a77c3 Author: Eric Bezault <er...@go...> Date: Mon Nov 12 18:11:39 2012 +0100 Started to replace assignment attempts by object-tests to make ISE 7.1 happy. commit e91702192f14745c9f4ec5b5409c49f45e7a3bce Author: Eric Bezault <er...@go...> Date: Tue Aug 21 09:00:55 2012 +0200 Force parser Eiffel classes to be regenerated by geyacc. ----------------------------------------------------------------------- Summary of changes: History.txt | 9 +- library/kernel/library.xace | 2 + library/kernel/misc/kl_hashable_routines.e | 7 +- library/kernel/unicode/uc_utf8_routines.e | 4 +- library/lexical/automaton/lx_nfa_state.e | 12 +- library/lexical/lex/lx_lex_scanner_skeleton.e | 7 +- library/parse/generation/pr_doc_generator.e | 12 +- library/parse/yacc/pr_yacc_parser_skeleton.e | 6 +- library/parse/yacc/pr_yacc_scanner_skeleton.e | 7 +- library/string/formatter/general/st_formatter.e | 19 +- .../formatter/parameter/st_double_formatter.e | 15 +- .../formatter/parameter/st_string_formatter.e | 15 +- .../unicode/st_unicode_normalization_interface.e | 38 +- .../table/ds_binary_search_tree_container.e | 6 +- library/structure/table/ds_sparse_container.e | 14 +- library/structure/table/ds_sparse_table.e | 8 +- library/structure/table/ds_table.e | 10 +- library/tools/ecf/error/et_ecf_error.e | 6 +- library/tools/ecf/parser/et_ecf_parser.e | 7 +- library/tools/ecf/parser/et_ecf_parser_skeleton.e | 48 +- library/tools/eiffel/ast/agent/et_inline_agent.e | 6 +- library/tools/eiffel/ast/class/et_creator.e | 6 +- .../eiffel/ast/expression/et_manifest_array.e | 10 +- .../ast/group/et_cluster_dependence_constraint.e | 6 +- .../tools/eiffel/ast/group/et_dotnet_assembly.e | 7 +- library/tools/eiffel/ast/group/et_system.e | 4 +- library/tools/eiffel/ast/name/et_free_name.e | 23 +- library/tools/eiffel/ast/name/et_identifier.e | 54 +- library/tools/eiffel/ast/type/et_base_type.e | 6 +- .../compilation/et_feature_adaptation_resolver.e | 42 +- .../tools/eiffel/compilation/et_feature_checker.e | 833 +++++++++----------- .../compilation/et_formal_parameter_checker1.e | 6 +- .../eiffel/compilation/et_object_test_finder.e | 32 +- library/tools/eiffel/compilation/et_type_checker.e | 31 +- .../et_dynamic_agent_operand_push_type_set.e | 9 +- .../dynamic/et_dynamic_argument_attachment.e | 7 +- .../dynamic/et_dynamic_extendible_type_set.e | 34 +- .../dynamic/et_dynamic_push_type_set_builder.e | 68 +- .../eiffel/dynamic/et_dynamic_qualified_call.e | 34 +- library/tools/eiffel/dynamic/et_dynamic_system.e | 6 +- library/tools/eiffel/error/et_validity_error.e | 15 +- library/tools/eiffel/generation/et_c_generator.e | 783 ++++++++----------- library/tools/eiffel/processor/et_system_marker.e | 14 +- .../tools/lace/parser/et_lace_parser_skeleton.e | 4 +- .../tools/xace/parser/et_xace_parser_skeleton.e | 55 +- library/tools/xace/parser/et_xace_preprocessor.e | 11 +- library/tools/xace/parser/et_xace_validator.e | 38 +- .../xm_xpath_reverse_array_node_list_iterator.e | 4 +- .../expression/xm_xpath_intersection_enumeration.e | 4 +- .../xm_xpath_tree_following_sibling_enumeration.e | 9 +- library/xml/xslt/function/xm_xslt_regex_group.e | 20 +- library/xml/xslt/style/xm_xslt_attribute.e | 6 +- library/xml/xslt/style/xm_xslt_sort.e | 22 +- src/gepp/gepp_scanner.l | 10 +- test/kernel/kl_test_unix_file_system.e | 10 +- test/kernel/kl_test_windows_file_system.e | 10 +- test/string/st_test_case_mappings.e | 11 +- test/structure/ds_test_hash_set.e | 35 +- test/structure/ds_test_hash_table.e | 55 +-- test/tools/et_test_ast_printer.e | 6 + test/xml/xpath/xm_xpath_test_ceiling.e | 47 +- 61 files changed, 1059 insertions(+), 1586 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-11-08 22:04:15
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via 723467aba68669312b68d98d348da3623ee7c363 (commit) via 3f558c6d9e133ed6bf4853b2b2c1e1aed319de98 (commit) from f3a77c3726820c07dc4594db349cfa96e185f4ea (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 723467aba68669312b68d98d348da3623ee7c363 Author: Eric Bezault <er...@go...> Date: Thu Nov 8 13:55:34 2012 -0800 Fixed pathname resolution (variable expansion) when reading <assembly> entries in ECF files. commit 3f558c6d9e133ed6bf4853b2b2c1e1aed319de98 Author: Eric Bezault <er...@go...> Date: Thu Nov 8 13:54:06 2012 -0800 Fixed bug in void-safe mode. ----------------------------------------------------------------------- Summary of changes: library/structure/dispenser/ds_arrayed_stack.e | 4 +- library/structure/list/ds_arrayed_list.e | 4 +- library/tools/ecf/parser/et_ecf_parser_skeleton.e | 93 +++++++++++---------- library/tools/ecf/parser/et_ecf_system_parser.e | 7 ++- library/tools/eiffel/ast/misc/et_head_list.e | 7 +- library/tools/eiffel/ast/misc/et_tail_list.e | 6 +- 6 files changed, 70 insertions(+), 51 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-10-01 11:04:17
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via f3a77c3726820c07dc4594db349cfa96e185f4ea (commit) from ed14960c2ff04ed527173b9def0cf20cd17ea269 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit f3a77c3726820c07dc4594db349cfa96e185f4ea Author: Eric Bezault <er...@go...> Date: Mon Oct 1 04:02:48 2012 -0700 * Fixed bug in DS_HASH_TABLE when the calls to `key_equality_tester' in `search_position' trigger the invariant which internally calls `search_position'. This routine was not written to be re-entrant. * Fixed bug in features `force_last_new' and `put_last_new' of DS_HASH_TABLE when the call is not preceded by a call to `search_position' with the same key. ----------------------------------------------------------------------- Summary of changes: History.txt | 6 +++ library/structure/table/ds_sparse_container.e | 14 ++++-- library/structure/table/ds_sparse_table.e | 8 +-- test/structure/ds_test_hash_set.e | 35 +++++++++++++++- test/structure/ds_test_hash_table.e | 55 ++++++++++++++++++++++++- 5 files changed, 106 insertions(+), 12 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-08-18 23:05:36
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via ed14960c2ff04ed527173b9def0cf20cd17ea269 (commit) via fcfba385300197282dbe67115bd9bef03555bad5 (commit) via cf8dce8826e8da2ba9820a77579058713a64e0b3 (commit) via bdcf0ad26060659921925ea9d000bf2cce14b947 (commit) via 9aa2e5179c138e524740304fefa21a3e4a561de4 (commit) from 9689f4b39face2df6ef43957479544ecfabbc671 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit ed14960c2ff04ed527173b9def0cf20cd17ea269 Author: Eric Bezault <er...@go...> Date: Sun Aug 19 01:04:24 2012 +0200 Force parser Eiffel classes to be regenerated by geyacc. commit fcfba385300197282dbe67115bd9bef03555bad5 Author: Eric Bezault <er...@go...> Date: Sat Aug 18 23:16:24 2012 +0200 Fixed typo. commit cf8dce8826e8da2ba9820a77579058713a64e0b3 Author: Eric Bezault <er...@go...> Date: Sat Aug 18 23:16:01 2012 +0200 Removed unreachable code. commit bdcf0ad26060659921925ea9d000bf2cce14b947 Author: Eric Bezault <er...@go...> Date: Sat Aug 18 23:14:22 2012 +0200 Fixed assertion violations in ISE "standard" mode (it was working in "compatible" mode). commit 9aa2e5179c138e524740304fefa21a3e4a561de4 Author: Eric Bezault <er...@go...> Date: Sat Aug 18 23:08:35 2012 +0200 Removed old unicode classes. ----------------------------------------------------------------------- Summary of changes: library/kernel/io/kl_character_buffer.e | 7 +- library/kernel/unicode/uc_v410_ctype.e | 109 - library/kernel/unicode/uc_v410_ctype_lowercase.e | 1134 - library/kernel/unicode/uc_v410_ctype_titlecase.e | 1134 - library/kernel/unicode/uc_v410_ctype_uppercase.e | 1134 - library/kernel/unicode/uc_v500_ctype.e | 109 - library/kernel/unicode/uc_v500_ctype_lowercase.e | 1134 - library/kernel/unicode/uc_v500_ctype_titlecase.e | 1169 - library/kernel/unicode/uc_v500_ctype_uppercase.e | 1169 - .../skeleton/yy_compressed_scanner_skeleton.e | 2 +- library/parse/generation/pr_parser_generator.e | 16 +- library/parse/skeleton/yy_parser_skeleton.e | 5 + ...mported_unicode_v410_character_class_routines.e | 25 - ..._imported_unicode_v410_normalization_routines.e | 25 - ...mported_unicode_v500_character_class_routines.e | 25 - .../st_imported_unicode_v500_full_case_mapping.e | 25 - ..._imported_unicode_v500_normalization_routines.e | 25 - .../st_unicode_v410_character_class_routines.e |17065 ---------- .../st_unicode_v410_normalization_routines.e |35406 ------------------- .../st_unicode_v500_character_class_routines.e |17312 ---------- .../unicode/st_unicode_v500_full_case_mapping.e | 6145 ---- .../st_unicode_v500_normalization_routines.e |35645 -------------------- .../tools/xace/generator/et_xace_ecf_generator.e | 9 +- src/gexace/gexace.e | 2 +- work/bootstrap/geyacc.h | 2416 +- work/bootstrap/geyacc1.c |14761 ++++---- work/bootstrap/geyacc2.c | 5734 ++-- 27 files changed, 12536 insertions(+), 129206 deletions(-) delete mode 100644 library/kernel/unicode/uc_v410_ctype.e delete mode 100644 library/kernel/unicode/uc_v410_ctype_lowercase.e delete mode 100644 library/kernel/unicode/uc_v410_ctype_titlecase.e delete mode 100644 library/kernel/unicode/uc_v410_ctype_uppercase.e delete mode 100644 library/kernel/unicode/uc_v500_ctype.e delete mode 100644 library/kernel/unicode/uc_v500_ctype_lowercase.e delete mode 100644 library/kernel/unicode/uc_v500_ctype_titlecase.e delete mode 100644 library/kernel/unicode/uc_v500_ctype_uppercase.e delete mode 100644 library/string/unicode/st_imported_unicode_v410_character_class_routines.e delete mode 100644 library/string/unicode/st_imported_unicode_v410_normalization_routines.e delete mode 100644 library/string/unicode/st_imported_unicode_v500_character_class_routines.e delete mode 100644 library/string/unicode/st_imported_unicode_v500_full_case_mapping.e delete mode 100644 library/string/unicode/st_imported_unicode_v500_normalization_routines.e delete mode 100644 library/string/unicode/st_unicode_v410_character_class_routines.e delete mode 100644 library/string/unicode/st_unicode_v410_normalization_routines.e delete mode 100644 library/string/unicode/st_unicode_v500_character_class_routines.e delete mode 100644 library/string/unicode/st_unicode_v500_full_case_mapping.e delete mode 100644 library/string/unicode/st_unicode_v500_normalization_routines.e hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-08-13 06:57:27
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via 9689f4b39face2df6ef43957479544ecfabbc671 (commit) from 47bc2d3b302b0983b1d1ceef5075b0b4b05d3f38 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 9689f4b39face2df6ef43957479544ecfabbc671 Author: Eric Bezault <er...@go...> Date: Mon Aug 13 08:54:09 2012 +0200 Fixed assertion violations with ISE 7.1. ----------------------------------------------------------------------- Summary of changes: History.txt | 2 - library/kernel/unicode/uc_string.e | 38 ++++++++++++++++++++ library/structure/list/ds_arrayed_list.e | 4 ++- library/structure/set/ds_arrayed_sparse_set.e | 12 +++++-- library/structure/set/ds_multiarrayed_sparse_set.e | 15 ++++++-- library/structure/table/ds_arrayed_sparse_table.e | 16 ++++++-- .../structure/table/ds_multiarrayed_sparse_table.e | 22 ++++++++--- library/tools/eiffel/ast/misc/et_type_mark.e | 8 ++++- 8 files changed, 96 insertions(+), 21 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-08-11 16:53:14
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via 47bc2d3b302b0983b1d1ceef5075b0b4b05d3f38 (commit) via c12848c9d489282ed13db7fddd697de77373e641 (commit) from 2826a90cdeba1de69008d503930bca1d74b97635 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 47bc2d3b302b0983b1d1ceef5075b0b4b05d3f38 Author: Eric Bezault <er...@go...> Date: Sat Aug 11 18:52:21 2012 +0200 Fixed conversion detection when the types involved are marked as separate. commit c12848c9d489282ed13db7fddd697de77373e641 Author: Eric Bezault <er...@go...> Date: Fri Aug 10 18:09:26 2012 +0200 Fixed bug (call on void target). ----------------------------------------------------------------------- Summary of changes: library/tools/eiffel/ast/class/et_class.e | 8 ++++++-- library/tools/eiffel/ast/misc/et_token_constants.e | 16 ++++++++++++++++ library/tools/eiffel/ast/type/et_class_type.e | 20 ++++++++++++++++---- library/tools/eiffel/ast/type/et_type_list.e | 18 ++++++++++++++++-- .../tools/eiffel/compilation/et_feature_checker.e | 2 +- 5 files changed, 55 insertions(+), 9 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-08-07 17:31:56
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via 2826a90cdeba1de69008d503930bca1d74b97635 (commit) from d83a8d3de316b14c2f4e10fa8fbf5dc7da57332d (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 2826a90cdeba1de69008d503930bca1d74b97635 Author: Eric Bezault <er...@go...> Date: Tue Aug 7 19:30:02 2012 +0200 Take into account feature calls hidden behind the across expressions/instructions. ----------------------------------------------------------------------- Summary of changes: .../eiffel/processor/et_feature_call_handler.e | 12 ++++++++++++ 1 files changed, 12 insertions(+), 0 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-08-06 16:11:08
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via d83a8d3de316b14c2f4e10fa8fbf5dc7da57332d (commit) from 79455456c2f3f6b285577cdc5ca79f808e3328c4 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit d83a8d3de316b14c2f4e10fa8fbf5dc7da57332d Author: Eric Bezault <er...@go...> Date: Mon Aug 6 17:19:17 2012 +0200 Improved command-line processing of the generated test harness. ----------------------------------------------------------------------- Summary of changes: History.txt | 3 + library/test/generation/ts_testcases.e | 10 +- library/test/harness/ts_summary.e | 34 +++--- library/test/harness/ts_test_case.e | 6 +- library/test/harness/ts_tester.e | 200 +++++++++++++++++++++++-------- 5 files changed, 178 insertions(+), 75 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-08-05 07:43:49
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via 79455456c2f3f6b285577cdc5ca79f808e3328c4 (commit) via 904b9aebda6430499502576b6e55e02daed8b5dd (commit) via 1fecebdcf69ff6c3dd8021ab1b078c57f2d9b9b7 (commit) from e7af3da86ef8d543e8a3bfa98da44829b32ebced (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 79455456c2f3f6b285577cdc5ca79f808e3328c4 Author: Eric Bezault <er...@go...> Date: Sat Aug 4 22:35:44 2012 +0200 Fixed comment. commit 904b9aebda6430499502576b6e55e02daed8b5dd Author: Eric Bezault <er...@go...> Date: Fri Aug 3 20:37:01 2012 +0200 Updated History file. commit 1fecebdcf69ff6c3dd8021ab1b078c57f2d9b9b7 Author: Eric Bezault <er...@go...> Date: Fri Aug 3 20:32:57 2012 +0200 Added support for qualified anchored types in %type and %token declarations in .y files of geyacc. ----------------------------------------------------------------------- Summary of changes: History.txt | 4 + library/parse/grammar/pr_type.e | 36 ++++++++++- library/parse/yacc/pr_yacc_parser.y | 70 +++++++++++++++---- library/parse/yacc/pr_yacc_parser_skeleton.e | 30 ++++++++- .../tools/eiffel/compilation/et_feature_checker.e | 10 ++- 5 files changed, 129 insertions(+), 21 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-08-03 15:27:37
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via e7af3da86ef8d543e8a3bfa98da44829b32ebced (commit) via a5b9103df3bab190d103ab8f4cc6b163802d9547 (commit) via 120e22814ca2f266fd2a4a59d39a4c0310487b54 (commit) via d2247f808df70dde64452bd4431d22f2c8e30e51 (commit) via 199451db0cead1cb4a0b1d1c936ed61bbce78440 (commit) from e1084dd260366c5a284e57bd407382d842da9461 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit e7af3da86ef8d543e8a3bfa98da44829b32ebced Author: Eric Bezault <er...@go...> Date: Fri Aug 3 17:21:25 2012 +0200 Adapted for ISE 7.1. commit a5b9103df3bab190d103ab8f4cc6b163802d9547 Author: Eric Bezault <er...@go...> Date: Fri Aug 3 17:17:47 2012 +0200 Added support for across instructions/expressions. commit 120e22814ca2f266fd2a4a59d39a4c0310487b54 Author: Eric Bezault <er...@go...> Date: Fri Jul 20 17:22:16 2012 +0200 Added new command-line options to TS_TESTER to get the list of failed tests (--failure_output=<filename>), aborted tests (--abort_output=<filename>) and completed tests (--completed_output=<filename>). commit d2247f808df70dde64452bd4431d22f2c8e30e51 Author: Eric Bezault <er...@go...> Date: Thu Jul 19 23:54:30 2012 +0200 Added new command-line options to TS_TESTER to get the list of successful tests (--success_output=<filename>) and to exclude them from the next runs (--exclude_filters=<filename>). commit 199451db0cead1cb4a0b1d1c936ed61bbce78440 Author: Eric Bezault <er...@go...> Date: Tue Jul 10 16:46:05 2012 +0200 Made the kernel library compile in void-safe mode. ----------------------------------------------------------------------- Summary of changes: install.bat | 3 +- install.sh | 3 +- library/free_elks/kernel/iterable.e | 33 + library/free_elks/kernel/iteration_cursor.e | 49 + library/kernel/basic/kl_array_routines.e | 12 +- library/kernel/basic/kl_special_routines.e | 107 - library/kernel/basic/kl_special_routines.ge | 182 + library/kernel/build.eant | 11 +- library/kernel/io/ki_buffer.e | 21 +- library/kernel/io/ki_character_buffer.e | 5 +- library/kernel/io/kl_directory.e | 10 +- library/kernel/io/kl_pathname.e | 5 +- library/kernel/misc/kl_array.e | 42 + library/kernel/unicode/uc_string.e | 104 +- library/kernel/unicode/uc_utf8_routines.e | 56 +- library/kernel/unicode/uc_v410_ctype_lowercase.e | 264 +- library/kernel/unicode/uc_v410_ctype_titlecase.e | 264 +- library/kernel/unicode/uc_v410_ctype_uppercase.e | 264 +- library/kernel/unicode/uc_v500_ctype_lowercase.e | 264 +- library/kernel/unicode/uc_v500_ctype_titlecase.e | 264 +- library/kernel/unicode/uc_v500_ctype_uppercase.e | 264 +- library/kernel/unicode/uc_v510_ctype_lowercase.e | 264 +- library/kernel/unicode/uc_v510_ctype_titlecase.e | 264 +- library/kernel/unicode/uc_v510_ctype_uppercase.e | 264 +- .../skeleton/yy_compressed_scanner_skeleton.e | 12 +- .../skeleton/yy_interactive_scanner_skeleton.e | 6 +- library/math/decimal/ma_decimal_coefficient_imp.e | 6 +- library/parse/grammar/pr_type.e | 14 +- library/parse/skeleton/yy_old_parser_skeleton.e | 6 +- library/parse/skeleton/yy_parser_skeleton.e | 4 +- library/regexp/pcre/rx_pcre_matcher.e | 16 +- library/regexp/support/rx_byte_code.e | 10 +- library/regexp/support/rx_case_mapping.e | 6 +- library/regexp/support/rx_character_set.e | 4 +- library/structure/dispenser/ds_arrayed_stack.e | 45 +- library/structure/list/ds_arrayed_list.e | 100 +- library/structure/set/ds_arrayed_sparse_set.e | 22 +- library/structure/set/ds_multiarrayed_sparse_set.e | 8 +- library/structure/table/ds_arrayed_sparse_table.e | 34 +- .../structure/table/ds_multiarrayed_sparse_table.e | 10 +- library/test/generation/ts_testcases.e | 14 +- library/test/harness/ts_summary.e | 105 +- library/test/harness/ts_test_case.e | 6 +- library/test/harness/ts_tester.e | 243 +- library/tools/eiffel/ast/class/et_class.e | 14 +- .../eiffel/ast/expression/et_across_expression.e | 232 + .../eiffel/ast/feature/et_across_component_list.e | 84 + library/tools/eiffel/ast/feature/et_attribute.e | 4 +- library/tools/eiffel/ast/feature/et_closure.e | 14 +- .../eiffel/ast/feature/et_constant_attribute.e | 4 +- .../eiffel/ast/feature/et_deferred_function.e | 4 +- .../eiffel/ast/feature/et_deferred_procedure.e | 4 +- library/tools/eiffel/ast/feature/et_do_function.e | 4 +- library/tools/eiffel/ast/feature/et_do_procedure.e | 4 +- .../tools/eiffel/ast/feature/et_dotnet_function.e | 4 +- .../tools/eiffel/ast/feature/et_dotnet_procedure.e | 4 +- .../eiffel/ast/feature/et_extended_attribute.e | 4 +- .../eiffel/ast/feature/et_external_function.e | 4 +- .../eiffel/ast/feature/et_external_procedure.e | 4 +- library/tools/eiffel/ast/feature/et_function.e | 3 +- .../tools/eiffel/ast/feature/et_once_function.e | 4 +- .../tools/eiffel/ast/feature/et_once_procedure.e | 4 +- library/tools/eiffel/ast/feature/et_procedure.e | 3 +- library/tools/eiffel/ast/feature/et_query.e | 3 +- .../tools/eiffel/ast/feature/et_unique_attribute.e | 4 +- library/tools/eiffel/ast/group/et_system.e | 41 +- library/tools/eiffel/ast/group/et_universe.e | 23 +- .../eiffel/ast/instruction/et_across_component.e | 109 + .../eiffel/ast/instruction/et_across_instruction.e | 197 + .../eiffel/ast/instruction/et_loop_component.e | 46 + .../eiffel/ast/instruction/et_loop_instruction.e | 2 + library/tools/eiffel/ast/misc/et_class_codes.e | 10 +- library/tools/eiffel/ast/misc/et_head_list.e | 22 +- library/tools/eiffel/ast/misc/et_keyword.e | 38 +- library/tools/eiffel/ast/misc/et_tail_hash_list.e | 57 +- library/tools/eiffel/ast/misc/et_tail_list.e | 51 +- library/tools/eiffel/ast/misc/et_token_codes.e | 128 +- library/tools/eiffel/ast/misc/et_token_constants.e | 73 +- library/tools/eiffel/ast/name/et_call_name.e | 18 +- library/tools/eiffel/ast/name/et_identifier.e | 31 +- .../eiffel/compilation/et_across_cursor_scope.e | 222 + .../tools/eiffel/compilation/et_feature_checker.e | 966 +- .../eiffel/compilation/et_feature_flattener.e | 40 +- .../compilation/et_object_test_scope_builder.e | 2 +- .../eiffel/compilation/et_precursor_checker.e | 58 +- .../tools/eiffel/dynamic/et_dynamic_type_builder.e | 26 + .../eiffel/dynamic/et_dynamic_type_hash_list.e | 8 +- .../tools/eiffel/dynamic/et_dynamic_type_list.e | 8 +- library/tools/eiffel/error/et_error_handler.e | 256 +- library/tools/eiffel/error/et_validity_error.e | 498 +- library/tools/eiffel/generation/et_c_generator.e | 330 +- library/tools/eiffel/parser/et_ast_factory.e | 62 +- .../tools/eiffel/parser/et_decorated_ast_factory.e | 92 +- library/tools/eiffel/parser/et_eiffel_parser.y | 141 +- .../eiffel/parser/et_eiffel_parser_skeleton.e | 321 +- library/tools/eiffel/parser/et_eiffel_scanner.l | 6 +- .../eiffel/parser/et_eiffel_scanner_skeleton.e | 50 +- library/tools/eiffel/processor/et_ast_iterator.e | 64 +- .../tools/eiffel/processor/et_ast_null_processor.e | 12 +- .../tools/eiffel/processor/et_ast_pretty_printer.e | 124 +- library/tools/eiffel/processor/et_ast_processor.e | 16 +- library/tools/eiffel/processor/et_comment_finder.e | 20 +- .../eiffel/processor/et_expression_type_finder.e | 102 +- .../eiffel/processor/et_feature_call_handler.e | 89 +- .../eiffel/processor/et_system_class_marker.e | 58 +- library/tools/eiffel/processor/et_system_marker.e | 58 +- library/xml/parser/eiffel/xm_eiffel_parser.y | 4 +- library/xml/parser/eiffel/xm_eiffel_scanner.l | 6 +- misc/eiffel.eant | 8 +- misc/ge2e.eant | 4 +- src/geant/command/geant_gec_command.e | 9 +- src/geant/command/geant_ise_command.e | 23 +- src/geant/task/geant_ise_task.e | 15 +- test/gelint/semantics/across_iteration/.gitignore | 20 + test/gelint/semantics/across_iteration/bb.e | 40 + test/gelint/semantics/across_iteration/build.eant | 34 + test/gelint/semantics/across_iteration/cc.e | 60 + test/gelint/semantics/across_iteration/getest.cfg | 15 + test/gelint/semantics/across_iteration/system.xace | 39 + .../across_iteration/test_across_iteration.e | 166 + test/gelint/semantics/build.eant | 4 +- test/gelint/validity/build.eant | 14 +- test/gelint/validity/gvwmc2/test12/failed.ise | 9 + test/gelint/validity/gvwmc2/test16/failed.ise | 9 + test/gelint/validity/gvwmc2/test4/failed.ise | 9 + test/gelint/validity/gvwmc2/test8/failed.ise | 9 + test/gelint/validity/vdrd2/test1/failed.ise | 18 + test/gelint/validity/veen8/build.eant | 6 +- test/gelint/validity/veen8/test4/aa.e | 18 + test/gelint/validity/veen8/test4/build.eant | 26 + test/gelint/validity/veen8/test4/passed.ise | 35 + .../validity/veen8/test4/passed_vuex1_code.gec | 2 + .../validity/veen8/test4/passed_vuex1_code.gelint | 2 + test/gelint/validity/veen8/test4/system.xace | 31 + test/gelint/validity/veen8/test_veen8_test4.e | 45 + test/gelint/validity/vfac3/test2/passed.ise | 15 + test/gelint/validity/vfac3/test4/passed.ise | 15 + test/gelint/validity/vjar/test3/passed.ise | 19 + test/gelint/validity/voit1/build.eant | 60 + test/gelint/validity/voit1/getest.cfg | 15 + test/gelint/validity/voit1/system.xace | 39 + test/gelint/validity/voit1/test1/aa.e | 29 + test/gelint/validity/voit1/test1/bb.e | 3 + test/gelint/validity/voit1/test1/build.eant | 26 + test/gelint/validity/voit1/test1/passed.gec | 2 + test/gelint/validity/voit1/test1/passed.gelint | 2 + test/gelint/validity/voit1/test1/passed.ise | 34 + test/gelint/validity/voit1/test1/system.xace | 31 + test/gelint/validity/voit1/test2/aa.e | 23 + test/gelint/validity/voit1/test2/bb.e | 3 + test/gelint/validity/voit1/test2/build.eant | 26 + test/gelint/validity/voit1/test2/passed.gec | 2 + test/gelint/validity/voit1/test2/passed.gelint | 2 + test/gelint/validity/voit1/test2/passed.ise | 34 + test/gelint/validity/voit1/test2/system.xace | 31 + test/gelint/validity/voit1/test3/aa.e | 23 + test/gelint/validity/voit1/test3/bb.e | 3 + test/gelint/validity/voit1/test3/build.eant | 26 + test/gelint/validity/voit1/test3/passed.gec | 2 + test/gelint/validity/voit1/test3/passed.gelint | 2 + test/gelint/validity/voit1/test3/passed.ise | 34 + test/gelint/validity/voit1/test3/system.xace | 31 + test/gelint/validity/voit1/test_voit1_test1.e | 50 + test/gelint/validity/voit1/test_voit1_test2.e | 50 + test/gelint/validity/voit1/test_voit1_test3.e | 50 + test/gelint/validity/voit2/build.eant | 75 + test/gelint/validity/voit2/getest.cfg | 15 + test/gelint/validity/voit2/system.xace | 39 + test/gelint/validity/voit2/test1/aa.e | 37 + test/gelint/validity/voit2/test1/bb.e | 14 + test/gelint/validity/voit2/test1/build.eant | 26 + test/gelint/validity/voit2/test1/cc.e | 27 + .../validity/voit2/test1/failed_wrong_code.ise | 19 + test/gelint/validity/voit2/test1/passed.gec | 2 + test/gelint/validity/voit2/test1/passed.gelint | 2 + test/gelint/validity/voit2/test1/system.xace | 31 + test/gelint/validity/voit2/test2/aa.e | 27 + test/gelint/validity/voit2/test2/bb.e | 14 + test/gelint/validity/voit2/test2/build.eant | 26 + test/gelint/validity/voit2/test2/cc.e | 27 + .../test9/failed.ise => voit2/test2/passed.gec} | 0 .../test9/failed.ise => voit2/test2/passed.gelint} | 0 .../test9/failed.ise => voit2/test2/passed.ise} | 0 test/gelint/validity/voit2/test2/system.xace | 31 + test/gelint/validity/voit2/test3/aa.e | 25 + test/gelint/validity/voit2/test3/bb.e | 14 + test/gelint/validity/voit2/test3/build.eant | 26 + test/gelint/validity/voit2/test3/cc.e | 27 + test/gelint/validity/voit2/test3/passed.gec | 2 + test/gelint/validity/voit2/test3/passed.gelint | 2 + test/gelint/validity/voit2/test3/passed.ise | 54 + test/gelint/validity/voit2/test3/system.xace | 31 + test/gelint/validity/voit2/test4/aa.e | 29 + test/gelint/validity/voit2/test4/bb.e | 14 + test/gelint/validity/voit2/test4/build.eant | 26 + test/gelint/validity/voit2/test4/cc.e | 27 + test/gelint/validity/voit2/test4/passed.gec | 2 + test/gelint/validity/voit2/test4/passed.gelint | 2 + test/gelint/validity/voit2/test4/passed.ise | 54 + test/gelint/validity/voit2/test4/system.xace | 31 + test/gelint/validity/voit2/test5/aa.e | 28 + test/gelint/validity/voit2/test5/bb.e | 14 + test/gelint/validity/voit2/test5/build.eant | 26 + test/gelint/validity/voit2/test5/cc.e | 27 + test/gelint/validity/voit2/test5/passed.gec | 2 + test/gelint/validity/voit2/test5/passed.gelint | 2 + test/gelint/validity/voit2/test5/passed.ise | 38 + test/gelint/validity/voit2/test5/system.xace | 31 + test/gelint/validity/voit2/test6/aa.e | 24 + test/gelint/validity/voit2/test6/bb.e | 14 + test/gelint/validity/voit2/test6/build.eant | 26 + test/gelint/validity/voit2/test6/cc.e | 27 + test/gelint/validity/voit2/test6/passed.gec | 2 + test/gelint/validity/voit2/test6/passed.gelint | 2 + test/gelint/validity/voit2/test6/passed.ise | 38 + test/gelint/validity/voit2/test6/system.xace | 31 + test/gelint/validity/voit2/test7/aa.e | 33 + test/gelint/validity/voit2/test7/bb.e | 14 + test/gelint/validity/voit2/test7/build.eant | 26 + test/gelint/validity/voit2/test7/cc.e | 27 + .../test9/failed.ise => voit2/test7/passed.gec} | 0 .../test9/failed.ise => voit2/test7/passed.gelint} | 0 .../test9/failed.ise => voit2/test7/passed.ise} | 0 test/gelint/validity/voit2/test7/system.xace | 31 + test/gelint/validity/voit2/test_voit2_test1.e | 51 + test/gelint/validity/voit2/test_voit2_test2.e | 51 + test/gelint/validity/voit2/test_voit2_test3.e | 45 + test/gelint/validity/voit2/test_voit2_test4.e | 45 + test/gelint/validity/voit2/test_voit2_test5.e | 45 + test/gelint/validity/voit2/test_voit2_test6.e | 45 + test/gelint/validity/voit2/test_voit2_test7.e | 45 + .../vtat2/test1/{passed.ise => passed1.ise} | 0 test/gelint/validity/vtat2/test1/passed2.ise | 25 + test/gelint/validity/vtct/test4/passed3.ise | 15 + .../validity/vuex1/test3/passed_veen8_code.gec | 2 +- .../validity/vuex1/test3/passed_veen8_code.gelint | 2 +- test/gelint/validity/vuot1/test7/build.eant | 2 +- test/gelint/validity/vuta2/test2/passed.ise | 16 + test/gelint/validity/vuta2/test3/passed.ise | 16 + test/gelint/validity/vuta2/test4/passed.ise | 16 + test/precomp/test_precomp.e | 16 +- work/bootstrap/bootstrap.bat | 3 +- work/bootstrap/bootstrap.sh | 3 +- work/bootstrap/geant.h |15147 ++-- work/bootstrap/geant1.c |26948 +++--- work/bootstrap/geant2.c |18199 ++-- work/bootstrap/geant3.c |10877 ++-- work/bootstrap/geant4.c |63585 +++++++------- work/bootstrap/geant5.c | 7360 ++- work/bootstrap/gec.h |83278 ++++++++++-------- work/bootstrap/gec1.c |65116 +++++++------- work/bootstrap/gec10.c |72757 ++++++++------- work/bootstrap/gec11.c |74793 ++++++++-------- work/bootstrap/gec12.c |68926 +++++++-------- work/bootstrap/gec13.c |87783 +++++++++---------- work/bootstrap/gec14.c |95305 +++++++++----------- work/bootstrap/gec15.c |73695 +++++++++++----- work/bootstrap/gec16.c |29073 ++++++ work/bootstrap/gec2.c |77421 ++++++++-------- work/bootstrap/gec3.c |73179 ++++++++-------- work/bootstrap/gec4.c |80159 +++++++++-------- work/bootstrap/gec5.c |51781 +++++------ work/bootstrap/gec6.c |84451 +++++++++--------- work/bootstrap/gec7.c |70455 +++++++-------- work/bootstrap/gec8.c |59861 +++++++------ work/bootstrap/gec9.c |62669 ++++++------- work/geuc/geuc.e | 138 +- 267 files changed, 711074 insertions(+), 653502 deletions(-) create mode 100644 library/free_elks/kernel/iterable.e create mode 100644 library/free_elks/kernel/iteration_cursor.e delete mode 100644 library/kernel/basic/kl_special_routines.e create mode 100644 library/kernel/basic/kl_special_routines.ge create mode 100644 library/kernel/misc/kl_array.e create mode 100644 library/tools/eiffel/ast/expression/et_across_expression.e create mode 100644 library/tools/eiffel/ast/feature/et_across_component_list.e create mode 100644 library/tools/eiffel/ast/instruction/et_across_component.e create mode 100644 library/tools/eiffel/ast/instruction/et_across_instruction.e create mode 100644 library/tools/eiffel/ast/instruction/et_loop_component.e create mode 100644 library/tools/eiffel/compilation/et_across_cursor_scope.e create mode 100644 test/gelint/semantics/across_iteration/.gitignore create mode 100644 test/gelint/semantics/across_iteration/bb.e create mode 100644 test/gelint/semantics/across_iteration/build.eant create mode 100644 test/gelint/semantics/across_iteration/cc.e create mode 100644 test/gelint/semantics/across_iteration/getest.cfg create mode 100644 test/gelint/semantics/across_iteration/system.xace create mode 100644 test/gelint/semantics/across_iteration/test_across_iteration.e create mode 100644 test/gelint/validity/gvwmc2/test12/failed.ise create mode 100644 test/gelint/validity/gvwmc2/test16/failed.ise create mode 100644 test/gelint/validity/gvwmc2/test4/failed.ise create mode 100644 test/gelint/validity/gvwmc2/test8/failed.ise create mode 100644 test/gelint/validity/vdrd2/test1/failed.ise create mode 100644 test/gelint/validity/veen8/test4/aa.e create mode 100644 test/gelint/validity/veen8/test4/build.eant create mode 100644 test/gelint/validity/veen8/test4/passed.ise create mode 100644 test/gelint/validity/veen8/test4/passed_vuex1_code.gec create mode 100644 test/gelint/validity/veen8/test4/passed_vuex1_code.gelint create mode 100644 test/gelint/validity/veen8/test4/system.xace create mode 100644 test/gelint/validity/veen8/test_veen8_test4.e create mode 100644 test/gelint/validity/vfac3/test2/passed.ise create mode 100644 test/gelint/validity/vfac3/test4/passed.ise create mode 100644 test/gelint/validity/vjar/test3/passed.ise create mode 100644 test/gelint/validity/voit1/build.eant create mode 100644 test/gelint/validity/voit1/getest.cfg create mode 100644 test/gelint/validity/voit1/system.xace create mode 100644 test/gelint/validity/voit1/test1/aa.e create mode 100644 test/gelint/validity/voit1/test1/bb.e create mode 100644 test/gelint/validity/voit1/test1/build.eant create mode 100644 test/gelint/validity/voit1/test1/passed.gec create mode 100644 test/gelint/validity/voit1/test1/passed.gelint create mode 100644 test/gelint/validity/voit1/test1/passed.ise create mode 100644 test/gelint/validity/voit1/test1/system.xace create mode 100644 test/gelint/validity/voit1/test2/aa.e create mode 100644 test/gelint/validity/voit1/test2/bb.e create mode 100644 test/gelint/validity/voit1/test2/build.eant create mode 100644 test/gelint/validity/voit1/test2/passed.gec create mode 100644 test/gelint/validity/voit1/test2/passed.gelint create mode 100644 test/gelint/validity/voit1/test2/passed.ise create mode 100644 test/gelint/validity/voit1/test2/system.xace create mode 100644 test/gelint/validity/voit1/test3/aa.e create mode 100644 test/gelint/validity/voit1/test3/bb.e create mode 100644 test/gelint/validity/voit1/test3/build.eant create mode 100644 test/gelint/validity/voit1/test3/passed.gec create mode 100644 test/gelint/validity/voit1/test3/passed.gelint create mode 100644 test/gelint/validity/voit1/test3/passed.ise create mode 100644 test/gelint/validity/voit1/test3/system.xace create mode 100644 test/gelint/validity/voit1/test_voit1_test1.e create mode 100644 test/gelint/validity/voit1/test_voit1_test2.e create mode 100644 test/gelint/validity/voit1/test_voit1_test3.e create mode 100644 test/gelint/validity/voit2/build.eant create mode 100644 test/gelint/validity/voit2/getest.cfg create mode 100644 test/gelint/validity/voit2/system.xace create mode 100644 test/gelint/validity/voit2/test1/aa.e create mode 100644 test/gelint/validity/voit2/test1/bb.e create mode 100644 test/gelint/validity/voit2/test1/build.eant create mode 100644 test/gelint/validity/voit2/test1/cc.e create mode 100644 test/gelint/validity/voit2/test1/failed_wrong_code.ise create mode 100644 test/gelint/validity/voit2/test1/passed.gec create mode 100644 test/gelint/validity/voit2/test1/passed.gelint create mode 100644 test/gelint/validity/voit2/test1/system.xace create mode 100644 test/gelint/validity/voit2/test2/aa.e create mode 100644 test/gelint/validity/voit2/test2/bb.e create mode 100644 test/gelint/validity/voit2/test2/build.eant create mode 100644 test/gelint/validity/voit2/test2/cc.e copy test/gelint/validity/{gvwmc2/test9/failed.ise => voit2/test2/passed.gec} (100%) copy test/gelint/validity/{gvwmc2/test9/failed.ise => voit2/test2/passed.gelint} (100%) copy test/gelint/validity/{gvwmc2/test9/failed.ise => voit2/test2/passed.ise} (100%) create mode 100644 test/gelint/validity/voit2/test2/system.xace create mode 100644 test/gelint/validity/voit2/test3/aa.e create mode 100644 test/gelint/validity/voit2/test3/bb.e create mode 100644 test/gelint/validity/voit2/test3/build.eant create mode 100644 test/gelint/validity/voit2/test3/cc.e create mode 100644 test/gelint/validity/voit2/test3/passed.gec create mode 100644 test/gelint/validity/voit2/test3/passed.gelint create mode 100644 test/gelint/validity/voit2/test3/passed.ise create mode 100644 test/gelint/validity/voit2/test3/system.xace create mode 100644 test/gelint/validity/voit2/test4/aa.e create mode 100644 test/gelint/validity/voit2/test4/bb.e create mode 100644 test/gelint/validity/voit2/test4/build.eant create mode 100644 test/gelint/validity/voit2/test4/cc.e create mode 100644 test/gelint/validity/voit2/test4/passed.gec create mode 100644 test/gelint/validity/voit2/test4/passed.gelint create mode 100644 test/gelint/validity/voit2/test4/passed.ise create mode 100644 test/gelint/validity/voit2/test4/system.xace create mode 100644 test/gelint/validity/voit2/test5/aa.e create mode 100644 test/gelint/validity/voit2/test5/bb.e create mode 100644 test/gelint/validity/voit2/test5/build.eant create mode 100644 test/gelint/validity/voit2/test5/cc.e create mode 100644 test/gelint/validity/voit2/test5/passed.gec create mode 100644 test/gelint/validity/voit2/test5/passed.gelint create mode 100644 test/gelint/validity/voit2/test5/passed.ise create mode 100644 test/gelint/validity/voit2/test5/system.xace create mode 100644 test/gelint/validity/voit2/test6/aa.e create mode 100644 test/gelint/validity/voit2/test6/bb.e create mode 100644 test/gelint/validity/voit2/test6/build.eant create mode 100644 test/gelint/validity/voit2/test6/cc.e create mode 100644 test/gelint/validity/voit2/test6/passed.gec create mode 100644 test/gelint/validity/voit2/test6/passed.gelint create mode 100644 test/gelint/validity/voit2/test6/passed.ise create mode 100644 test/gelint/validity/voit2/test6/system.xace create mode 100644 test/gelint/validity/voit2/test7/aa.e create mode 100644 test/gelint/validity/voit2/test7/bb.e create mode 100644 test/gelint/validity/voit2/test7/build.eant create mode 100644 test/gelint/validity/voit2/test7/cc.e copy test/gelint/validity/{gvwmc2/test9/failed.ise => voit2/test7/passed.gec} (100%) copy test/gelint/validity/{gvwmc2/test9/failed.ise => voit2/test7/passed.gelint} (100%) copy test/gelint/validity/{gvwmc2/test9/failed.ise => voit2/test7/passed.ise} (100%) create mode 100644 test/gelint/validity/voit2/test7/system.xace create mode 100644 test/gelint/validity/voit2/test_voit2_test1.e create mode 100644 test/gelint/validity/voit2/test_voit2_test2.e create mode 100644 test/gelint/validity/voit2/test_voit2_test3.e create mode 100644 test/gelint/validity/voit2/test_voit2_test4.e create mode 100644 test/gelint/validity/voit2/test_voit2_test5.e create mode 100644 test/gelint/validity/voit2/test_voit2_test6.e create mode 100644 test/gelint/validity/voit2/test_voit2_test7.e rename test/gelint/validity/vtat2/test1/{passed.ise => passed1.ise} (100%) create mode 100644 test/gelint/validity/vtat2/test1/passed2.ise create mode 100644 test/gelint/validity/vtct/test4/passed3.ise create mode 100644 test/gelint/validity/vuta2/test2/passed.ise create mode 100644 test/gelint/validity/vuta2/test3/passed.ise create mode 100644 test/gelint/validity/vuta2/test4/passed.ise create mode 100644 work/bootstrap/gec16.c hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-06-05 12:43:58
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via e1084dd260366c5a284e57bd407382d842da9461 (commit) from dd401bfd545ccd5be865da4447fe625c7392acb2 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit e1084dd260366c5a284e57bd407382d842da9461 Author: Eric Bezault <er...@go...> Date: Tue Jun 5 05:42:52 2012 -0700 Keep track of the type of the target of the call to 'is_equal' internally invoked by the object equality expressions. ----------------------------------------------------------------------- Summary of changes: .../tools/eiffel/compilation/et_feature_checker.e | 11 +++++++++-- .../tools/eiffel/dynamic/et_dynamic_type_builder.e | 6 ++++-- 2 files changed, 13 insertions(+), 4 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-05-01 16:07:11
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via dd401bfd545ccd5be865da4447fe625c7392acb2 (commit) from c9bb4167254b2cb709e598553a8774d5554e2e2e (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit dd401bfd545ccd5be865da4447fe625c7392acb2 Author: Eric Bezault <er...@go...> Date: Fri Apr 27 11:15:30 2012 -0700 Starting with ISE 7.0.8.7345, void-safety errors in unreachable code are not reported. Currently gelint considers that code appearing after the following instructions is unreachable: check False then ... end ----------------------------------------------------------------------- Summary of changes: .../eiffel/ast/constant/et_boolean_constant.e | 4 +- library/tools/eiffel/ast/expression/et_current.e | 4 +- .../tools/eiffel/ast/expression/et_expression.e | 8 +++- .../ast/expression/et_parenthesized_expression.e | 11 ++++- library/tools/eiffel/ast/expression/et_result.e | 4 +- library/tools/eiffel/ast/expression/et_void.e | 4 +- .../tools/eiffel/compilation/et_attachment_scope.e | 23 ++++++++++- .../tools/eiffel/compilation/et_feature_checker.e | 45 ++++++++++++++++--- 8 files changed, 84 insertions(+), 19 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-04-13 21:09:19
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via c9bb4167254b2cb709e598553a8774d5554e2e2e (commit) from 084c04fcb3f3b33698ae3a4741be01d6d26ecf59 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit c9bb4167254b2cb709e598553a8774d5554e2e2e Author: Eric Bezault <er...@go...> Date: Fri Apr 13 22:28:34 2012 +0200 Fixed bug in `SPECIAL.deep_copy'. See bug #3517521. ----------------------------------------------------------------------- Summary of changes: library/tools/eiffel/generation/et_c_generator.e | 32 ++++++++++--------- test/free_elks/test_special.e | 37 ++++++++++++++++++++++ 2 files changed, 54 insertions(+), 15 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-04-05 22:44:54
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via 084c04fcb3f3b33698ae3a4741be01d6d26ecf59 (commit) from d1fe67389da248f793e5ce235a10dce77eb35334 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 084c04fcb3f3b33698ae3a4741be01d6d26ecf59 Author: Eric Bezault <er...@go...> Date: Fri Apr 6 00:44:08 2012 +0200 Add options for 'void_safety' and 'attached_by_default'. ----------------------------------------------------------------------- Summary of changes: doc/gexace/options.txt | 75 ++++++++ library/tools/xace/ast/et_xace_option_names.e | 180 ++++++++++---------- .../tools/xace/generator/et_xace_ecf_generator.e | 4 +- 3 files changed, 166 insertions(+), 93 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-04-05 21:20:32
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via d1fe67389da248f793e5ce235a10dce77eb35334 (commit) via da26c6737403a1f917b5af6c5cc25b9a651ef785 (commit) from a026cda28af8d2c4674dee6537679289a3d21b96 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit d1fe67389da248f793e5ce235a10dce77eb35334 Merge: a026cda da26c67 Author: Eric Bezault <er...@go...> Date: Thu Apr 5 14:17:22 2012 -0700 Merge pull request #1 from pgcrism/master Gexace void-safety and attached_by_default options commit da26c6737403a1f917b5af6c5cc25b9a651ef785 Author: pgcrism <pg...@ya...> Date: Thu Mar 8 12:21:29 2012 +0100 Add options for 'void_safety' and 'attached_by_default'. Signed-off-by: pgcrism <pg...@ya...> ----------------------------------------------------------------------- Summary of changes: library/tools/xace/ast/et_xace_option_names.e | 10 ++- library/tools/xace/ast/et_xace_options.e | 108 ++++++++++++++++++++ .../tools/xace/generator/et_xace_ecf_generator.e | 30 ++++++ .../tools/xace/parser/et_xace_parser_skeleton.e | 14 +++ 4 files changed, 161 insertions(+), 1 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-03-12 09:34:48
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via a026cda28af8d2c4674dee6537679289a3d21b96 (commit) from 3334d6ed0074ddee8a7b6a04c4984c17cf35553a (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit a026cda28af8d2c4674dee6537679289a3d21b96 Author: Eric Bezault <er...@go...> Date: Mon Mar 12 02:33:34 2012 -0700 Fixed incrementality bug when processing qualified anchored types in feature signatures. ----------------------------------------------------------------------- Summary of changes: library/tools/eiffel/ast/class/et_class.e | 8 ++++---- .../eiffel/ast/feature/et_extended_attribute.e | 10 +++++----- library/tools/eiffel/ast/feature/et_feature.e | 12 +++++++++--- library/tools/eiffel/ast/feature/et_feature_list.e | 18 ++++++++++++++++-- .../eiffel/ast/feature/et_internal_function.e | 6 +++--- .../eiffel/ast/feature/et_internal_procedure.e | 6 +++--- .../tools/eiffel/ast/feature/et_internal_routine.e | 10 +++++----- 7 files changed, 45 insertions(+), 25 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2012-01-12 15:58:59
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via 3334d6ed0074ddee8a7b6a04c4984c17cf35553a (commit) from d881b80ddc796b3b9b58229448d647526a3d797a (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 3334d6ed0074ddee8a7b6a04c4984c17cf35553a Author: Eric Bezault <er...@go...> Date: Thu Jan 12 07:58:13 2012 -0800 Take NaN into account. ----------------------------------------------------------------------- Summary of changes: library/test/harness/ts_assertion_routines.e | 10 ++++++---- 1 files changed, 6 insertions(+), 4 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2011-11-02 22:33:04
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via d881b80ddc796b3b9b58229448d647526a3d797a (commit) via 0482dda8efbdb53c64efbff241934570d3c7d98e (commit) from e60b57390017a52d50127d3d105e038b03271932 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit d881b80ddc796b3b9b58229448d647526a3d797a Author: Eric Bezault <er...@go...> Date: Wed Nov 2 22:02:52 2011 +0100 Check that the 'Result' entity has been initialized when declared as attached only when the body of an attribute is not empty. When the body the attribute is empty, we consider that it is not an initialization declaration. commit 0482dda8efbdb53c64efbff241934570d3c7d98e Author: Eric Bezault <er...@go...> Date: Wed Nov 2 22:01:32 2011 +0100 Support qualified anchored types by default. ----------------------------------------------------------------------- Summary of changes: library/tools/eiffel/ast/group/et_system.e | 1 + .../tools/eiffel/compilation/et_feature_checker.e | 20 +++++++++++++------- 2 files changed, 14 insertions(+), 7 deletions(-) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2011-09-28 12:03:34
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via e60b57390017a52d50127d3d105e038b03271932 (commit) from 5df95b932a1efa2b6fd20fb83cc35b5f6a1c8667 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit e60b57390017a52d50127d3d105e038b03271932 Author: Eric Bezault <er...@go...> Date: Tue Sep 20 18:25:24 2011 +0200 Fixed bug with void-safety validity rules when a feature or an inline agent has a rescue clause. ----------------------------------------------------------------------- Summary of changes: .../tools/eiffel/compilation/et_feature_checker.e | 333 ++++++++++++++++++-- test/gelint/validity/vuta2/build.eant | 4 + test/gelint/validity/vuta2/test6/aa.e | 36 +++ .../validity/vuta2/{test1 => test6}/build.eant | 6 +- .../{vevi/test13 => vuta2/test6}/failed.gec | 0 .../{vevi/test13 => vuta2/test6}/failed.gelint | 0 test/gelint/validity/vuta2/test6/passed.gec | 2 + test/gelint/validity/vuta2/test6/passed.gelint | 2 + .../validity/vuta2/{test1 => test6}/passed.ise | 8 +- .../validity/vuta2/{test3 => test6}/system.ecf | 0 .../{test_vuta2_test3.e => test_vuta2_test6.e} | 6 +- 11 files changed, 360 insertions(+), 37 deletions(-) create mode 100644 test/gelint/validity/vuta2/test6/aa.e copy test/gelint/validity/vuta2/{test1 => test6}/build.eant (81%) copy test/gelint/validity/{vevi/test13 => vuta2/test6}/failed.gec (100%) copy test/gelint/validity/{vevi/test13 => vuta2/test6}/failed.gelint (100%) create mode 100644 test/gelint/validity/vuta2/test6/passed.gec create mode 100644 test/gelint/validity/vuta2/test6/passed.gelint copy test/gelint/validity/vuta2/{test1 => test6}/passed.ise (74%) copy test/gelint/validity/vuta2/{test3 => test6}/system.ecf (100%) copy test/gelint/validity/vuta2/{test_vuta2_test3.e => test_vuta2_test6.e} (90%) hooks/post-receive -- gobo-eiffel |
From: Eric B. <er...@us...> - 2011-09-15 07:31:51
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gobo-eiffel". The branch, master has been updated via 5df95b932a1efa2b6fd20fb83cc35b5f6a1c8667 (commit) from dddcd70562d5a0311f58a495116269241938880d (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 5df95b932a1efa2b6fd20fb83cc35b5f6a1c8667 Author: Eric Bezault <er...@go...> Date: Thu Sep 15 09:30:47 2011 +0200 Relaxed the validity rule to prevent cycles in qualified anchored types so that it can accept code appearing in ISE's libraries. Qualified anchored types are now accepted by default in gec and gelint. ----------------------------------------------------------------------- Summary of changes: History.txt | 4 ++ .../eiffel/ast/type/et_actual_parameter_list.e | 21 ++++++++ library/tools/eiffel/ast/type/et_base_type.e | 13 +++++ library/tools/eiffel/ast/type/et_like_feature.e | 54 +++++++++++++++++++- .../eiffel/ast/type/et_qualified_like_identifier.e | 8 +++ library/tools/eiffel/ast/type/et_type.e | 11 ++++ .../et_qualified_anchored_type_checker.e | 20 +++---- library/tools/eiffel/compilation/et_type_checker.e | 30 ++++------- library/tools/eiffel/error/et_error_handler.e | 4 +- library/tools/eiffel/error/et_validity_error.e | 6 +- src/gec/gec.e | 4 +- src/gelint/gelint.e | 1 + test/gelint/validity/build.eant | 5 ++ test/gelint/validity/vtat2/build.eant | 52 +++++++++++++++++++ test/gelint/validity/vtat2/getest.cfg | 15 ++++++ test/gelint/validity/vtat2/system.xace | 39 ++++++++++++++ test/gelint/validity/vtat2/test1/aa.e | 20 +++++++ test/gelint/validity/vtat2/test1/bb.e | 13 +++++ test/gelint/validity/vtat2/test1/build.eant | 26 +++++++++ test/gelint/validity/vtat2/test1/passed.gec | 2 + test/gelint/validity/vtat2/test1/passed.gelint | 2 + test/gelint/validity/vtat2/test1/passed.ise | 25 +++++++++ test/gelint/validity/vtat2/test1/system.xace | 31 +++++++++++ test/gelint/validity/vtat2/test_vtat2_test1.e | 45 ++++++++++++++++ 24 files changed, 413 insertions(+), 38 deletions(-) create mode 100644 test/gelint/validity/vtat2/build.eant create mode 100644 test/gelint/validity/vtat2/getest.cfg create mode 100644 test/gelint/validity/vtat2/system.xace create mode 100644 test/gelint/validity/vtat2/test1/aa.e create mode 100644 test/gelint/validity/vtat2/test1/bb.e create mode 100644 test/gelint/validity/vtat2/test1/build.eant create mode 100644 test/gelint/validity/vtat2/test1/passed.gec create mode 100644 test/gelint/validity/vtat2/test1/passed.gelint create mode 100644 test/gelint/validity/vtat2/test1/passed.ise create mode 100644 test/gelint/validity/vtat2/test1/system.xace create mode 100644 test/gelint/validity/vtat2/test_vtat2_test1.e hooks/post-receive -- gobo-eiffel |