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
|
|
From: <le...@us...> - 2021-12-10 13:15:44
|
Revision: 9607
http://sourceforge.net/p/jmlspecs/code/9607
Author: leavens
Date: 2021-12-10 13:15:43 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
moving from sourceforge to github
Modified Paths:
--------------
trunk/web/acknowledgements.shtml
trunk/web/contact.shtml
trunk/web/developer-tips.html
trunk/web/documentation.shtml
trunk/web/index.html
trunk/web/teaching.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-10-15 19:57:48
|
Revision: 9606
http://sourceforge.net/p/jmlspecs/code/9606
Author: leavens
Date: 2021-10-15 19:57:47 +0000 (Fri, 15 Oct 2021)
Log Message:
-----------
Tweaking the semantics of generalized quantifiers
Modified Paths:
--------------
documents/trunk/generalized-quantifiers.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-10-15 12:33:09
|
Revision: 9605
http://sourceforge.net/p/jmlspecs/code/9605
Author: leavens
Date: 2021-10-15 12:33:07 +0000 (Fri, 15 Oct 2021)
Log Message:
-----------
Adjusting goals for generalized quantifiers
Modified Paths:
--------------
documents/trunk/generalized-quantifiers.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-10-14 14:50:33
|
Revision: 9604
http://sourceforge.net/p/jmlspecs/code/9604
Author: leavens
Date: 2021-10-14 14:50:31 +0000 (Thu, 14 Oct 2021)
Log Message:
-----------
Adding generalized-quantifiers.txt
Modified Paths:
--------------
documents/trunk/org/jmlspecs/samples/jmlrefman/IntHeap.java
Added Paths:
-----------
documents/trunk/generalized-quantifiers.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-07-20 12:45:26
|
Revision: 9603
http://sourceforge.net/p/jmlspecs/code/9603
Author: leavens
Date: 2021-07-20 12:45:25 +0000 (Tue, 20 Jul 2021)
Log Message:
-----------
updates for PHP server
Modified Paths:
--------------
trunk/web/style/editing.shtml
trunk/web/style/head.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2020-11-15 18:11:20
|
Revision: 9602
http://sourceforge.net/p/jmlspecs/code/9602
Author: leavens
Date: 2020-11-15 18:11:18 +0000 (Sun, 15 Nov 2020)
Log Message:
-----------
updated
Modified Paths:
--------------
trunk/web/examples.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-10-12 21:46:44
|
Revision: 9601
http://sourceforge.net/p/jmlspecs/code/9601
Author: henriquerebelo
Date: 2019-10-12 21:46:42 +0000 (Sat, 12 Oct 2019)
Log Message:
-----------
to make the use of JML within javadoc easier and JML specific semantics distraction free, we are rule out the privacy checking when using javadoc like tags style of DbC
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/AssertionMethod.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlExpressionChecker.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...> - 2019-09-04 02:17:57
|
Revision: 9600
http://sourceforge.net/p/jmlspecs/code/9600
Author: henriquerebelo
Date: 2019-09-04 02:17:55 +0000 (Wed, 04 Sep 2019)
Log Message:
-----------
aspectjml 1.8.0 and 1.7.1 releases for java 1.8 and java 1.7 respectively
adding the right files
Modified Paths:
--------------
AJML2/tags/aspectjml-releases/aspectjml-release-1.7.1/aspectjml-1.7.1-src.zip
AJML2/tags/aspectjml-releases/aspectjml-release-1.7.1/aspectjml-1.7.1.zip
AJML2/tags/aspectjml-releases/aspectjml-release-1.8.0/aspectjml-1.8.0-src.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-09-04 02:13:53
|
Revision: 9599
http://sourceforge.net/p/jmlspecs/code/9599
Author: henriquerebelo
Date: 2019-09-04 02:13:52 +0000 (Wed, 04 Sep 2019)
Log Message:
-----------
loading inner types reflectively in the right way using $ sign
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-09-04 00:16:50
|
Revision: 9598
http://sourceforge.net/p/jmlspecs/code/9598
Author: henriquerebelo
Date: 2019-09-04 00:16:49 +0000 (Wed, 04 Sep 2019)
Log Message:
-----------
aspectjml 1.8.0 and 1.7.1 releases for java 1.8 and java 1.7 respectively
adding the right files
Modified Paths:
--------------
AJML2/tags/aspectjml-releases/aspectjml-release-1.7.1/aspectjml-1.7.1-src.zip
AJML2/tags/aspectjml-releases/aspectjml-release-1.7.1/aspectjml-1.7.1.zip
AJML2/tags/aspectjml-releases/aspectjml-release-1.8.0/aspectjml-1.8.0-src.zip
AJML2/tags/aspectjml-releases/aspectjml-release-1.8.0/aspectjml-1.8.0.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-09-03 23:57:21
|
Revision: 9597
http://sourceforge.net/p/jmlspecs/code/9597
Author: henriquerebelo
Date: 2019-09-03 23:57:19 +0000 (Tue, 03 Sep 2019)
Log Message:
-----------
Fixing a bug related to getDeclaredConstructor instead of getConstructor; making the code more robust while finding the join points of interest
correct parsing warning related to Xlint:cannotAdviseJoinpointInInterfaceWithAroundAdvice
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.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-27 22:50:48
|
Revision: 9596
http://sourceforge.net/p/jmlspecs/code/9596
Author: henriquerebelo
Date: 2019-08-27 22:50:46 +0000 (Tue, 27 Aug 2019)
Log Message:
-----------
aspectjml 1.8.0 and 1.7.1 releases for java 1.8 and java 1.7 respectively
Modified Paths:
--------------
AJML2/tags/aspectjml-releases/aspectjml-release-1.7.1/aspectjml-1.7.1.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-27 16:54:15
|
Revision: 9595
http://sourceforge.net/p/jmlspecs/code/9595
Author: henriquerebelo
Date: 2019-08-27 16:54:13 +0000 (Tue, 27 Aug 2019)
Log Message:
-----------
aspectjml 1.8.0 and 1.7.1 releases for java 1.8 and java 1.7 respectively
Added Paths:
-----------
AJML2/tags/aspectjml-releases/aspectjml-release-1.7.1/
AJML2/tags/aspectjml-releases/aspectjml-release-1.7.1/aspectjml-1.7.1-src.zip
AJML2/tags/aspectjml-releases/aspectjml-release-1.7.1/aspectjml-1.7.1.zip
AJML2/tags/aspectjml-releases/aspectjml-release-1.8.0/
AJML2/tags/aspectjml-releases/aspectjml-release-1.8.0/aspectjml-1.8.0-src.zip
AJML2/tags/aspectjml-releases/aspectjml-release-1.8.0/aspectjml-1.8.0.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-27 16:44:56
|
Revision: 9594
http://sourceforge.net/p/jmlspecs/code/9594
Author: henriquerebelo
Date: 2019-08-27 16:44:54 +0000 (Tue, 27 Aug 2019)
Log Message:
-----------
Version data update for AspectJML release 1.8.0
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...> - 2019-08-26 02:36:46
|
Revision: 9593
http://sourceforge.net/p/jmlspecs/code/9593
Author: henriquerebelo
Date: 2019-08-26 02:36:44 +0000 (Mon, 26 Aug 2019)
Log Message:
-----------
Updates for 1.8 release
Modified Paths:
--------------
AJML2/trunk/AJML2/aspectjml-release/release-util/WARRANTY.txt
AJML2/trunk/AJML2/aspectjml-release/release-util/ajml.bat
AJML2/trunk/AJML2/aspectjml-release/release-util/ajml.sh
AJML2/trunk/AJML2/aspectjml-release/release-util/ajmlc.bat
AJML2/trunk/AJML2/aspectjml-release/release-util/ajmlc.sh
AJML2/trunk/AJML2/aspectjml-release/release-util/ajmlenv.bat
AJML2/trunk/AJML2/aspectjml-release/release-util/ajmlrac.bat
AJML2/trunk/AJML2/aspectjml-release/release-util/ajmlrac.sh
AJML2/trunk/AJML2/aspectjml-release/testcase-util/testcases.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-23 00:22:21
|
Revision: 9592
http://sourceforge.net/p/jmlspecs/code/9592
Author: henriquerebelo
Date: 2019-08-23 00:22:19 +0000 (Fri, 23 Aug 2019)
Log Message:
-----------
Removing advice information from crossref related to revise methods in AspectJML
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...> - 2019-08-21 08:52:18
|
Revision: 9591
http://sourceforge.net/p/jmlspecs/code/9591
Author: henriquerebelo
Date: 2019-08-21 08:52:16 +0000 (Wed, 21 Aug 2019)
Log Message:
-----------
Fixing an issue about the double generation of old exprs for client aware checking option at constraint checking
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/ConstraintMethodClientAwareChecking.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-21 08:42:34
|
Revision: 9590
http://sourceforge.net/p/jmlspecs/code/9590
Author: henriquerebelo
Date: 2019-08-21 08:42:33 +0000 (Wed, 21 Aug 2019)
Log Message:
-----------
Fixing an issue about the double generation of old exprs for client aware checking option at constraint checking
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/ConstraintMethodClientAwareChecking.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-21 08:28:15
|
Revision: 9589
http://sourceforge.net/p/jmlspecs/code/9589
Author: henriquerebelo
Date: 2019-08-21 08:15:41 +0000 (Wed, 21 Aug 2019)
Log Message:
-----------
Fixing an issue about the double generation of old exprs for client aware checking option at constraint checking
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/ConstraintMethodClientAwareChecking.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-21 07:51:35
|
Revision: 9588
http://sourceforge.net/p/jmlspecs/code/9588
Author: henriquerebelo
Date: 2019-08-21 07:51:33 +0000 (Wed, 21 Aug 2019)
Log Message:
-----------
Fixing the meta rac protocol for constraint checking at call sites. Also allowing append like meths and revise meths to be instruemented at call sites via annotation option
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/PreOrPostconditionMethod.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/runtime/JMLChecker.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlMessages.java
AJML2/trunk/AJML2/src/org/aspectjml/lang/annotation/AppendAfter.java
AJML2/trunk/AJML2/src/org/aspectjml/lang/annotation/AppendAfterReturning.java
AJML2/trunk/AJML2/src/org/aspectjml/lang/annotation/AppendAfterThrowing.java
AJML2/trunk/AJML2/src/org/aspectjml/lang/annotation/AppendBefore.java
AJML2/trunk/AJML2/src/org/aspectjml/lang/annotation/Revise.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-21 05:01:07
|
Revision: 9587
http://sourceforge.net/p/jmlspecs/code/9587
Author: henriquerebelo
Date: 2019-08-21 05:01:05 +0000 (Wed, 21 Aug 2019)
Log Message:
-----------
Meta rac protocol for specific constraint checking at call site.
Also handling partial constructor introductions on crossref generation
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/Main.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/PreOrPostconditionMethod.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/runtime/JMLChecker.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...> - 2019-08-19 14:35:42
|
Revision: 9586
http://sourceforge.net/p/jmlspecs/code/9586
Author: henriquerebelo
Date: 2019-08-19 14:35:40 +0000 (Mon, 19 Aug 2019)
Log Message:
-----------
Update in the crossref code generation
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-19 13:29:14
|
Revision: 9585
http://sourceforge.net/p/jmlspecs/code/9585
Author: henriquerebelo
Date: 2019-08-19 13:29:11 +0000 (Mon, 19 Aug 2019)
Log Message:
-----------
Fixing ITD fields when having @ExposeOnly annotation
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: <hen...@us...> - 2019-08-19 13:12:19
|
Revision: 9584
http://sourceforge.net/p/jmlspecs/code/9584
Author: henriquerebelo
Date: 2019-08-19 13:12:17 +0000 (Mon, 19 Aug 2019)
Log Message:
-----------
Restructuring and handling properly Partial types and members injection
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlMethodDeclaration.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.
|
|
From: <hen...@us...> - 2019-08-19 08:27:44
|
Revision: 9583
http://sourceforge.net/p/jmlspecs/code/9583
Author: henriquerebelo
Date: 2019-08-19 08:27:42 +0000 (Mon, 19 Aug 2019)
Log Message:
-----------
Adding the @ExposeOnly annotation useful for fields and types in .ajml files
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/util/QDoxUtil.java
Added Paths:
-----------
AJML2/trunk/AJML2/src/org/aspectjml/lang/annotation/ExposeOnly.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|