Activity for Joseph Kiniry
-
Joseph Kiniry committed [r1481]
Tweaked Javadoc comments beginning with "<A" so as to avoid this bug
-
Updated documentation to cover building MJ with JDK 1.5. Also rewrote
-
Changed from Windows to UNIX EOLs.
-
Added reference to JDK13TOOLS variable to classpath.
-
Various bits of cleanup, added details, etc. to a variety of sections
-
Draft of FMICS paper so that we can do rewrites.
-
Some small revisions based upon reader feedback. Still perhaps need a
-
Numerous changes that reflect the current state of the ESC/Java work,
-
Initial set of JDEE-based inline-expansions for JML.
-
My rewrite, focusing on the ESC/Java sections, but doing a full pass
-
Make clean target more broad. Removed extraneous trailing
-
*** empty log message ***
-
Added ifpdf package for general conditional PS/PDF processing in
-
Slight modifications to URLs and details of SoS contributors.
-
Added represents clauses for model fields.
-
I wrote these specs just the other day before David checked his in. I
-
Some new additions and style updates on a variety of topics.
-
Checked over Appendix per Gary's suggestion in a log message to ensure
-
Finished ESC/Java and ESC/Java2 sections while on holiday in London. :)
-
Incorporated changes suggested or provided by David and Rustan. Rustan
-
New terminology for class invariant vs. object invariant.
-
Some rewriting for clarification; sorry, I reformatted a few
-
Revised Gary's work on JML level documentation. Added several
-
Sketch of running example for FMCO advanced tutorial paper. This needs another half an hour to be coherent enough to write about it. I'm going to try and find another couple of hours in the next two days to finish these examples and finish the writeup the detailed outline of the paper that I have yet to commit.
-
Further revisions of code examples for FMCO paper. Thanks to Erik for
-
source code exampels cleanup: made all heavyweight specs indented in
-
bibtex cleanup: fixed my name, made springer references consistent,
-
Added single Texinfo file only for the grammar spec. Updated the Makefile to build appropriate dependent docs. Note that these new rules use texi2latex which is not a standard tool but is available via http://savannah.nongnu.org/projects/texi2latex
-
Corrected two spelling errors and switched "acknowledgment" to
-
source code examples cleanup (in paper): made all heavyweight specs
-
Final edits from JRK. Fixes to my firstname (always Joseph in papers),
-
Added (back in?) concrete assignable clause for expository purposes.
-
Added view target for previewing paper.
-
Added discussion of multi-year conference tutorials on JML and related topics and SNFM paper at FM'08.
-
Updated info on ESC/Java2 and David.
-
Update my group's location and members.
-
Updated server name at UCD. Updated tool status information for JML2,
1