0
I Use This!
Activity Not Available

Commits : Listings

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