Skip to content

Commit f17fd42

Browse files
smillstsmillst
committed
new release 3.51.1
1 parent 11f9ab5 commit f17fd42

File tree

7 files changed

+21
-21
lines changed

7 files changed

+21
-21
lines changed

‎docs/annotation-file-utilities/annotation-file-utilities.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -141,8 +141,8 @@ <h2 id="installation">Installation</h2>
141141
<p>
142142
For example, on Unix run:
143143
</p>
144-
<pre><code>wget https://checkerframework.org/checker-framework-3.51.0.zip
145-
unzip checker-framework-3.51.0.zip</code></pre>
144+
<pre><code>wget https://checkerframework.org/checker-framework-3.51.1.zip
145+
unzip checker-framework-3.51.1.zip</code></pre>
146146
</li>
147147

148148
<li>

‎docs/checker-framework-quick-start.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ <h1>Checker Framework quick start guide</h1>
2222
<p>
2323
To <a href="https://checkerframework.org/manual/#installation">install the Checker Framework</a>, download and unzip
2424
the Checker Framework distribution:
25-
<a href="checker-framework-3.51.0.zip"><!-- checker-framework-zip-version -->checker-framework-3.51.0.zip<!-- /checker-framework-zip-version --></a>.<br/>
25+
<a href="checker-framework-3.51.1.zip"><!-- checker-framework-zip-version -->checker-framework-3.51.1.zip<!-- /checker-framework-zip-version --></a>.<br/>
2626
Or, the
2727
<a href="http://eisop.uwaterloo.ca/live/">Checker Framework Live Demo</a>
2828
webpage lets you try the Checker Framework without installing it.

‎docs/checker-framework-webpage.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -30,8 +30,8 @@ <h1>The Checker Framework</h1>
3030
<a href="manual/#installation"><b>Installation instructions and tutorial</b></a>.
3131
</li>
3232
<li>
33-
Download: <a href="checker-framework-3.51.0.zip"><!-- checker-framework-zip-version -->checker-framework-3.51.0.zip<!-- /checker-framework-zip-version --></a>
34-
(<!-- checker-framework-date -->2025-09-10<!-- /checker-framework-date -->);
33+
Download: <a href="checker-framework-3.51.1.zip"><!-- checker-framework-zip-version -->checker-framework-3.51.1.zip<!-- /checker-framework-zip-version --></a>
34+
(<!-- checker-framework-date -->2025-10-01<!-- /checker-framework-date -->);
3535
includes source, platform-independent binary, tests, and documentation.<br/>
3636
Then, see the <a
3737
href="manual/#installation"><b>installation
@@ -227,7 +227,7 @@ <h3 id="mailing-lists">Mailing lists</h3>
227227
<hr />
228228

229229
<p>
230-
Last updated: <!-- checker-framework-date -->2025-09-10<!-- /checker-framework-date -->
230+
Last updated: <!-- checker-framework-date -->2025-10-01<!-- /checker-framework-date -->
231231
</p>
232232

233233
</body>

‎docs/examples/MavenExample/pom.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@
1515
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
1616
<maven.compiler.source>8</maven.compiler.source>
1717
<maven.compiler.target>8</maven.compiler.target>
18-
<checkerFrameworkVersion><!-- checker-framework-version -->3.51.0<!-- /checker-framework-version --></checkerFrameworkVersion>
18+
<checkerFrameworkVersion><!-- checker-framework-version -->3.51.1<!-- /checker-framework-version --></checkerFrameworkVersion>
1919
</properties>
2020

2121
<dependencies>

‎docs/manual/external-tools.tex‎

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -119,7 +119,7 @@
119119
\begin{Verbatim}
120120
dependencies {
121121
... existing dependencies...
122-
ext.checkerFrameworkVersion = '3.51.0'
122+
ext.checkerFrameworkVersion = '3.51.1'
123123
implementation "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
124124
// or if you use no annotations in source code the above line could be
125125
// compileOnly "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
@@ -192,7 +192,7 @@
192192
\begin{Verbatim}
193193
dependencies {
194194
... existing dependencies...
195-
ext.checkerFrameworkVersion = '3.51.0'
195+
ext.checkerFrameworkVersion = '3.51.1'
196196
implementation "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
197197
// or if you use no annotations in source code the above line could be
198198
// compileOnly "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
@@ -350,13 +350,13 @@
350350
\begin{Verbatim}
351351
prebuilt_jar(
352352
name = 'checker-framework',
353-
binary_jar = 'checker-3.51.0.jar',
353+
binary_jar = 'checker-3.51.1.jar',
354354
visibility = [ 'PUBLIC' ]
355355
)
356356
357357
prebuilt_jar(
358358
name = 'checker-qual',
359-
binary_jar = 'checker-qual-3.51.0.jar',
359+
binary_jar = 'checker-qual-3.51.1.jar',
360360
visibility = [ 'PUBLIC' ]
361361
)
362362
@@ -434,7 +434,7 @@
434434
using the bash shell, a way to do this is to add the following to your
435435
\verb|~/.profile| (or alternately \verb|~/.bash_profile| or \verb|~/.bashrc|) file:
436436
\begin{Verbatim}
437-
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.51.0
437+
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.51.1
438438
export PATH=${CHECKERFRAMEWORK}/checker/bin:${PATH}
439439
\end{Verbatim}
440440

@@ -455,7 +455,7 @@
455455
file:
456456
% No Windows example because this doesn't work under Windows.
457457
\begin{Verbatim}
458-
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.51.0
458+
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.51.1
459459
alias javacheck='$CHECKERFRAMEWORK/checker/bin/javac'
460460
\end{Verbatim}
461461

@@ -477,11 +477,11 @@
477477

478478
\begin{Verbatim}
479479
# Unix
480-
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.51.0
480+
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.51.1
481481
alias javacheck='java -jar "$CHECKERFRAMEWORK/checker/dist/checker.jar"'
482482
483483
# Windows
484-
set CHECKERFRAMEWORK = C:\Program Files\checker-framework-3.51.0\
484+
set CHECKERFRAMEWORK = C:\Program Files\checker-framework-3.51.1\
485485
doskey javacheck=java -jar "%CHECKERFRAMEWORK%\checker\dist\checker.jar" $*
486486
\end{Verbatim}
487487

@@ -560,9 +560,9 @@
560560

561561
\begin{itemize}
562562
\item \<javac.jar>: \url{https://central.sonatype.com/artifact/com.google.errorprone/javac/9%2B181-r4173-1/jar}
563-
\item \<checker-qual.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker-qual/3.51.0/checker-qual-3.51.0.jar}
564-
\item \<checker-util.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker-util/3.51.0/checker-util-3.51.0.jar}
565-
\item \<checker.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker/3.51.0/checker-3.51.0-all.jar}
563+
\item \<checker-qual.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker-qual/3.51.1/checker-qual-3.51.1.jar}
564+
\item \<checker-util.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker-util/3.51.1/checker-util-3.51.1.jar}
565+
\item \<checker.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker/3.51.1/checker-3.51.1-all.jar}
566566
\end{itemize}
567567

568568
Different arguments to \<javac> are required for JDK 8

‎docs/manual/introduction.tex‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -214,7 +214,7 @@
214214
%BEGIN LATEX
215215
\\
216216
%END LATEX
217-
\url{https://checkerframework.org/checker-framework-3.51.0.zip}
217+
\url{https://checkerframework.org/checker-framework-3.51.1.zip}
218218

219219
For example, on Unix you can run: \<wget https://checkerframework.org/checker-framework-\ReleaseVersion{}.zip>
220220

‎docs/manual/manual.tex‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@
44

55
\title{The Checker Framework Manual: \\ Custom pluggable types for Java}
66
\author{\url{https://checkerframework.org}}
7-
\newcommand{\ReleaseVersion}{3.51.0}
8-
\newcommand{\ReleaseDate}{2025-09-10}
7+
\newcommand{\ReleaseVersion}{3.51.1}
8+
\newcommand{\ReleaseDate}{2025-10-01}
99
\date{Version \ReleaseVersion\ (\ReleaseDate)}
1010

1111
\begin{document}

0 commit comments

Comments
 (0)