Activity for Clyde D. Ruby
-
Clyde D. Ruby committed [r601]
A minor change so the active sequence ID of tasks is restored after
-
Refactored the code from CMember for determining the accessibility of
-
Fixed up some javadoc comments.
-
Added a check for invalid combinations of modifiers in methods. I noticed
-
Some additional checks for invalid combinations (conflicting meanings)
-
Minor changes to simplify implementation of functionality in JML.
-
Improved error message.
-
Reformatting code to improve indentation and readability.
-
Minor change.
-
Minor correction.
-
-
Minor changes.
-
Correction of an initially clause.
-
Correcting the error message issued by the typechecking of expressions.
-
Replacement of depends clauses by data group clauses.
-
The MJC now emmits an error when a class attempts to "implement"
-
Added a constructor for an MJC task that is needed by JML.
-
-
Specification corrections.
-
Correction.
-
-
Correcting specification so it passes the assignable fields checking.
-
Another fix of data group clause.
-
-
-
minor formatting improvements.
-
Correcting specifications so they pass the new assignable clause
-
Making the method I factored out yesterday public and part of the
-
Minor improvement and refactoring for JML.
-
Added pure specifications so these classes will pass the less strict
-
-
Corrections to specifications so they pass the stricter
-
Fixes to specifications.
-
Change in a method specification because the conditional store reference is
-
added JLS2 reference to an error message.
-
-
Added a small accessor method needed by JML.
-
-
Consistency checks for refinements (although not all of them). This
-
This commit finishes the implementation of most of the consistency
-
This commit deprecates the current syntax of the refine clause:
-
Moving tests to typechecker directory.
-
-
Update of refinement documentation.
-
-
Fixing the problem with the merged files.
-
A few more changes to test cases.
-
A few more changes to testcases.
-
Model fields are no longer allowed to be final since they cannot
-
Fix of the static variable problem in refinements (bug #663949).
-
Update of reference manual regarding refinement.
-
Fix of the bug related to final variables in constructor specs
-
Added typechecking of model programs (still more to do) and
-
Moved to typecheck directory.
-
test for initializer specs.
-
Fixed more of the typechecking of model programs. Fixed model programs
-
Fix of the typechecking of the returns clause.
-
-
-
This fixes JML so the last two test cases in jmlrac for refinement chains
-
Refactoring and improvement of handling of refinement.
-
-
Some test cases that refine .class files.
-
-
-
-
-
Missing file.
-
-
Deprecating readable_if and monitored_by clauses and updating the
-
-
Improved specs.
-
Improved, simplified, and corrected specifications.
-
Corrected specifications and added junit tests.
-
Correction.
-
More updates to the testcases for the new syntax. Also, some
-
-
After updating today I started getting an error when running the
-
-
Updates to reflect the new syntax with the addition of the where, in,and maps-into clauses. Still replacing the depends clauses in the examples.
-
Replacement of depends clauses with the new syntax, i.e., in and maps-into
-
Updating for the new syntax of the where, in, and maps-into clauses.
-
I just realized that I didn't add the new specification for ArrayList
-
Removing ArrayList and other fixes.
-
Minor correction.
-
better.
-
Fix that prevents a null pointer exception when a parse error
-
-
Some new examples I've been wrestling with for the last week.
-
-
-
-
Another test.
-
-
Better specs now that the represents clause works with conditional
-
-
-
-
-
Added comments to make the test clearer.
1 >