Menu
▾
▴
jmlspecs-commits — Commit messages for JML (only)
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
|
| 2025 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
(1) |
Dec
|
|
From: <le...@us...> - 2017-12-14 12:13:19
|
Revision: 9508
http://sourceforge.net/p/jmlspecs/code/9508
Author: leavens
Date: 2017-12-14 12:13:18 +0000 (Thu, 14 Dec 2017)
Log Message:
-----------
correction
Modified Paths:
--------------
trunk/web/workshop-2017/index.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-12-14 05:41:11
|
Revision: 9507
http://sourceforge.net/p/jmlspecs/code/9507
Author: henriquerebelo
Date: 2017-12-14 05:41:09 +0000 (Thu, 14 Dec 2017)
Log Message:
-----------
Fixing an issue about identifying static blocks.
- now only do the replace in the entire file when it really finds a static block
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/util/QDoxUtil.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2017-12-14 03:07:25
|
Revision: 9506
http://sourceforge.net/p/jmlspecs/code/9506
Author: leavens
Date: 2017-12-14 03:07:24 +0000 (Thu, 14 Dec 2017)
Log Message:
-----------
Corrections to the agenda
Modified Paths:
--------------
trunk/web/workshop-2017/index.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2017-12-14 02:56:39
|
Revision: 9505
http://sourceforge.net/p/jmlspecs/code/9505
Author: leavens
Date: 2017-12-14 02:56:37 +0000 (Thu, 14 Dec 2017)
Log Message:
-----------
Adding agenda draft
Modified Paths:
--------------
trunk/web/workshop-2017/attendees.shtml
trunk/web/workshop-2017/index.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2017-12-13 22:20:52
|
Revision: 9504
http://sourceforge.net/p/jmlspecs/code/9504
Author: leavens
Date: 2017-12-13 22:20:51 +0000 (Wed, 13 Dec 2017)
Log Message:
-----------
Work on the agenda
Modified Paths:
--------------
trunk/web/workshop-2017/index.shtml
Added Paths:
-----------
trunk/web/workshop-2017/agenda.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-12-12 23:11:51
|
Revision: 9503
http://sourceforge.net/p/jmlspecs/code/9503
Author: henriquerebelo
Date: 2017-12-12 23:11:50 +0000 (Tue, 12 Dec 2017)
Log Message:
-----------
Updating the building date to 12/12/2017
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlVersionOptions.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-12-12 23:01:14
|
Revision: 9502
http://sourceforge.net/p/jmlspecs/code/9502
Author: henriquerebelo
Date: 2017-12-12 23:01:13 +0000 (Tue, 12 Dec 2017)
Log Message:
-----------
aspectpath option fix
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...> - 2017-12-12 22:02:47
|
Revision: 9501
http://sourceforge.net/p/jmlspecs/code/9501
Author: henriquerebelo
Date: 2017-12-12 22:02:46 +0000 (Tue, 12 Dec 2017)
Log Message:
-----------
aspectpath option
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/RacOptions.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-12-12 21:41:57
|
Revision: 9500
http://sourceforge.net/p/jmlspecs/code/9500
Author: henriquerebelo
Date: 2017-12-12 21:41:56 +0000 (Tue, 12 Dec 2017)
Log Message:
-----------
Creating aspectpah properly at the ajmlc ant task!
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ant/taskdefs/AjmlcTask.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-12-11 07:21:27
|
Revision: 9499
http://sourceforge.net/p/jmlspecs/code/9499
Author: henriquerebelo
Date: 2017-12-11 07:21:26 +0000 (Mon, 11 Dec 2017)
Log Message:
-----------
Generating the build.ajmlsym only when there is weaveinfo to display
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...> - 2017-12-11 06:50:20
|
Revision: 9498
http://sourceforge.net/p/jmlspecs/code/9498
Author: henriquerebelo
Date: 2017-12-11 06:50:18 +0000 (Mon, 11 Dec 2017)
Log Message:
-----------
Updating the date to the version options [most recent build]
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlVersionOptions.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-12-11 06:48:22
|
Revision: 9497
http://sourceforge.net/p/jmlspecs/code/9497
Author: henriquerebelo
Date: 2017-12-11 06:48:21 +0000 (Mon, 11 Dec 2017)
Log Message:
-----------
Updates related to XCS with AspectJML around advice declarations!
- raising an error if another kind of advice attempts to be an XCS method
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/PreOrPostconditionMethod.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlMessages.java
AJML2/trunk/AJML2/src/org/aspectjml/util/QDoxUtil.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-12-11 06:16:52
|
Revision: 9496
http://sourceforge.net/p/jmlspecs/code/9496
Author: henriquerebelo
Date: 2017-12-11 06:16:50 +0000 (Mon, 11 Dec 2017)
Log Message:
-----------
Changes due to XCS using @Around advice in AspectJML and annotated with @XCS
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/PostconditionMethodAdvice.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/PostconditionMethodAdvice2.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/PreconditionMethodAdvice.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/RacOptions.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransMethod.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlFreshExpression.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlMethodDeclaration.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlRelationalExpression.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlResultExpression.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlSignalsClause.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlSignalsOnlyClause.java
AJML2/trunk/AJML2/src/org/aspectjml/util/QDoxUtil.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-12-09 06:50:54
|
Revision: 9495
http://sourceforge.net/p/jmlspecs/code/9495
Author: henriquerebelo
Date: 2017-12-09 06:50:52 +0000 (Sat, 09 Dec 2017)
Log Message:
-----------
Updating the description about the showWeaveInfo compiler option
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/RacOptions.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2017-12-06 22:09:06
|
Revision: 9494
http://sourceforge.net/p/jmlspecs/code/9494
Author: leavens
Date: 2017-12-06 22:09:04 +0000 (Wed, 06 Dec 2017)
Log Message:
-----------
updating attendees
Modified Paths:
--------------
trunk/web/workshop-2017/attendees.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2017-12-05 20:35:51
|
Revision: 9493
http://sourceforge.net/p/jmlspecs/code/9493
Author: leavens
Date: 2017-12-05 20:35:50 +0000 (Tue, 05 Dec 2017)
Log Message:
-----------
Adding attendees
Added Paths:
-----------
trunk/web/workshop-2017/attendees.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-12-01 19:06:38
|
Revision: 9492
http://sourceforge.net/p/jmlspecs/code/9492
Author: henriquerebelo
Date: 2017-12-01 19:06:36 +0000 (Fri, 01 Dec 2017)
Log Message:
-----------
Fixing bug related to handle declare precedence over AspectJML types and crosscutting behavior. Also one way to use Plain AspectJ aspects within AspectJML declare precedence annotation by using {TypePattern} or [TypePattern]
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.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...> - 2017-11-28 21:52:19
|
Revision: 9491
http://sourceforge.net/p/jmlspecs/code/9491
Author: henriquerebelo
Date: 2017-11-28 21:52:18 +0000 (Tue, 28 Nov 2017)
Log Message:
-----------
Updating the building date to 11/28/2017
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlVersionOptions.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-11-22 03:31:29
|
Revision: 9490
http://sourceforge.net/p/jmlspecs/code/9490
Author: henriquerebelo
Date: 2017-11-22 03:31:28 +0000 (Wed, 22 Nov 2017)
Log Message:
-----------
aspect word recognition on crossref
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...> - 2017-11-21 00:43:19
|
Revision: 9489
http://sourceforge.net/p/jmlspecs/code/9489
Author: henriquerebelo
Date: 2017-11-21 00:43:17 +0000 (Tue, 21 Nov 2017)
Log Message:
-----------
More work on generating crossref info. Removing the crossref info when explicity excluding join points
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
AJML2/trunk/AJML2/src/org/aspectjml/util/ReflectUtil.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-11-17 20:03:24
|
Revision: 9488
http://sourceforge.net/p/jmlspecs/code/9488
Author: henriquerebelo
Date: 2017-11-17 20:03:22 +0000 (Fri, 17 Nov 2017)
Log Message:
-----------
Ensuring keyword compatibility to read over AspectJML Online IDE. Ex: instead of appearing afterReturing in crossref info, we now generate after-returning.
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
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...> - 2017-10-31 17:26:49
|
Revision: 9487
http://sourceforge.net/p/jmlspecs/code/9487
Author: henriquerebelo
Date: 2017-10-31 17:26:48 +0000 (Tue, 31 Oct 2017)
Log Message:
-----------
Fixing the path to ajmlrac.Main.
- changing jmlspecs -> aspectjml
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ant/buildfiles/build.xml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-30 00:32:37
|
Revision: 9486
http://sourceforge.net/p/jmlspecs/code/9486
Author: henriquerebelo
Date: 2017-10-30 00:32:35 +0000 (Mon, 30 Oct 2017)
Log Message:
-----------
fixing an issue about generating a default interface for handling non-dominant interface types
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/JmlRacGenerator.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-26 03:06:07
|
Revision: 3782
http://sourceforge.net/p/jmlspecs/code/3782
Author: henriquerebelo
Date: 2017-10-26 03:06:05 +0000 (Thu, 26 Oct 2017)
Log Message:
-----------
Updating the build.xml files and the testcase files in AJML2 project
Modified Paths:
--------------
AJML2/trunk/AJML2/build.xml
AJML2/trunk/AJML2/src/org/aspectjml/ant/buildfiles/build.xml
AJML2/trunk/AJML2/testcase-ajmlc/racrun/java4/NullityAndInheritance.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-26 02:42:01
|
Revision: 3781
http://sourceforge.net/p/jmlspecs/code/3781
Author: henriquerebelo
Date: 2017-10-26 02:41:59 +0000 (Thu, 26 Oct 2017)
Log Message:
-----------
Handling field initializer in .jml files
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlMessages.java
AJML2/trunk/AJML2/src/org/aspectjml/util/AspectUtil.java
AJML2/trunk/AJML2/src/org/aspectjml/util/QDoxUtil.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|