Skip to content

Commit b8905d3

Browse files
wmdietlwmdietl
committed
new release 3.34.0-eisop1
1 parent ddeb198 commit b8905d3

File tree

6 files changed

+22
-22
lines changed

6 files changed

+22
-22
lines changed

‎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.34.0.zip"><!-- checker-framework-zip-version -->checker-framework-3.34.0.zip<!-- /checker-framework-zip-version --></a>
34-
(<!-- checker-framework-date -->2 May 2023<!-- /checker-framework-date -->);
33+
Download: <a href="checker-framework-3.34.0-eisop1.zip"><!-- checker-framework-zip-version -->checker-framework-3.34.0-eisop1.zip<!-- /checker-framework-zip-version --></a>
34+
(<!-- checker-framework-date -->9 May 2023<!-- /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.34.0.zip"><!-- annotation-tools-zip-version -->annotation-tools-3.34.0.zip<!-- /annotation-tools-zip-version --></a> (<!-- afu-date -->02 May 2023<!-- /afu-date -->)
96+
<li><a href="annotation-file-utilities/annotation-tools-3.34.0-eisop1.zip"><!-- annotation-tools-zip-version -->annotation-tools-3.34.0-eisop1.zip<!-- /annotation-tools-zip-version --></a> (<!-- afu-date -->09 May 2023<!-- /afu-date -->)
9797
</li>
9898
<li><a href="https://github.com/eisop/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 -->2 May 2023<!-- /checker-framework-date -->
226+
Last updated: <!-- checker-framework-date -->9 May 2023<!-- /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.32.0-eisop1<!-- /checker-framework-version --></checkerFrameworkVersion>
17+
<checkerFrameworkVersion><!-- checker-framework-version -->3.34.0-eisop1<!-- /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.32.0-eisop1'
121+
ext.checkerFrameworkVersion = '3.34.0-eisop1'
122122
implementation "io.github.eisop:checker-qual-android:${checkerFrameworkVersion}"
123123
// or if you use no annotations in source code the above line could be
124124
// compileOnly "io.github.eisop:checker-qual-android:${checkerFrameworkVersion}"
@@ -191,7 +191,7 @@
191191
\begin{Verbatim}
192192
dependencies {
193193
... existing dependencies...
194-
ext.checkerFrameworkVersion = '3.32.0-eisop1'
194+
ext.checkerFrameworkVersion = '3.34.0-eisop1'
195195
implementation "io.github.eisop:checker-qual-android:${checkerFrameworkVersion}"
196196
// or if you use no annotations in source code the above line could be
197197
// compileOnly "io.github.eisop:checker-qual-android:${checkerFrameworkVersion}"
@@ -341,13 +341,13 @@
341341
\begin{Verbatim}
342342
prebuilt_jar(
343343
name = 'checker-framework',
344-
binary_jar = 'checker-3.34.0.jar',
344+
binary_jar = 'checker-3.34.0-eisop1.jar',
345345
visibility = [ 'PUBLIC' ]
346346
)
347347
348348
prebuilt_jar(
349349
name = 'checker-qual',
350-
binary_jar = 'checker-qual-3.34.0.jar',
350+
binary_jar = 'checker-qual-3.34.0-eisop1.jar',
351351
visibility = [ 'PUBLIC' ]
352352
)
353353
@@ -411,21 +411,21 @@
411411
use the last one.
412412
% Is the last one required for Cygwin, as well as for the Windows command shell?
413413
Adjust the pathnames if you have installed the Checker Framework somewhere
414-
other than \<\${HOME}/checker-framework-3.34.0/>.
414+
other than \<\${HOME}/checker-framework-3.34.0-eisop1/>.
415415

416416

417417
\begin{itemize}
418418
\item
419419
Option 1:
420420
Add directory
421-
\code{.../checker-framework-3.34.0/checker/bin} to your path, \emph{before} any other
421+
\code{.../checker-framework-3.34.0-eisop1/checker/bin} to your path, \emph{before} any other
422422
directory that contains a \<javac> executable.
423423

424424
If you are
425425
using the bash shell, a way to do this is to add the following to your
426426
\verb|~/.profile| (or alternately \verb|~/.bash_profile| or \verb|~/.bashrc|) file:
427427
\begin{Verbatim}
428-
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.34.0
428+
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.34.0-eisop1
429429
export PATH=${CHECKERFRAMEWORK}/checker/bin:${PATH}
430430
\end{Verbatim}
431431

@@ -446,7 +446,7 @@
446446
file:
447447
% No Windows example because this doesn't work under Windows.
448448
\begin{Verbatim}
449-
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.34.0
449+
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.34.0-eisop1
450450
alias javacheck='$CHECKERFRAMEWORK/checker/bin/javac'
451451
\end{Verbatim}
452452

@@ -468,11 +468,11 @@
468468

469469
\begin{Verbatim}
470470
# Unix
471-
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.34.0
471+
export CHECKERFRAMEWORK=${HOME}/checker-framework-3.34.0-eisop1
472472
alias javacheck='java -jar "$CHECKERFRAMEWORK/checker/dist/checker.jar"'
473473
474474
# Windows
475-
set CHECKERFRAMEWORK = C:\Program Files\checker-framework-3.34.0\
475+
set CHECKERFRAMEWORK = C:\Program Files\checker-framework-3.34.0-eisop1\
476476
doskey javacheck=java -jar "%CHECKERFRAMEWORK%\checker\dist\checker.jar" $*
477477
\end{Verbatim}
478478

@@ -551,9 +551,9 @@
551551

552552
\begin{itemize}
553553
\item \<javac.jar>: \url{https://search.maven.org/artifact/com.google.errorprone/javac/9%2B181-r4173-1/jar}
554-
\item \<checker-qual.jar>: \url{https://repo1.maven.org/maven2/io/github/eisop/checker-qual/3.32.0-eisop1/checker-qual-3.32.0-eisop1.jar}
555-
\item \<checker-util.jar>: \url{https://repo1.maven.org/maven2/io/github/eisop/checker-util/3.32.0-eisop1/checker-util-3.32.0-eisop1.jar}
556-
\item \<checker.jar>: \url{https://repo1.maven.org/maven2/io/github/eisop/checker/3.32.0-eisop1/checker-3.32.0-eisop1-all.jar}
554+
\item \<checker-qual.jar>: \url{https://repo1.maven.org/maven2/io/github/eisop/checker-qual/3.34.0-eisop1/checker-qual-3.34.0-eisop1.jar}
555+
\item \<checker-util.jar>: \url{https://repo1.maven.org/maven2/io/github/eisop/checker-util/3.34.0-eisop1/checker-util-3.34.0-eisop1.jar}
556+
\item \<checker.jar>: \url{https://repo1.maven.org/maven2/io/github/eisop/checker/3.34.0-eisop1/checker-3.34.0-eisop1-all.jar}
557557
\end{itemize}
558558

559559
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
@@ -205,7 +205,7 @@
205205
%BEGIN LATEX
206206
\\
207207
%END LATEX
208-
\url{https://eisop.github.io/cf/checker-framework-3.32.0.zip}
208+
\url{https://eisop.github.io/cf/checker-framework-3.34.0-eisop1.zip}
209209

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

‎docs/manual/manual.bbl

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -657,7 +657,7 @@ Mohsen Vakilian, Amarin Phaosawasdi, Michael~D. Ernst, and Ralph~E. Johnson.
657657
Di~Wang.
658658
\newblock Interval type inference: Improvements and evaluations.
659659
\newblock Master's thesis, University of Waterloo Department of Electrical and
660-
Computer Engineering, Waterloo, Ontario, Canada, 2021.
660+
Computer Engineering, Waterloo, Ontario, Canada, December 2021.
661661

662662
\bibitem[WKSE14]{WeitzKSE2014}
663663
Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, and Michael~D. Ernst.

‎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://eisop.github.io/}}
7-
\newcommand{\ReleaseVersion}{3.34.0}
8-
\newcommand{\ReleaseInfo}{3.34.0 (2 May 2023)}
7+
\newcommand{\ReleaseVersion}{3.34.0-eisop1}
8+
\newcommand{\ReleaseInfo}{3.34.0-eisop1 (9 May 2023)}
99
\date{Version \ReleaseInfo{}}
1010

1111
\begin{document}

0 commit comments

Comments
 (0)