plume-lib

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 20, 2024 — Jul 20, 2025 Showing page 23 of 73 Search / Filter on:
Add a test	Michael Ernst	More...				about 9 years ago
Add missing curly braces to commented-out code.	Michael Ernst	More...				about 9 years ago
Document how to integrate with a Makefile	Michael Ernst	More...				about 9 years ago
"make check-types" also does compilation	Michael Ernst	More...				about 9 years ago
Updated bcel.jar	Michael Ernst	More...				about 9 years ago
How to build bcel.jar using a local version of the Checker Framework	Michael Ernst	More...				about 9 years ago
Improve formatting for commented receivers (remove spurious space)	Michael Ernst	More...				about 9 years ago
Update instructions for building bcel.jar	Michael Ernst	More...				about 9 years ago
Improve indentation of optionsdoc output	Michael Ernst	More...				about 9 years ago
Update checker-qual.jar	Michael Ernst	More...				about 9 years ago
Reinstate better formatting that was accidentally reverted	Michael Ernst	More...				about 9 years ago
Make code quality targets create generated files	Michael Ernst	More...				about 9 years ago
Don't always run pluggable typecheckers when compiling	Michael Ernst	More...				about 9 years ago
Revert commit 038eba688940116ce0a82cbf970364ce87b76e5f	Michael Ernst	More...				about 9 years ago
Whitespace changes in generated Javadoc	Michael Ernst	More...				about 9 years ago
Merge branch 'master' of https://github.com/mernst/plume-lib	Michael Ernst	More...				about 9 years ago
Use Java 8	Michael Ernst	More...				about 9 years ago
Tweak Javadoc	Michael Ernst	More...				about 9 years ago
Organize imports according to Google Java style.	Michael Ernst	More...				about 9 years ago
Use hidden --sort-imports=also command-line option to google-java-format	Michael Ernst	More...				about 9 years ago
Improve documentation	Michael Ernst	More...				over 9 years ago
Simplify implementation of check-google-java-format.py	Michael Ernst	More...				over 9 years ago
Remove -bootclasspath which doesn't work	Michael Ernst	More...				over 9 years ago
Merge branch 'master' of github.com:mernst/plume-lib	Michael Ernst	More...				over 9 years ago
Remove -Werror	Michael Ernst	More...				over 9 years ago
Check formatting on pre-commit, not on every compile	Michael Ernst	More...				over 9 years ago
Use Python 2.6 syntax for set literals	Michael Ernst	More...				over 9 years ago
Return correct status code	Michael Ernst	More...				over 9 years ago
Check Java formatting whenever compiling	Michael Ernst	More...				over 9 years ago
Add run-google-java-format.py script	Michael Ernst	More...				over 9 years ago

←
1
2
…
19
20
21
22
23
24
25
26
27
…
72
73
→