0
I Use This!
Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 2 days ago.
May 18, 2023 — May 18, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Update tests with new receiver syntax. Remove receivers from anonymous inner class methods since they're illegal. Update location of annotation from bound to wildcard because of fix in AFU. More... over 11 years ago
Replace all references to checkers.jar to point to it's new location in the Checker Framework (binary/checkers.jar) More... over 11 years ago
Use javac.jar in /Users/jburke/Documents/projects/jsr308/checker-framework/checkers/binary More... over 11 years ago
Use Checker Framework Javac when possible in tests More... over 11 years ago
Fix error introduced in the Makefile by the last update More... over 11 years ago
Better handling for jdk versions More... over 11 years ago
Fix jdk parameterization by jre version More... over 11 years ago
Update scripts to use latest Checker Framework JDK changes More... over 11 years ago
Update URLs More... over 11 years ago
Remove variable that's not used any more. More... about 12 years ago
Remove hopefully unnecessary variable. More... about 12 years ago
Automated merge with https://javarifier.googlecode.com/hg/ More... about 12 years ago
Try adding another environment variable to the test invocation. More... about 12 years ago
Automated merge with https://code.google.com/p/javarifier/ More... about 12 years ago
Call javarifier with -d flag, for debugging More... about 12 years ago
Make javarifier script accept a -d option More... about 12 years ago
Pass along an environment variable needed by AFU. More... about 12 years ago
Update Google Code URLs More... over 12 years ago
Update URLs into the Checker Framework manual. More... over 12 years ago
Update goals to reflect improvements to Annotation File Utilities More... about 13 years ago
Minor comment improvements More... about 13 years ago
Enhance showvars target More... about 13 years ago
Fix HTML error. More... about 13 years ago
Updated "Building from source" section of documetation to build in correct order and include notes on setting JAVA_HOME. More... about 13 years ago
Code review comment More... about 13 years ago
Re-organize More... about 13 years ago
Put changelog in reverse chronological order. More... about 13 years ago
Improve 'ant -projecthelp' output More... about 13 years ago
In goal files, use "extends java.lang.Object" instead of "extends Object" More... about 13 years ago
Remove run-tests-toplevel-debug from "ant -projecthelp" output More... about 13 years ago