Skip to content

Commit

Permalink
new release 3.21.3
Browse files Browse the repository at this point in the history
  • Loading branch information
@smillst
smillst committed Mar 1, 2022
1 parent f945c92 commit 1f2d31c
Show file tree
Hide file tree
Showing 6 changed files with 23 additions and 23 deletions.
8 changes: 4 additions & 4 deletions docs/checker-framework-webpage.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,8 +30,8 @@ <h1>The Checker Framework</h1>
<a href="manual/#installation"><b>Installation instructions and tutorial</b></a>.
</li>
<li>
Download: <a href="checker-framework-3.21.2.zip"><!-- checker-framework-zip-version -->checker-framework-3.21.2.zip<!-- /checker-framework-zip-version --></a>
(<!-- checker-framework-date -->1 Feb 2022<!-- /checker-framework-date -->);
Download: <a href="checker-framework-3.21.3.zip"><!-- checker-framework-zip-version -->checker-framework-3.21.3.zip<!-- /checker-framework-zip-version --></a>
(<!-- checker-framework-date -->1 Mar 2022<!-- /checker-framework-date -->);
includes source, platform-independent binary, tests, and documentation.<br/>
Then, see the <a
href="manual/#installation"><b>installation
Expand Down Expand Up @@ -93,7 +93,7 @@ <h1>The Checker Framework</h1>
the <code>.class</code> file. The tools support both Java 5
declaration annotations and Java 8 type annotations.
<ul>
<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 -->)
<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 -->)
</li>
<li><a href="https://github.com/typetools/annotation-tools/">source code repository</a>
</li>
Expand Down Expand Up @@ -223,7 +223,7 @@ <h3 id="mailing-lists">Mailing lists</h3>
<hr />

<p>
Last updated: <!-- checker-framework-date -->1 Feb 2022<!-- /checker-framework-date -->
Last updated: <!-- checker-framework-date -->1 Mar 2022<!-- /checker-framework-date -->
</p>

</body>
Expand Down
2 changes: 1 addition & 1 deletion docs/examples/MavenExample/pom.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
<!-- These properties will be set by the Maven Dependency plugin -->
<errorProneJavac>${com.google.errorprone:javac:jar}</errorProneJavac>
<checkerFrameworkVersion><!-- checker-framework-version -->3.21.2<!-- /checker-framework-version --></checkerFrameworkVersion>
<checkerFrameworkVersion><!-- checker-framework-version -->3.21.3<!-- /checker-framework-version --></checkerFrameworkVersion>
</properties>

<dependencies>
Expand Down
26 changes: 13 additions & 13 deletions docs/manual/external-tools.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -118,7 +118,7 @@
\begin{Verbatim}
dependencies {
... existing dependencies...
ext.checkerFrameworkVersion = '3.21.2'
ext.checkerFrameworkVersion = '3.21.3'
implementation "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
// or if you use no annotations in source code the above line could be
// compileOnly "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
Expand Down Expand Up @@ -191,7 +191,7 @@
\begin{Verbatim}
dependencies {
... existing dependencies...
ext.checkerFrameworkVersion = '3.21.2'
ext.checkerFrameworkVersion = '3.21.3'
implementation "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
// or if you use no annotations in source code the above line could be
// compileOnly "org.checkerframework:checker-qual-android:${checkerFrameworkVersion}"
Expand Down Expand Up @@ -344,13 +344,13 @@
\begin{Verbatim}
prebuilt_jar(
name = 'checker-framework',
binary_jar = 'checker-3.21.2.jar',
binary_jar = 'checker-3.21.3.jar',
visibility = [ 'PUBLIC' ]
)
prebuilt_jar(
name = 'checker-qual',
binary_jar = 'checker-qual-3.21.2.jar',
binary_jar = 'checker-qual-3.21.3.jar',
visibility = [ 'PUBLIC' ]
)
Expand Down Expand Up @@ -385,21 +385,21 @@
use the last one.
% Is the last one required for Cygwin, as well as for the Windows command shell?
Adjust the pathnames if you have installed the Checker Framework somewhere
other than \<\${HOME}/checker-framework-3.21.2/>.
other than \<\${HOME}/checker-framework-3.21.3/>.


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

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

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

Expand All @@ -442,11 +442,11 @@

\begin{Verbatim}
# Unix
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.21.2
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.21.3
alias javacheck='java -jar "$CHECKERFRAMEWORK/checker/dist/checker.jar"'
# Windows
set CHECKERFRAMEWORK = C:\Program Files\checker-framework-3.21.2\
set CHECKERFRAMEWORK = C:\Program Files\checker-framework-3.21.3\
doskey javacheck=java -jar "%CHECKERFRAMEWORK%\checker\dist\checker.jar" $*
\end{Verbatim}

Expand Down Expand Up @@ -525,9 +525,9 @@

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

Different arguments to \<javac> are required for JDK 8
Expand Down
2 changes: 1 addition & 1 deletion docs/manual/introduction.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -212,7 +212,7 @@
%BEGIN LATEX
\\
%END LATEX
\url{https://checkerframework.org/checker-framework-3.21.2.zip}
\url{https://checkerframework.org/checker-framework-3.21.3.zip}

\item
Unzip it to create a \code{checker-framework-\ReleaseVersion{}} directory.
Expand Down
4 changes: 2 additions & 2 deletions docs/manual/manual.bbl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -282,8 +282,8 @@ Martin Kellogg, Narges Shadab, Manu Sridharan, and Michael~D. Ernst.
Martin Kellogg, Martin Sch{\"a}f, Serdar Tasiran, and Michael~D. Ernst.
\newblock Continuous compliance.
\newblock In {\em ASE 2020: Proceedings of the 35th Annual International
Conference on Automated Software Engineering}, Melbourne, Australia,
September 2020.
Conference on Automated Software Engineering}, pages 511--523, Melbourne,
Australia, September 2020.

\bibitem[LBR06]{LeavensBR2006:JML}
Gary~T. Leavens, Albert~L. Baker, and Clyde Ruby.
Expand Down
4 changes: 2 additions & 2 deletions docs/manual/manual.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,8 @@

\title{The Checker Framework Manual: \\ Custom pluggable types for Java}
\author{\url{https://checkerframework.org/}}
\newcommand{\ReleaseVersion}{3.21.2}
\newcommand{\ReleaseInfo}{3.21.2 (1 Feb 2022)}
\newcommand{\ReleaseVersion}{3.21.3}
\newcommand{\ReleaseInfo}{3.21.3 (1 Mar 2022)}
\date{Version \ReleaseInfo{}}

\begin{document}
Expand Down

0 comments on commit 1f2d31c

Please sign in to comment.