[typetools/checker-framework] aa1415: Fix RLC crash

0 views

Skip to first unread message

Michael Ernst

unread,

Jul 24, 2026, 5:17:48 AM (3 days ago) Jul 24

to checker-fr...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: aa1415307a975af60e4f202a909a47b835108c09
https://github.com/typetools/checker-framework/commit/aa1415307a975af60e4f202a909a47b835108c09
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-07-24 (Fri, 24 Jul 2026)

Changed paths:
M .azure/azure-pipelines-daily.yml
M .azure/azure-pipelines.yml
M .azure/defs.m4
M .circleci/config.yml
M .circleci/config.yml.m4
M .circleci/defs.m4
M .github/workflows/ci.yml
M .github/workflows/ci.yml.m4
M .github/workflows/defs.m4
M .github/workflows/gradle-wrapper-validation.yml-DISABLED
A checker/bin-devel/test-guava-part1.sh
A checker/bin-devel/test-guava-part2.sh
M checker/bin-devel/test-guava.sh
A checker/tests/resourceleak/EnumMultiset.java
M framework/src/main/java/org/checkerframework/common/accumulation/AccumulationValue.java

Log Message:
-----------
Fix RLC crash

Co-authored-by: Suzanne Millstein <smi...@cs.washington.edu>

To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications

Michael Ernst

unread,

Jul 24, 2026, 5:52:57 AM (3 days ago) Jul 24

to checker-fr...@googlegroups.com

Branch: refs/heads/linting

Commit: d9378efeaef8b8c7cea259a49c259de7a44cc312
https://github.com/typetools/checker-framework/commit/d9378efeaef8b8c7cea259a49c259de7a44cc312

Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-07-24 (Fri, 24 Jul 2026)

Changed paths:
M .azure/azure-pipelines-daily.yml
M .azure/azure-pipelines.yml
M .azure/defs.m4
M .circleci/config.yml
M .circleci/config.yml.m4
M .circleci/defs.m4
M .github/workflows/ci.yml
M .github/workflows/ci.yml.m4
M .github/workflows/defs.m4
M .github/workflows/gradle-wrapper-validation.yml-DISABLED
A checker/bin-devel/test-guava-part1.sh
A checker/bin-devel/test-guava-part2.sh
M checker/bin-devel/test-guava.sh
A checker/tests/resourceleak/EnumMultiset.java
M framework/src/main/java/org/checkerframework/common/accumulation/AccumulationValue.java

Log Message:
-----------

Merge ../checker-framework-branch-master into makefiles

Commit: 186527f0bc45229e2073defecef513fff6d734ae
https://github.com/typetools/checker-framework/commit/186527f0bc45229e2073defecef513fff6d734ae

Merge ../checker-framework-fork-mernst-branch-makefiles into makefiles2

Commit: aba9462bae2bf0922dc671a6c5217e49352d5a38
https://github.com/typetools/checker-framework/commit/aba9462bae2bf0922dc671a6c5217e49352d5a38

Merge ../checker-framework-fork-mernst-branch-makefiles2 into linting-pre

Commit: b1d902b8fe00edef0bb6c389c9c3c8533650b17e
https://github.com/typetools/checker-framework/commit/b1d902b8fe00edef0bb6c389c9c3c8533650b17e

Merge ../checker-framework-branch-master into trailing-blank-lines

Commit: fafed8ba1044f5e1dd5981f7c9b45695a38733b4
https://github.com/typetools/checker-framework/commit/fafed8ba1044f5e1dd5981f7c9b45695a38733b4

Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-07-24 (Fri, 24 Jul 2026)

Changed paths:

Log Message:
-----------
Merge ../checker-framework-fork-mernst-branch-trailing-blank-lines into linting-pre

Commit: 1ea7fd33ce4e0a3d508c262f309deea50d69c361
https://github.com/typetools/checker-framework/commit/1ea7fd33ce4e0a3d508c262f309deea50d69c361

Merge ../checker-framework-fork-mernst-branch-linting-pre into linting

Compare: https://github.com/typetools/checker-framework/compare/a5a5015fd48c...1ea7fd33ce4e

Reply all

Reply to author

Forward

0 new messages