Skip to content

Activity

Link documentation

Ao-senXiongcreated eisop-issue-1011 • ada7732 • 
12 hours ago

Starting move PICO to EISOP

Ao-senXiongcreated pico-move • 33dfd50 • 
2 days ago

Commit for CI

Ao-senXiongpushed 1 commit to initialization-checker-annotatedfor • 4168758…c3ac8ab • 
3 days ago

Add cross reference in `InitializationFieldAccessSubchecker#Initializ…

Ao-senXiongpushed 1 commit to initialization-checker-annotatedfor • a6efef5…4168758 • 
3 days ago

Update checker/src/main/java/org/checkerframework/checker/initializat…

Ao-senXiongpushed 1 commit to initialization-checker-annotatedfor • 2a2cd6a…a6efef5 • 
4 days ago

Update comment with more detailed error information

Ao-senXiongpushed 1 commit to initialization-checker-annotatedfor • 1ff7180…2a2cd6a • 
4 days ago

Fix comment sentence

Ao-senXiongpushed 1 commit to initialization-checker-annotatedfor • bed15bc…1ff7180 • 
4 days ago

Merge branch 'master' into initialization-checker-annotatedfor

Ao-senXiongpushed 10 commits to initialization-checker-annotatedfor • b982d2a…bed15bc • 
5 days ago

Fix the error and more tests

Ao-senXiongpushed 1 commit to initialization-checker-annotatedfor • 1c603be…b982d2a • 
5 days ago

Comment out the change and add test case (expect failure)

Ao-senXiongpushed 1 commit to initialization-checker-annotatedfor • 418ee65…1c603be • 
5 days ago

Deleted branch

Ao-senXiongdeleted lost-qualifier • 
6 days ago

Add downcasts

wmdietlpushed 1 commit to lost-qualifier • 4326a19…bbc07c1 • 
6 days ago

Don't recreate the same qualifiers

wmdietlpushed 1 commit to lost-qualifier • 249272b…4326a19 • 
7 days ago

Merge branch 'master' into lost-qualifier

wmdietlpushed 3 commits to lost-qualifier • 1d1f938…249272b • 
7 days ago

Merge branch 'master' into lost-qualifier

Ao-senXiongpushed 2 commits to lost-qualifier • 7b12191…1d1f938 • 
8 days ago

Merge branch 'master' into lost-qualifier

Ao-senXiongpushed 12 commits to lost-qualifier • 060894b…7b12191 • 
19 days ago

Deleted branch

Ao-senXiongdeleted pico-cf-only • 
22 days ago

Use git-scripts in addition to plume-scripts (eisop#794)

Ao-senXiongcreated pico-cf-only-archive • 5832f25 • 
22 days ago

Also handle the InitializationChecker as upstream checker (eisop#985)

Ao-senXiongpushed 74 commits to master • d30ebee…175f3fa • 
22 days ago

Handle the InitializationChecker as upstream checker for abstract I…

Ao-senXiongcreated initialization-checker-annotatedfor • 418ee65 • 
23 days ago

Formatting

wmdietlpushed 1 commit to show-initialization-work • a4df693…386de5c • 
23 days ago

Apply spotless

Ao-senXiongpushed 2 commits to show-initialization-work • 71a7537…a4df693 • 
23 days ago

Apply suggestions from code review

Ao-senXiongpushed 1 commit to show-initialization-work • 925ebc4…71a7537 • 
23 days ago

Add one more annotation because of conservative default applied for f…

Ao-senXiongpushed 1 commit to more-errors-show • 33ef10b…df72639 • 
23 days ago

Add one more annotation because of conservative default applied for f…

Ao-senXiongpushed 1 commit to show-initialization-work • 5fd6b7d…925ebc4 • 
23 days ago

Improve Javadoc of AnnotatedForTest.java (eisop#989)

Ao-senXiongpushed 2 commits to show-initialization-work • 170b52f…5fd6b7d • 
23 days ago

Explain the test cases and apply spotless

Ao-senXiongpushed 1 commit to show-initialization-work • d31aac3…170b52f • 
23 days ago

Merge branch 'master' into more-errors-show

wmdietlpushed 3 commits to more-errors-show • 3a4c7b5…33ef10b • 
23 days ago

Deleted branch

Ao-senXiongdeleted allow-pr-ci • 
23 days ago

Merge branch 'master' into more-errors-show

Ao-senXiongpushed 3 commits to more-errors-show • a92757d…3a4c7b5 • 
24 days ago