You can subscribe to this list here.
| 2002 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
(2) |
Dec
(159) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2003 |
Jan
(238) |
Feb
(183) |
Mar
(372) |
Apr
(287) |
May
(280) |
Jun
(211) |
Jul
(134) |
Aug
(198) |
Sep
(172) |
Oct
(144) |
Nov
(227) |
Dec
(122) |
| 2004 |
Jan
(229) |
Feb
(62) |
Mar
(99) |
Apr
(107) |
May
(50) |
Jun
(61) |
Jul
(133) |
Aug
(84) |
Sep
(50) |
Oct
(35) |
Nov
(46) |
Dec
(39) |
| 2005 |
Jan
(55) |
Feb
(44) |
Mar
(48) |
Apr
(73) |
May
(72) |
Jun
(47) |
Jul
(124) |
Aug
(110) |
Sep
(131) |
Oct
(69) |
Nov
(46) |
Dec
(145) |
| 2006 |
Jan
(68) |
Feb
(44) |
Mar
(46) |
Apr
(6) |
May
(75) |
Jun
(13) |
Jul
(48) |
Aug
(71) |
Sep
(86) |
Oct
(3) |
Nov
(77) |
Dec
(83) |
| 2007 |
Jan
(28) |
Feb
(63) |
Mar
(32) |
Apr
(37) |
May
(31) |
Jun
(27) |
Jul
(43) |
Aug
(8) |
Sep
(107) |
Oct
(50) |
Nov
(59) |
Dec
(127) |
| 2008 |
Jan
(58) |
Feb
(184) |
Mar
(178) |
Apr
(170) |
May
(165) |
Jun
(202) |
Jul
(83) |
Aug
(58) |
Sep
(23) |
Oct
(34) |
Nov
(24) |
Dec
(113) |
| 2009 |
Jan
(30) |
Feb
(53) |
Mar
(91) |
Apr
(40) |
May
(86) |
Jun
(59) |
Jul
(272) |
Aug
(163) |
Sep
(91) |
Oct
(66) |
Nov
(96) |
Dec
(55) |
| 2010 |
Jan
(13) |
Feb
(29) |
Mar
(72) |
Apr
(49) |
May
(22) |
Jun
(6) |
Jul
(17) |
Aug
(9) |
Sep
(57) |
Oct
(18) |
Nov
(20) |
Dec
(15) |
| 2011 |
Jan
(12) |
Feb
(13) |
Mar
(5) |
Apr
(16) |
May
(11) |
Jun
(26) |
Jul
(35) |
Aug
(70) |
Sep
(25) |
Oct
(19) |
Nov
(15) |
Dec
(1) |
| 2012 |
Jan
(4) |
Feb
(3) |
Mar
(6) |
Apr
(5) |
May
(10) |
Jun
|
Jul
(5) |
Aug
(29) |
Sep
(30) |
Oct
(17) |
Nov
(13) |
Dec
(1) |
| 2013 |
Jan
(16) |
Feb
(9) |
Mar
(13) |
Apr
(28) |
May
(93) |
Jun
(56) |
Jul
(65) |
Aug
(38) |
Sep
(85) |
Oct
(35) |
Nov
(27) |
Dec
(65) |
| 2014 |
Jan
(42) |
Feb
(23) |
Mar
(5) |
Apr
(6) |
May
(12) |
Jun
(15) |
Jul
(24) |
Aug
(12) |
Sep
(12) |
Oct
(11) |
Nov
(17) |
Dec
(31) |
| 2015 |
Jan
(15) |
Feb
|
Mar
(83) |
Apr
(31) |
May
(28) |
Jun
(35) |
Jul
|
Aug
(1) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2016 |
Jan
(1) |
Feb
(3) |
Mar
(1) |
Apr
(7) |
May
(28) |
Jun
(17) |
Jul
(48) |
Aug
(2) |
Sep
|
Oct
|
Nov
(1) |
Dec
(1) |
| 2017 |
Jan
|
Feb
|
Mar
(14) |
Apr
(28) |
May
(20) |
Jun
(2) |
Jul
|
Aug
|
Sep
(4) |
Oct
(28) |
Nov
(4) |
Dec
(30) |
| 2018 |
Jan
|
Feb
(1) |
Mar
|
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
(1) |
Sep
(1) |
Oct
|
Nov
|
Dec
|
| 2019 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
(1) |
Jul
(18) |
Aug
(52) |
Sep
(4) |
Oct
(1) |
Nov
|
Dec
|
| 2020 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
(1) |
Dec
|
| 2021 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
(3) |
Nov
|
Dec
(25) |
| 2022 |
Jan
|
Feb
|
Mar
(1) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: <hen...@us...> - 2019-08-19 07:43:16
|
Revision: 9582
http://sourceforge.net/p/jmlspecs/code/9582
Author: henriquerebelo
Date: 2019-08-19 07:43:14 +0000 (Mon, 19 Aug 2019)
Log Message:
-----------
Reformulating the meta-rac protocol to three parts again.
Note: recal temporary invariant breaks are still allowed at call site instrumentation including CAC
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/ConstraintMethodCallSite.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/ConstraintMethodClientAwareChecking.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantLikeMethod.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPostconditionMethodClientAwareChecking.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPreconditionMethodClientAwareChecking.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-19 04:06:45
|
Revision: 9581
http://sourceforge.net/p/jmlspecs/code/9581
Author: henriquerebelo
Date: 2019-08-19 04:06:44 +0000 (Mon, 19 Aug 2019)
Log Message:
-----------
Reformulating the meta-rac protocol to three parts again.
Note: recal temporary invariant breaks are still allowed at call site instrumentation including CAC
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-19 04:05:16
|
Revision: 9580
http://sourceforge.net/p/jmlspecs/code/9580
Author: henriquerebelo
Date: 2019-08-19 04:05:15 +0000 (Mon, 19 Aug 2019)
Log Message:
-----------
Reformulating the meta-rac protocol to three parts again.
Note: recal temporary invariant breaks are still allowed at call site instrumentation including CAC
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-19 03:26:04
|
Revision: 9579
http://sourceforge.net/p/jmlspecs/code/9579
Author: henriquerebelo
Date: 2019-08-19 03:26:00 +0000 (Mon, 19 Aug 2019)
Log Message:
-----------
Reformulating the meta-rac protocol to three parts again.
Note: recal temporary invariant breaks are still allowed at call site instrumentation including CAC
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPostconditionMethodCallSite.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPostconditionMethodClientAwareChecking.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPreconditionMethodCallSite.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPreconditionMethodClientAwareChecking.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/runtime/JMLChecker.java
AJML2/trunk/AJML2/src/org/aspectjml/util/AspectUtil.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-16 08:25:56
|
Revision: 9578
http://sourceforge.net/p/jmlspecs/code/9578
Author: henriquerebelo
Date: 2019-08-16 08:25:54 +0000 (Fri, 16 Aug 2019)
Log Message:
-----------
Reformulating the meta-rac protocol to only two parts. The need to handle or worry about
reflective method calls are not needed in practice
Note: recal temporary invariant breaks are not allowed at call site instrumentation including CAC
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPostconditionMethodCallSite.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPostconditionMethodClientAwareChecking.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/runtime/JMLChecker.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-16 05:02:57
|
Revision: 9577
http://sourceforge.net/p/jmlspecs/code/9577
Author: henriquerebelo
Date: 2019-08-16 05:02:55 +0000 (Fri, 16 Aug 2019)
Log Message:
-----------
Reformulating the meta-rac protocol to only two parts. The need to handle or worry about
reflective method calls are not needed in practice
Note: recal temporary invariant breaks are not allowed at call site instrumentation including CAC
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPostconditionMethodClientAwareChecking.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/runtime/JMLChecker.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-16 04:10:35
|
Revision: 9576
http://sourceforge.net/p/jmlspecs/code/9576
Author: henriquerebelo
Date: 2019-08-16 04:10:33 +0000 (Fri, 16 Aug 2019)
Log Message:
-----------
Reformulating the meta-rac protocol to only two parts. The need to handle or worry about
reflective method calls are not needed in practice
Note: recal temporary invariant breaks are not allowed at call site instrumentation including CAC
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-16 04:00:10
|
Revision: 9575
http://sourceforge.net/p/jmlspecs/code/9575
Author: henriquerebelo
Date: 2019-08-16 04:00:06 +0000 (Fri, 16 Aug 2019)
Log Message:
-----------
Reformulating the meta-rac protocol to only two parts. The need to handle or worry about
reflective method calls are not needed in practice
Note: recal temporary invariant breaks are not allowed at call site instrumentation including CAC
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPostconditionMethodCallSite.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPostconditionMethodClientAwareChecking.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/runtime/JMLChecker.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-16 02:29:35
|
Revision: 9574
http://sourceforge.net/p/jmlspecs/code/9574
Author: henriquerebelo
Date: 2019-08-16 02:29:33 +0000 (Fri, 16 Aug 2019)
Log Message:
-----------
Tasks done related to the meta-rac protocol:
(1) change the @JMLHelper to @Helper
(2) checking the privacy while checking invariants at reflective calls or direct fied access
(3) properly ignoring helper methods from invariant checking at meta-rac protocol
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/ConstraintMethod.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/ConstraintMethodCallSite.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/ConstraintMethodClientAwareChecking.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPostconditionMethod.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPostconditionMethodCallSite.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPostconditionMethodClientAwareChecking.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPreconditionMethod.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPreconditionMethodCallSite.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPreconditionMethodClientAwareChecking.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransClass.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransInterface.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/runtime/JMLChecker.java
AJML2/trunk/AJML2/src/org/aspectjml/util/AspectUtil.java
Removed Paths:
-------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/runtime/JMLHelper.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-14 18:14:48
|
Revision: 9573
http://sourceforge.net/p/jmlspecs/code/9573
Author: henriquerebelo
Date: 2019-08-14 18:14:46 +0000 (Wed, 14 Aug 2019)
Log Message:
-----------
Fixing the scope related to meta-rac protocol and field set with after advice "set"
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPostconditionMethodClientAwareChecking.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-14 03:54:43
|
Revision: 9572
http://sourceforge.net/p/jmlspecs/code/9572
Author: henriquerebelo
Date: 2019-08-14 03:54:40 +0000 (Wed, 14 Aug 2019)
Log Message:
-----------
Finishing the meta-rac protocol for strong invariant runtime checking at call site
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPostconditionMethodClientAwareChecking.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-14 03:41:55
|
Revision: 9571
http://sourceforge.net/p/jmlspecs/code/9571
Author: henriquerebelo
Date: 2019-08-14 03:41:53 +0000 (Wed, 14 Aug 2019)
Log Message:
-----------
Handling reflective calls while making specific hiding in stack trace for JML errors
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-14 03:28:12
|
Revision: 9570
http://sourceforge.net/p/jmlspecs/code/9570
Author: henriquerebelo
Date: 2019-08-14 03:28:10 +0000 (Wed, 14 Aug 2019)
Log Message:
-----------
Handling reflective calls while making specific hiding in stack trace for JML errors
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-14 03:00:55
|
Revision: 9569
http://sourceforge.net/p/jmlspecs/code/9569
Author: henriquerebelo
Date: 2019-08-14 03:00:54 +0000 (Wed, 14 Aug 2019)
Log Message:
-----------
adding isDeclSealed(Field field) method
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/util/AspectUtil.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-14 02:25:36
|
Revision: 9568
http://sourceforge.net/p/jmlspecs/code/9568
Author: henriquerebelo
Date: 2019-08-14 02:25:34 +0000 (Wed, 14 Aug 2019)
Log Message:
-----------
Finishing the meta-rac protocol for strong invariant runtime checking at call site
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantLikeMethod.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantLikeMethodClientAwareChecking.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPostconditionMethodCallSite.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPostconditionMethodClientAwareChecking.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-13 04:27:54
|
Revision: 9567
http://sourceforge.net/p/jmlspecs/code/9567
Author: henriquerebelo
Date: 2019-08-13 04:27:52 +0000 (Tue, 13 Aug 2019)
Log Message:
-----------
processing internal exception stack trace when JML violation errors are thrown by field set directly
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-13 03:32:13
|
Revision: 9566
http://sourceforge.net/p/jmlspecs/code/9566
Author: henriquerebelo
Date: 2019-08-13 03:32:11 +0000 (Tue, 13 Aug 2019)
Log Message:
-----------
making the method checkJPAssignability public
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/runtime/JMLChecker.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-13 03:30:25
|
Revision: 9565
http://sourceforge.net/p/jmlspecs/code/9565
Author: henriquerebelo
Date: 2019-08-13 03:30:24 +0000 (Tue, 13 Aug 2019)
Log Message:
-----------
Experimental code generation when call site instrumentation is enabled to provide an implementation for the meta-object invariant protocol [for rac]
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPostconditionMethodCallSite.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-12 23:14:06
|
Revision: 9564
http://sourceforge.net/p/jmlspecs/code/9564
Author: henriquerebelo
Date: 2019-08-12 23:14:05 +0000 (Mon, 12 Aug 2019)
Log Message:
-----------
Fixing an issue related to .ajml file crossref generation! removing multiple inclusion unnecessary
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-12 00:57:56
|
Revision: 9563
http://sourceforge.net/p/jmlspecs/code/9563
Author: henriquerebelo
Date: 2019-08-12 00:57:54 +0000 (Mon, 12 Aug 2019)
Log Message:
-----------
More work to improve the parsing of weavning msgs including warnings and errors
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-11 10:59:11
|
Revision: 9562
http://sourceforge.net/p/jmlspecs/code/9562
Author: henriquerebelo
Date: 2019-08-11 10:59:09 +0000 (Sun, 11 Aug 2019)
Log Message:
-----------
Xlint:unmatchedSuperTypeInCall issue
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-11 09:42:22
|
Revision: 9561
http://sourceforge.net/p/jmlspecs/code/9561
Author: henriquerebelo
Date: 2019-08-11 09:42:21 +0000 (Sun, 11 Aug 2019)
Log Message:
-----------
removing internal cflowbelow if pc explicitly uses cflow or cflowbelow
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/PreOrPostconditionMethod.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-11 09:00:30
|
Revision: 9560
http://sourceforge.net/p/jmlspecs/code/9560
Author: henriquerebelo
Date: 2019-08-11 09:00:29 +0000 (Sun, 11 Aug 2019)
Log Message:
-----------
Fixing an issue about internal code for crosscutting code. The issue is about cflowbelow when we have bouth call and execution pcs
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/PreOrPostconditionMethod.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-11 08:27:18
|
Revision: 9559
http://sourceforge.net/p/jmlspecs/code/9559
Author: henriquerebelo
Date: 2019-08-11 08:27:16 +0000 (Sun, 11 Aug 2019)
Log Message:
-----------
Some improvements in code to make it less ambiguous... need test or rollback later if needed
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/runtime/JMLChecker.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-09 20:06:41
|
Revision: 9558
http://sourceforge.net/p/jmlspecs/code/9558
Author: henriquerebelo
Date: 2019-08-09 20:06:40 +0000 (Fri, 09 Aug 2019)
Log Message:
-----------
Fixing a NPE while issuing a weaving info msg
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|