0
I Use This!
Inactive

Commits : Listings

Analyzed about 9 hours ago. based on code collected about 9 hours ago.
Jul 26, 2024 — Jul 26, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Add commented debug output More... about 9 years ago
Don't use Java 8 methods More... about 9 years ago
Make a variable final to satisfy the Checker Framework More... about 9 years ago
DeclarationAnnotations program More... about 9 years ago
Add Guava 19.0 jar file (not used yet) More... about 9 years ago
Support file .declaration-annotations More... about 9 years ago
Remove afu/ classes from plume.jar More... about 9 years ago
Add @RequiresNonNull annotation More... about 9 years ago
Suppress a broken link More... about 9 years ago
Use standard email address for notification of build failure More... about 9 years ago
Add preliminary `improve-javadoc-code-style' function More... about 9 years ago
Adapt to typetests organization More... about 9 years ago
Use /usr/bin/env instead of hard-coding path to perl More... about 9 years ago
Correct checker-qual.jar More... about 9 years ago
Don't use Hamcrest in tests More... about 9 years ago
Fix @return Javadoc clause for isSubarray More... about 9 years ago
Make tests run More... about 9 years ago
Handle sum of array of doubles, just like ints More... about 9 years ago
Better error checking for fn_inverse More... about 9 years ago
Make sum handle ragged as well as rectangular arrays More... about 9 years ago
Merge branch 'master' of github.com:mernst/plume-lib More... about 9 years ago
Updated version of checker-qual.jar More... about 9 years ago
Make ag not skip VCS ignore files More... about 9 years ago
Add debugging statements More... about 9 years ago
A link to ignore More... about 9 years ago
Add TODOs More... about 9 years ago
check-google-java-format.py is useful in a git pre-commit hook More... about 9 years ago
Documentation improvements More... about 9 years ago
Add tests for short arguments to modulus More... about 9 years ago
Make a field final More... about 9 years ago