Activity for Gary T. Leavens
-
Gary T. Leavens committed [r9632]
Adding Community Choice award badge from sf.net
-
Adding link to the new reference manual
-
updating
-
updating
-
updating
-
updating
-
updating
-
updating
-
updating
-
Fixing capitalization
-
Fixing XHTML (syntax)
-
Fixing XHTML (syntax)
-
Fixing XHTML (syntax)
-
adjusting format of picture
-
adjusting format of picture
-
adjusting format of picture
-
adjusting format of picture
-
adjusting format of picture
-
updated
-
updated
-
updating
-
formatting OpenJML logo
-
updating with move to github
-
Moving from sourceforge to github and updating
-
moving from sourceforge to github
-
moving from sourceforge to github
-
Tweaking the semantics of generalized quantifiers
-
Adjusting goals for generalized quantifiers
-
Adding generalized-quantifiers.txt
-
updates for PHP server
-
updated
-
updating tech reports to refer to my cache instead of the defunct ISU ftp site
-
Adding another paper
-
Adding a paper to the papers page
-
updated
-
updated
-
correction
-
updated
-
fixed link to map
-
Added directions
-
fixing title of David Cok's talk
-
Another rearrangement of the schedule
-
Ammending the program
-
linking the 2017 workshop from the main page
-
correction
-
Corrections to the agenda
-
Adding agenda draft
-
Work on the agenda
-
updating attendees
-
Adding attendees
-
added
-
better path for Curt, and goes with the set-classroot.sh file
-
better documentation for the variables, including CLASSPATH in what is to be set
-
changed the name of the assert method in Util to assertTrue, so that we don't get warnings under JDK 1.4 when compiling
-
better name for the script file
-
added script for calling mjc compiler
-
version that works without anything in the CLASSPATH
-
Small modifications to javadoc comments to get rid of warnings about empty first sentences (mostly) under JDK 1.4.
-
actual correction
-
Renamed set-class-root.sh to example-developers-source-cygwin.sh
-
standardize location of antlr
-
better JDK location on Unix
-
fixed JTEMP declaration
-
corrected javadoc keyword from @throws to @exception
-
corrected javadoc keyword from @returns to @return
-
Renamed example-developers-source-cygwin.sh to example-developers-sourceme-cygwin.sh
-
corrected javadoc comment keyword
-
corrected javadoc comment (changed @returns to correct @return)
-
added Unix version
-
better documentation, added JDLINKS so switching from JML won't cause problems.
-
use of cygpath here too.
-
corrected backslashes, and more use of cygpath.
-
we no longer put TestSuite.java at the top of MJ
-
Added batch file to invoke mjc. This, and the other scripts, may need
-
corrected comment
-
added for csh users
-
added needed tools.jar file
-
back to JDK 1.3 for javadocs
-
I added some methods for JDK 1.4 compatability,
-
updated to standardize JDK location
-
corrected comment
-
Changed the javadocs target to allow for hooks for generating the
-
Added scripts to invoke mjdoc
-
corrected MJDIR definition
-
ignore tmp directory
-
corrected jmldocsonly target to work on cygwin
-
corrected JML specification in javadoc comment
-
correcting expected output of test cases to match the change in the messages from mjc
-
corrected JML specification syntax in javadoc comment
-
Added some specifications with refine clauses as a test case for refinement and augmenting methods
-
corrected JML specification in javadoc comment
-
added cleanall target as a synonym for pristine and distclean
-
corrected grammar of a few messages that may have not been so bad :-)
-
Added a flag to allow jmldoc to have enough memory to work successfully
-
I changed the MJ/Make.Defs file so that the "clean" target no longer
-
Fixes to run under JDK 1.4.1, which seems to return null in some cases for cleaning up the temporary directories
-
corrected minor syntax error in JML annotation on 48
-
Added model import and corrected some other minor syntax errors in
-
Well yes, just a tiny bit simplier. :-)
-
Even simplier version of this test case; it doesn't get much simplier
1 >