plume-lib

Settings | Report Duplicate

0

I Use This!

Activity Not Available

Commits : Listings

Analyzed about 1 year ago. based on code collected about 1 year ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jan 19, 2023 — Jan 19, 2024 Showing page 13 of 73 Search / Filter on:
Fix error indicated by the Index Checker: failure to call System.exit()	Michael Ernst	More...				about 8 years ago
Put annotation in comments	Michael Ernst	More...				about 8 years ago
Fix issues with nullness checking	Michael Ernst	More...				about 8 years ago
Preserve abstraction boundaries	Michael Ernst	More...				about 8 years ago
Put a value in a local variable	Michael Ernst	More...				about 8 years ago
Preserve abstraction boundaries	Michael Ernst	More...				about 8 years ago
Fix bug in handling of arrays containing duplicates	Michael Ernst	More...				about 8 years ago
Fix documentation error	Michael Ernst	More...				about 8 years ago
Give names to repeated temporary computations	Michael Ernst	More...				about 8 years ago
Add an @ArrayLen annotation	Michael Ernst	More...				about 8 years ago
Fix bug (using index vs. length) discovered while annotating for the Index Checker	Michael Ernst	More...				about 8 years ago
Simpler idiom for comparing array lengths	Michael Ernst	More...				about 8 years ago
Fix index-out-of-bounds error revealed by the Index Checker	Michael Ernst	More...				about 8 years ago
Improve documentation	Michael Ernst	More...				about 8 years ago
Update a URL	Michael Ernst	More...				about 8 years ago
Change to fixup google formatter so that it now correctly ignores the new names for LTL and LTEL from the upper bound checker (#25)	kelloggm	More...				about 8 years ago
Merge branch 'master' of github.com:mernst/plume-lib	Michael Ernst	More...				about 8 years ago
Remove comments now that issue is resolved	Michael Ernst	More...				about 8 years ago
Add "set +e" in after_script	Michael Ernst	More...				about 8 years ago
Don't use travis-after-all	Michael Ernst	More...				about 8 years ago
Debugging travis-after-all	Michael Ernst	More...				about 8 years ago
Try trivial .travis.yml script	Michael Ernst	More...				about 8 years ago
Fix .travis.yml file	Michael Ernst	More...				about 8 years ago
More Travis testing	Michael Ernst	More...				about 8 years ago
Fix bug in .travis.yml file	Michael Ernst	More...				about 8 years ago
Try Travis with "set -e" and "all-but-emacs" target	Michael Ernst	More...				about 8 years ago
Test Travis with only "check" target	Michael Ernst	More...				about 8 years ago
Test Travis without "check" target	Michael Ernst	More...				about 8 years ago
Tweak Travis script	Michael Ernst	More...				about 8 years ago
Only check format under Java 8	Michael Ernst	More...				about 8 years ago

←
1
2
…
9
10
11
12
13
14
15
16
17
…
72
73
→