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 24 of 73 Search / Filter on:
Scripts for processing Java indentation	Michael Ernst	More...				over 9 years ago
Move a comment	Michael Ernst	More...				over 9 years ago
Merge branch 'master' of github.com:mernst/plume-lib	Michael Ernst	More...				over 9 years ago
Add another URL to ignore	Michael Ernst	More...				over 9 years ago
Update homepages	Michael Ernst	More...				over 9 years ago
Better description of trigger-travis.sh script	Michael Ernst	More...				over 9 years ago
Improve compilation command for Checker Framework test directories	Michael Ernst	More...				over 9 years ago
More explicit documentation of the value of TRAVIS_ACCESS_TOKEN	Michael Ernst	More...				over 9 years ago
Make changes suggested by pylint	Michael Ernst	More...				over 9 years ago
Update a comment	Michael Ernst	More...				over 9 years ago
New URL for Elizabeth Wilmer	Michael Ernst	More...				over 9 years ago
Comment out URL that gives link checking errors	Michael Ernst	More...				over 9 years ago
Update URL for Ben Tribelhorn	Michael Ernst	More...				over 9 years ago
Update URL redirect for defects4j.org	Michael Ernst	More...				over 9 years ago
Update René Just's URL	Michael Ernst	More...				over 9 years ago
Merge branch 'master' of https://github.com/mernst/plume-lib	Michael Ernst	More...				over 9 years ago
Remove redundant import	Michael Ernst	More...				over 9 years ago
remove duplicate import; this will stop javac warnings with jdk7	Mark Roberts	More...				over 9 years ago
Tweak comment	Michael Ernst	More...				over 9 years ago
Update comment in Makefile	Michael Ernst	More...				over 9 years ago
Fragment URLs to ignore	Michael Ernst	More...				over 9 years ago
Move import statement within comment	Michael Ernst	More...				over 9 years ago
Merge branch 'master' of github.com:mernst/plume-lib	Michael Ernst	More...				over 9 years ago
Prefer clone to checkout and pull to update	Michael Ernst	More...				over 9 years ago
More dealing with lack of newlines in gradle output	Michael Ernst	More...				over 9 years ago
Disable maven compilation-error-regexp, which is very slow	Michael Ernst	More...				over 9 years ago
Use <code> instead of <tt> in HTML	Michael Ernst	More...				over 9 years ago
Don't include JUnit in plume.jar	Michael Ernst	More...				over 9 years ago
URLs not to warn about	Michael Ernst	More...				over 9 years ago
Indentation change	Michael Ernst	More...				over 9 years ago

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