0
I Use This!
Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
May 08, 2023 — May 08, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Update URLs More... over 7 years ago
Use https instead of http URLs More... over 7 years ago
Update a file path More... almost 9 years ago
Update references from Google Code to GitHub and from Mercurial (Hg) to Git More... almost 9 years ago
Rename .hgignore -> .gitignore More... almost 9 years ago
Replaces unset variable javari-annotated-jdk with path relative to checker-framework. More... almost 10 years ago
Adds JDK 1.8 option. More... almost 10 years ago
Adds Java 8 option. More... almost 10 years ago
Eliminates additional references to $CHECKER. More... almost 10 years ago
Eliminates references to obsolete environment variable $CHECKERS. More... almost 10 years ago
Reflects scene-lib API changes. More... almost 10 years ago
Tweak error output More... over 10 years ago
Small Makefile improvements More... over 10 years ago
Sort file names for deterministic output More... over 10 years ago
Constructors should have result, not receiver, annotations. (The fix is a bit of a hack: the changes should be made throughout, not just on output.) More... over 10 years ago
Move annotations from receiver to return value, for top-level class constructors More... over 10 years ago
Adapt tests by changing local variable annotations More... over 10 years ago
Don't put unquoted annotation names on the command line where they will be interpreted as file names. More... over 10 years ago
Correct misuses of terminology and other typos More... almost 11 years ago
Move annotation to correct insertion location. This must've been fixed by a change to AFU. More... about 11 years ago
Add inserted receivers that weren't being inserted previously. This must've been fixed by a change to AFU. More... about 11 years ago
Update tests to include the qualifed class name for receiver insertions. More... about 11 years ago
Update tests to expect annotation on the correct part of the an inner type. More... about 11 years ago
Update whitespace for an annotation on an inner type. This is needed because of an AFU change that makes the whitespace on inner type annotations consistent with the JSR 308 spec. More... about 11 years ago
Remove out of date receiver comments. These comments only served to signify which receiver should be inserted, but have been out of date since ree3a446ca9ca when receivers were updated with the new syntax. More... about 11 years ago
Update tests that were broken because of an AFU change: http://code.google.com/p/annotation-tools/source/detail?r=a580e1eec3e6510f629813d98f045ab017838a46 The annotations were originally being inserted at the opening paren of the method, but they're now being more reliably inserted right before the first parameter, which is a different place in relation to the comments on the parameters. I just decided to remove the comments since they're no longer in an accurate location and they don't provide much benefit. More... about 11 years ago
Adjust path to jdk.jar, per suggestion of Mohsen Vakilian More... about 11 years ago
Update for JSR308 compound type representation changes. More... over 11 years ago
Update tests with new annotation location for fully qualified types. More... over 11 years ago
Update test JAIF files with new compound type path syntax. More... over 11 years ago