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: <hen...@us...> - 2019-07-05 01:35:29
|
Revision: 9532
http://sourceforge.net/p/jmlspecs/code/9532
Author: henriquerebelo
Date: 2019-07-05 01:34:18 +0000 (Fri, 05 Jul 2019)
Log Message:
-----------
updating the project build.xml to point to the new ajc compiler
Modified Paths:
--------------
AJML2/trunk/AJML2/build.xml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-07-05 01:27:37
|
Revision: 9531
http://sourceforge.net/p/jmlspecs/code/9531
Author: henriquerebelo
Date: 2019-07-05 01:27:43 +0000 (Fri, 05 Jul 2019)
Log Message:
-----------
including the ajc compiler 1.8.14 [the last one of the 1.8 series]
Added Paths:
-----------
AJML2/trunk/AJML2/lib-aspectj/ajc1.8.14/
AJML2/trunk/AJML2/lib-aspectj/ajc1.8.14/aspectj-1.8.14.jar
AJML2/trunk/AJML2/lib-aspectj/ajc1.8.14/used-unzipped-jar-files/
AJML2/trunk/AJML2/lib-aspectj/ajc1.8.14/used-unzipped-jar-files/aspectjrt.jar
AJML2/trunk/AJML2/lib-aspectj/ajc1.8.14/used-unzipped-jar-files/aspectjtools.jar
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-07-04 03:44:29
|
Revision: 9530
http://sourceforge.net/p/jmlspecs/code/9530
Author: henriquerebelo
Date: 2019-07-04 03:45:26 +0000 (Thu, 04 Jul 2019)
Log Message:
-----------
removing unused jmlspec package
Removed Paths:
-------------
AJML2/trunk/AJML2/src/org/aspectjml/jmlspec/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-07-04 03:41:04
|
Revision: 9529
http://sourceforge.net/p/jmlspecs/code/9529
Author: henriquerebelo
Date: 2019-07-04 03:42:01 +0000 (Thu, 04 Jul 2019)
Log Message:
-----------
inner enum type handing
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-07-04 03:39:55
|
Revision: 9528
http://sourceforge.net/p/jmlspecs/code/9528
Author: henriquerebelo
Date: 2019-07-04 03:40:51 +0000 (Thu, 04 Jul 2019)
Log Message:
-----------
commenting out a print
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/qexpr/Translator.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-07-02 18:01:25
|
Revision: 9527
http://sourceforge.net/p/jmlspecs/code/9527
Author: henriquerebelo
Date: 2019-07-02 18:02:23 +0000 (Tue, 02 Jul 2019)
Log Message:
-----------
Just a commented inform for internal tests for docker autobuilds
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-06-27 02:10:40
|
Revision: 9526
http://sourceforge.net/p/jmlspecs/code/9526
Author: henriquerebelo
Date: 2019-06-27 02:10:30 +0000 (Thu, 27 Jun 2019)
Log Message:
-----------
Removing internal checks...using the check method. not need due to AspectJML purposes.
Modified Paths:
--------------
AJML2/trunk/AJML2/mjc/org/multijava/mjc/JMethodCallExpression.java
AJML2/trunk/AJML2/mjc/org/multijava/mjc/JMethodDeclaration.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2018-09-10 17:26:58
|
Revision: 9525
http://sourceforge.net/p/jmlspecs/code/9525
Author: leavens
Date: 2018-09-10 17:26:57 +0000 (Mon, 10 Sep 2018)
Log Message:
-----------
updating tech reports to refer to my cache instead of the defunct ISU ftp site
Modified Paths:
--------------
trunk/web/papers.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2018-08-31 14:07:58
|
Revision: 9524
http://sourceforge.net/p/jmlspecs/code/9524
Author: leavens
Date: 2018-08-31 14:07:56 +0000 (Fri, 31 Aug 2018)
Log Message:
-----------
Adding another paper
Modified Paths:
--------------
trunk/web/papers.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2018-04-12 16:14:27
|
Revision: 9523
http://sourceforge.net/p/jmlspecs/code/9523
Author: leavens
Date: 2018-04-12 16:14:25 +0000 (Thu, 12 Apr 2018)
Log Message:
-----------
Adding a paper to the papers page
Modified Paths:
--------------
trunk/web/papers.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2018-02-05 18:38:30
|
Revision: 9522
http://sourceforge.net/p/jmlspecs/code/9522
Author: henriquerebelo
Date: 2018-02-05 18:38:28 +0000 (Mon, 05 Feb 2018)
Log Message:
-----------
Fixes related to enum parsing and add an error while using "jmlspecs" for model import
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/JmlRacGenerator.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlCompilationUnit.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlMessages.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlVersionOptions.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-21 00:30:07
|
Revision: 9521
http://sourceforge.net/p/jmlspecs/code/9521
Author: henriquerebelo
Date: 2017-12-21 00:30:05 +0000 (Thu, 21 Dec 2017)
Log Message:
-----------
generating a UID for Util precondition checking. Needed to avoid name clash insinde the same post rac_code
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...> - 2017-12-20 22:29:47
|
Revision: 9520
http://sourceforge.net/p/jmlspecs/code/9520
Author: henriquerebelo
Date: 2017-12-20 22:29:45 +0000 (Wed, 20 Dec 2017)
Log Message:
-----------
Adjusting the precedence rule of the aspect code generated to perform post-rac. This is useful for multiple spec case checking
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/RacPrettyPrinter.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...> - 2017-12-20 07:09:16
|
Revision: 9519
http://sourceforge.net/p/jmlspecs/code/9519
Author: henriquerebelo
Date: 2017-12-20 07:09:15 +0000 (Wed, 20 Dec 2017)
Log Message:
-----------
Improving the error reporting related to multiple-spec case checking, separating the postRacCode to a separate aspect file
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.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
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2017-12-19 14:35:14
|
Revision: 9518
http://sourceforge.net/p/jmlspecs/code/9518
Author: leavens
Date: 2017-12-19 14:35:13 +0000 (Tue, 19 Dec 2017)
Log Message:
-----------
updated
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-19 14:27:07
|
Revision: 9517
http://sourceforge.net/p/jmlspecs/code/9517
Author: leavens
Date: 2017-12-19 14:27:06 +0000 (Tue, 19 Dec 2017)
Log Message:
-----------
updated
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-19 14:25:00
|
Revision: 9516
http://sourceforge.net/p/jmlspecs/code/9516
Author: leavens
Date: 2017-12-19 14:24:58 +0000 (Tue, 19 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: <le...@us...> - 2017-12-19 14:20:11
|
Revision: 9515
http://sourceforge.net/p/jmlspecs/code/9515
Author: leavens
Date: 2017-12-19 14:20:10 +0000 (Tue, 19 Dec 2017)
Log Message:
-----------
updated
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-17 15:37:51
|
Revision: 9514
http://sourceforge.net/p/jmlspecs/code/9514
Author: leavens
Date: 2017-12-17 15:37:50 +0000 (Sun, 17 Dec 2017)
Log Message:
-----------
fixed link to map
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-17 15:32:53
|
Revision: 9513
http://sourceforge.net/p/jmlspecs/code/9513
Author: leavens
Date: 2017-12-17 15:32:51 +0000 (Sun, 17 Dec 2017)
Log Message:
-----------
Added directions
Modified Paths:
--------------
trunk/web/workshop-2017/index.shtml
Added Paths:
-----------
trunk/web/workshop-2017/WalkingDirections.PNG
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2017-12-17 14:48:00
|
Revision: 9512
http://sourceforge.net/p/jmlspecs/code/9512
Author: leavens
Date: 2017-12-17 14:47:58 +0000 (Sun, 17 Dec 2017)
Log Message:
-----------
fixing title of David Cok's talk
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-15 20:46:39
|
Revision: 9511
http://sourceforge.net/p/jmlspecs/code/9511
Author: leavens
Date: 2017-12-15 20:46:38 +0000 (Fri, 15 Dec 2017)
Log Message:
-----------
Another rearrangement of the schedule
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-15 04:21:06
|
Revision: 9510
http://sourceforge.net/p/jmlspecs/code/9510
Author: leavens
Date: 2017-12-15 04:21:04 +0000 (Fri, 15 Dec 2017)
Log Message:
-----------
Ammending the program
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 12:16:28
|
Revision: 9509
http://sourceforge.net/p/jmlspecs/code/9509
Author: leavens
Date: 2017-12-14 12:16:27 +0000 (Thu, 14 Dec 2017)
Log Message:
-----------
linking the 2017 workshop from the main page
Modified Paths:
--------------
trunk/web/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 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.
|