event counters The last message was received 4.11 months ago at 17:51 on Oct 13, 2011 0 messages so far today, 0 messages yesterday 0 messages so far this week, 0 messages last week 0 messages so far this month, 0 messages last month 100 messages since the first one, 1.5 years ago, for an average of 5.47 days between messages date | project | content | link |
|---|
| 17:51 on Oct 13, 2011 | abtools | Commit by wahlst :: r 179 /src/ABTOOLS/GRAMMAR/toJML_TreeWalker.g: ( link) representing SETS as nonstatic final ghost variables (rather than static ones) | # | | 17:50 on Oct 13, 2011 | abtools | Commit by wahlst :: r 178 /BBENCH/JML/ (7 files): ( link) updated examples for change of SET representation | # | | 23:23 on Aug 18, 2011 | abtools | Commit by wahlst :: r 177 /BBENCH/JML/VARTEST.java: ( link) example with correct translation of boolean literals | # | | 23:22 on Aug 18, 2011 | abtools | Commit by wahlst :: r 176 /src/ABTOOLS/GRAMMAR/toJML_ExpressionTreeWalker.g: ( link) correcting translation of boolean literals | # | | 23:11 on Aug 18, 2011 | abtools | Commit by wahlst :: r 175 /BBENCH/JML/ (17 files): ( link) updating translation examples | # | | 22:47 on Aug 18, 2011 | abtools | Commit by wahlst :: r 174 /src/ABTOOLS/GRAMMAR/ (2 files): ( link) qualifying references to static fields and methods to make inheritance easier | # | | 21:55 on Aug 17, 2011 | abtools | Commit by wahlst :: r 173 /src/ABTOOLS/INTERFACE_TEXTE/ABTools.java: ( link) removing unused symbol table field from toJML_TreeWalker | # | | 21:55 on Aug 17, 2011 | abtools | Commit by wahlst :: r 172 /src/ABTOOLS/GRAMMAR/toJML_TreeWalker.g: ( link) removing unused symbol table field | # | | 16:59 on Aug 16, 2011 | abtools | Commit by wahlst :: r 171 /src/ABTOOLS/GRAMMAR/BTyping.g: ( link) performance enhancement - caching the refinement/includes chain rather than recalculating it for each nonlocal variable reference. | # | | 21:18 on Aug 13, 2011 | abtools | Commit by jlboulanger :: r 170 /src/ABTOOLS/GRAMMAR/Makefile.grammars: ( link) Add trace variables in makefile | # | | 21:11 on Aug 13, 2011 | abtools | Commit by jlboulanger :: r 169 /src/ABTOOLS/GRAMMAR/ (7 files): ( link) correct some bug in Treewalker | # | | 02:43 on Aug 13, 2011 | abtools | Commit by wahlst :: r 168 /BBENCH/JML/ (27 files): ( link) updated examples for B2Jml
note that machine SOCIAL_FRIENDS has been modified to treat FRIEND as
a carrier set (rather than a parameter set) because B2Jml does not yet
handle parameter sets. | # | | 02:39 on Aug 13, 2011 | abtools | Commit by wahlst :: r 167 /src/ABTOOLS/GRAMMAR/BTyping.g: ( link) fix for Bug #6 on sourceforge (MantisBT)
all refined and included machines are now searched to resolve
nonlocal identifiers | # | | 19:19 on Aug 12, 2011 | abtools | Commit by varivera :: r 166 /src/ABTOOLS/INTERFACE_TEXTE/ABTools.java: ( link) Fixed problem dealing with multiple file extensions. | # | | 19:13 on Aug 12, 2011 | abtools | Commit by varivera :: r 165 /src/ABTOOLS/ (11 files in 3 dirs): ( link) Fixed problem dealing with multiple file extensions. | # | | 16:43 on Aug 11, 2011 | abtools | Commit by wahlst :: r 164 /src/ABTOOLS/GRAMMAR/toJML_TreeWalker.g: ( link) fixing handling of interval types and changing the representation of
carrier sets from model fields to public static ghost fields | # | | 23:56 on Aug 09, 2011 | abtools | Commit by wahlst :: r 163 /B2JML/org/jmlspecs/b2jml/ (23 files in 2 dirs): ( link) updating library code for B2JML
- corrected implementation of Intervals
- added documentation
- added type parameters as needed
- removed print statements from test cases | # | | 22:53 on Aug 06, 2011 | abtools | Commit by wahlst :: r 162 /src/ABTOOLS/GRAMMAR/BTyping.g: ( link) temporary patch so that ABTools will look more than one refinement back when resolving identifiers. | # | | 16:08 on Jul 18, 2011 | abtools | Commit by wahlst :: r 161 /BBENCH/JML/ (VAR.mch VARTEST.java): ( link) stronger tests for VAR substitutions | # | | 18:09 on Jul 15, 2011 | abtools | Commit by wahlst :: r 160 /BBENCH/JML/SOCIAL_NETWORK.java: ( link) updated example with redundant conversions removed | # |
| 
RSS 2.0 Feed