Skip to content

Commit 1f2d31c

Browse files
smillstsmillst
committed
new release 3.21.3
1 parent f945c92 commit 1f2d31c

6 files changed

Lines changed: 23 additions & 23 deletions

File tree

‎docs/checker-framework-webpage.html‎

Lines changed: 4 additions & 4 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.21.2.zip"><!-- checker-framework-zip-version -->checker-framework-3.21.2.zip<!-- /checker-framework-zip-version --></a>
34-
(<!-- checker-framework-date -->1 Feb 2022<!-- /checker-framework-date -->);
33+
Download: <a href="checker-framework-3.21.3.zip"><!-- checker-framework-zip-version -->checker-framework-3.21.3.zip<!-- /checker-framework-zip-version --></a>
34+
(<!-- checker-framework-date -->1 Mar 2022<!-- /checker-framework-date -->);
3535
includes source, platform-independent binary, tests, and documentation.<br/>
3636
Then, see the <a
3737
href="manual/#installation"><b>installation
@@ -93,7 +93,7 @@ <h1>The Checker Framework</h1>
9393
the <code>.class</code> file. The tools support both Java 5
9494
declaration annotations and Java 8 type annotations.
9595
<ul>
96-
<li><a href="annotation-file-utilities/annotation-tools-3.21.2.zip"><!-- annotation-tools-zip-version -->annotation-tools-3.21.2.zip<!-- /annotation-tools-zip-version --></a> (<!-- afu-date -->01 Feb 2022<!-- /afu-date -->)
96+
<li><a href="annotation-file-utilities/annotation-tools-3.21.3.zip"><!-- annotation-tools-zip-version -->annotation-tools-3.21.3.zip<!-- /annotation-tools-zip-version --></a> (<!-- afu-date -->01 Mar 2022<!-- /afu-date -->)
9797
</li>
9898
<li><a href="https://github.com/typetools/annotation-tools/">source code repository</a>
9999
</li>
@@ -223,7 +223,7 @@ <h3 id="mailing-lists">Mailing lists</h3>
223223
<hr />
224224

225225
<p>
226-
Last updated: <!-- checker-framework-date -->1 Feb 2022<!-- /checker-framework-date -->
226+
Last updated: <!-- checker-framework-date -->1 Mar 2022<!-- /checker-framework-date -->
227227
</p>
228228

229229
</body>

‎docs/examples/MavenExample/pom.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@
1414
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
1515
<!-- These properties will be set by the Maven Dependency plugin -->
1616
<errorProneJavac>${com.google.errorprone:javac:jar}</errorProneJavac>
17-
<checkerFrameworkVersion><!-- checker-framework-version -->3.21.2<!-- /checker-framework-version --></checkerFrameworkVersion>
17+
<checkerFrameworkVersion><!-- checker-framework-version -->3.21.3<!-- /checker-framework-version --></checkerFrameworkVersion>
1818
</properties>
1919

2020
<dependencies>

‎docs/manual/external-tools.tex‎

Lines changed: 13 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -118,7 +118,7 @@
118118
\begin{Verbatim}
119119
dependencies {
120120
... existing dependencies...
121-
ext.checkerFrameworkVersion = '3.21.2'
121+
ext.checkerFrameworkVersion = '3.21.3'
122122
implementation "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
123123
// or if you use no annotations in source code the above line could be
124124
// compileOnly "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
@@ -191,7 +191,7 @@
191191
\begin{Verbatim}
192192
dependencies {
193193
... existing dependencies...
194-
ext.checkerFrameworkVersion = '3.21.2'
194+
ext.checkerFrameworkVersion = '3.21.3'
195195
implementation "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
196196
// or if you use no annotations in source code the above line could be
197197
// compileOnly "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
@@ -344,13 +344,13 @@
344344
\begin{Verbatim}
345345
prebuilt_jar(
346346
name = 'checker-framework',
347-
binary_jar = 'checker-3.21.2.jar',
347+
binary_jar = 'checker-3.21.3.jar',
348348
visibility = [ 'PUBLIC' ]
349349
)
350350
351351
prebuilt_jar(
352352
name = 'checker-qual',
353-
binary_jar = 'checker-qual-3.21.2.jar',
353+
binary_jar = 'checker-qual-3.21.3.jar',
354354
visibility = [ 'PUBLIC' ]
355355
)
356356
@@ -385,21 +385,21 @@
385385
use the last one.
386386
% Is the last one required for Cygwin, as well as for the Windows command shell?
387387
Adjust the pathnames if you have installed the Checker Framework somewhere
388-
other than \<\${HOME}/checker-framework-3.21.2/>.
388+
other than \<\${HOME}/checker-framework-3.21.3/>.
389389

390390

391391
\begin{itemize}
392392
\item
393393
Option 1:
394394
Add directory
395-
\code{.../checker-framework-3.21.2/checker/bin} to your path, \emph{before} any other
395+
\code{.../checker-framework-3.21.3/checker/bin} to your path, \emph{before} any other
396396
directory that contains a \<javac> executable.
397397

398398
If you are
399399
using the bash shell, a way to do this is to add the following to your
400400
\verb|~/.profile| (or alternately \verb|~/.bash_profile| or \verb|~/.bashrc|) file:
401401
\begin{Verbatim}
402-
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.21.2
402+
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.21.3
403403
export PATH=${CHECKERFRAMEWORK}/checker/bin:${PATH}
404404
\end{Verbatim}
405405

@@ -420,7 +420,7 @@
420420
file:
421421
% No Windows example because this doesn't work under Windows.
422422
\begin{Verbatim}
423-
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.21.2
423+
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.21.3
424424
alias javacheck='$CHECKERFRAMEWORK/checker/bin/javac'
425425
\end{Verbatim}
426426

@@ -442,11 +442,11 @@
442442

443443
\begin{Verbatim}
444444
# Unix
445-
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.21.2
445+
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.21.3
446446
alias javacheck='java -jar "$CHECKERFRAMEWORK/checker/dist/checker.jar"'
447447
448448
# Windows
449-
set CHECKERFRAMEWORK = C:\Program Files\checker-framework-3.21.2\
449+
set CHECKERFRAMEWORK = C:\Program Files\checker-framework-3.21.3\
450450
doskey javacheck=java -jar "%CHECKERFRAMEWORK%\checker\dist\checker.jar" $*
451451
\end{Verbatim}
452452

@@ -525,9 +525,9 @@
525525

526526
\begin{itemize}
527527
\item \<javac.jar>: \url{https://search.maven.org/artifact/com.google.errorprone/javac/9%2B181-r4173-1/jar}
528-
\item \<checker-qual.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker-qual/3.21.2/checker-qual-3.21.2.jar}
529-
\item \<checker-util.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker-util/3.21.2/checker-util-3.21.2.jar}
530-
\item \<checker.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker/3.21.2/checker-3.21.2-all.jar}
528+
\item \<checker-qual.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker-qual/3.21.3/checker-qual-3.21.3.jar}
529+
\item \<checker-util.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker-util/3.21.3/checker-util-3.21.3.jar}
530+
\item \<checker.jar>: \url{https://repo1.maven.org/maven2/org/checkerframework/checker/3.21.3/checker-3.21.3-all.jar}
531531
\end{itemize}
532532

533533
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
@@ -212,7 +212,7 @@
212212
%BEGIN LATEX
213213
\\
214214
%END LATEX
215-
\url{https://checkerframework.org/checker-framework-3.21.2.zip}
215+
\url{https://checkerframework.org/checker-framework-3.21.3.zip}
216216

217217
\item
218218
Unzip it to create a \code{checker-framework-\ReleaseVersion{}} directory.

‎docs/manual/manual.bbl‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -282,8 +282,8 @@ Martin Kellogg, Narges Shadab, Manu Sridharan, and Michael~D. Ernst.
282282
Martin Kellogg, Martin Sch{\"a}f, Serdar Tasiran, and Michael~D. Ernst.
283283
\newblock Continuous compliance.
284284
\newblock In {\em ASE 2020: Proceedings of the 35th Annual International
285-
Conference on Automated Software Engineering}, Melbourne, Australia,
286-
September 2020.
285+
Conference on Automated Software Engineering}, pages 511--523, Melbourne,
286+
Australia, September 2020.
287287

288288
\bibitem[LBR06]{LeavensBR2006:JML}
289289
Gary~T. Leavens, Albert~L. Baker, and Clyde Ruby.

‎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.21.2}
8-
\newcommand{\ReleaseInfo}{3.21.2 (1 Feb 2022)}
7+
\newcommand{\ReleaseVersion}{3.21.3}
8+
\newcommand{\ReleaseInfo}{3.21.3 (1 Mar 2022)}
99
\date{Version \ReleaseInfo{}}
1010

1111
\begin{document}

0 commit comments

Comments
 (0)