Branch: refs/heads/master
Home:
https://github.com/typetools/checker-framework
Commit: 8d2f4e519b35b90d98069be653f71286c1e6a644
https://github.com/typetools/checker-framework/commit/8d2f4e519b35b90d98069be653f71286c1e6a644
Author: Michael Ernst <
mer...@cs.washington.edu>
Date: 2024-05-20 (Mon, 20 May 2024)
Changed paths:
M build.gradle
M checker-qual-android/build.gradle
M checker-qual/build.gradle
M checker/build.gradle
M checker/src/main/java/org/checkerframework/checker/resourceleak/messages.properties
M dataflow/build.gradle
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/AbstractCFGVisualizer.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/CFGVisualizeLauncher.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/StringCFGVisualizer.java
M framework-test/build.gradle
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/wholeprograminference/WholeProgramInferenceImplementation.java
M framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceFactory.java
Log Message:
-----------
Use `System.lineSeparator()` rather than `\n` (#6599)
To unsubscribe from these emails, change your notification settings at
https://github.com/typetools/checker-framework/settings/notifications