0
I Use This!
Inactive

Commits : Listings

Analyzed about 6 hours ago. based on code collected about 6 hours ago.
Jul 20, 2024 — Jul 20, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Update a URL More... about 9 years ago
Fix typo More... about 9 years ago
Clarify comment More... about 9 years ago
Add git commands for merging after reformat More... about 9 years ago
Merge branch 'master' of github.com:mernst/plume-lib More... about 9 years ago
Set fill-column for projects that use Google Java style More... about 9 years ago
Add a TODO More... about 9 years ago
Use better way to get absolute file name in Perl More... about 9 years ago
Use readlink to get absolute path to executable More... about 9 years ago
Explain inability to use timestamps. More... about 9 years ago
Better determination of command-line options More... about 9 years ago
Handle command-line arguments More... about 9 years ago
Retrieve remote files unconditionally, but not if local is under version control More... about 9 years ago
More comments on how to handle reformatting More... about 9 years ago
Update URLs More... about 9 years ago
Ignore @Option-annotated fields in whole-program inference More... about 9 years ago
Update make commands More... about 9 years ago
Update URLs More... about 9 years ago
Quote arguments to eq More... about 9 years ago
Improve documentation More... about 9 years ago
Add --pro command-line argument More... about 9 years ago
Merge branch 'master' of https://github.com/mernst/plume-lib More... about 9 years ago
Comments about fixing up reformatting More... about 9 years ago
Disable an assertion More... about 9 years ago
Links to suppress checking of More... about 9 years ago
Avoid double replacement More... about 9 years ago
Merge branch 'master' of github.com:mernst/plume-lib More... about 9 years ago
Don't move type annotation to front of a line that starts with "void " More... about 9 years ago
Check command-line arguments More... about 9 years ago
Small refactorings More... about 9 years ago