From 204e9172bbf7d21458a334a49c10d36bfdae90b2 Mon Sep 17 00:00:00 2001 From: Werner Dietl Date: Fri, 1 Mar 2024 18:37:00 -0500 Subject: [PATCH] new release 3.42.0-eisop3 --- docs/checker-framework-webpage.html | 8 ++++---- docs/examples/MavenExample/pom.xml | 2 +- docs/manual/external-tools.tex | 26 +++++++++++++------------- docs/manual/introduction.tex | 2 +- docs/manual/manual.tex | 4 ++-- 5 files changed, 21 insertions(+), 21 deletions(-) diff --git a/docs/checker-framework-webpage.html b/docs/checker-framework-webpage.html index a4c73e24d43..53e4b20bd0e 100644 --- a/docs/checker-framework-webpage.html +++ b/docs/checker-framework-webpage.html @@ -30,8 +30,8 @@

The Checker Framework

Installation instructions and tutorial.
  • - Download: checker-framework-3.42.0-eisop2.zip - (9 Jan 2024); + Download: checker-framework-3.42.0-eisop3.zip + (1 Mar 2024); includes source, platform-independent binary, tests, and documentation.
    Then, see the installation @@ -93,7 +93,7 @@

    The Checker Framework

    the .class file. The tools support both Java 5 declaration annotations and Java 8 type annotations.
      -
    • annotation-tools-3.42.0-eisop2.zip (09 Jan 2024) +
    • annotation-tools-3.42.0-eisop3.zip (01 Mar 2024)
    • source code repository
      • @@ -229,7 +229,7 @@

      Mailing lists

      -Last updated: 9 Jan 2024 +Last updated: 1 Mar 2024

      diff --git a/docs/examples/MavenExample/pom.xml b/docs/examples/MavenExample/pom.xml index 71de80499fd..085b334e7c5 100644 --- a/docs/examples/MavenExample/pom.xml +++ b/docs/examples/MavenExample/pom.xml @@ -14,7 +14,7 @@ UTF-8 8 8 - 3.42.0-eisop2 + 3.42.0-eisop3 diff --git a/docs/manual/external-tools.tex b/docs/manual/external-tools.tex index e250233ed54..3f12a18ea10 100644 --- a/docs/manual/external-tools.tex +++ b/docs/manual/external-tools.tex @@ -119,7 +119,7 @@ \begin{Verbatim} dependencies { ... existing dependencies... - ext.checkerFrameworkVersion = '3.42.0-eisop2' + ext.checkerFrameworkVersion = '3.42.0-eisop3' implementation "io.github.eisop:checker-qual-android:${checkerFrameworkVersion}" // or if you use no annotations in source code the above line could be // compileOnly "io.github.eisop:checker-qual-android:${checkerFrameworkVersion}" @@ -192,7 +192,7 @@ \begin{Verbatim} dependencies { ... existing dependencies... - ext.checkerFrameworkVersion = '3.42.0-eisop2' + ext.checkerFrameworkVersion = '3.42.0-eisop3' implementation "io.github.eisop:checker-qual-android:${checkerFrameworkVersion}" // or if you use no annotations in source code the above line could be // compileOnly "io.github.eisop:checker-qual-android:${checkerFrameworkVersion}" @@ -350,13 +350,13 @@ \begin{Verbatim} prebuilt_jar( name = 'checker-framework', - binary_jar = 'checker-3.42.0-eisop2.jar', + binary_jar = 'checker-3.42.0-eisop3.jar', visibility = [ 'PUBLIC' ] ) prebuilt_jar( name = 'checker-qual', - binary_jar = 'checker-qual-3.42.0-eisop2.jar', + binary_jar = 'checker-qual-3.42.0-eisop3.jar', visibility = [ 'PUBLIC' ] ) @@ -420,21 +420,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.42.0-eisop2/>. +other than \<\${HOME}/checker-framework-3.42.0-eisop3/>. \begin{itemize} \item Option 1: Add directory - \code{.../checker-framework-3.42.0-eisop2/checker/bin} to your path, \emph{before} any other + \code{.../checker-framework-3.42.0-eisop3/checker/bin} to your path, \emph{before} any other directory that contains a \ 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.42.0-eisop2 + export CHECKERFRAMEWORK=${HOME}/checker-framework-3.42.0-eisop3 export PATH=${CHECKERFRAMEWORK}/checker/bin:${PATH} \end{Verbatim} @@ -455,7 +455,7 @@ file: % No Windows example because this doesn't work under Windows. \begin{Verbatim} - export CHECKERFRAMEWORK=${HOME}/checker-framework-3.42.0-eisop2 + export CHECKERFRAMEWORK=${HOME}/checker-framework-3.42.0-eisop3 alias javacheck='$CHECKERFRAMEWORK/checker/bin/javac' \end{Verbatim} @@ -477,11 +477,11 @@ \begin{Verbatim} # Unix - export CHECKERFRAMEWORK=${HOME}/checker-framework-3.42.0-eisop2 + export CHECKERFRAMEWORK=${HOME}/checker-framework-3.42.0-eisop3 alias javacheck='java -jar "$CHECKERFRAMEWORK/checker/dist/checker.jar"' # Windows - set CHECKERFRAMEWORK = C:\Program Files\checker-framework-3.42.0-eisop2\ + set CHECKERFRAMEWORK = C:\Program Files\checker-framework-3.42.0-eisop3\ doskey javacheck=java -jar "%CHECKERFRAMEWORK%\checker\dist\checker.jar" $* \end{Verbatim} @@ -560,9 +560,9 @@ \begin{itemize} \item \: \url{https://search.maven.org/artifact/com.google.errorprone/javac/9%2B181-r4173-1/jar} -\item \: \url{https://repo1.maven.org/maven2/io/github/eisop/checker-qual/3.42.0-eisop2/checker-qual-3.42.0-eisop2.jar} -\item \: \url{https://repo1.maven.org/maven2/io/github/eisop/checker-util/3.42.0-eisop2/checker-util-3.42.0-eisop2.jar} -\item \: \url{https://repo1.maven.org/maven2/io/github/eisop/checker/3.42.0-eisop2/checker-3.42.0-eisop2-all.jar} +\item \: \url{https://repo1.maven.org/maven2/io/github/eisop/checker-qual/3.42.0-eisop3/checker-qual-3.42.0-eisop3.jar} +\item \: \url{https://repo1.maven.org/maven2/io/github/eisop/checker-util/3.42.0-eisop3/checker-util-3.42.0-eisop3.jar} +\item \: \url{https://repo1.maven.org/maven2/io/github/eisop/checker/3.42.0-eisop3/checker-3.42.0-eisop3-all.jar} \end{itemize} Different arguments to \ are required for JDK 8 diff --git a/docs/manual/introduction.tex b/docs/manual/introduction.tex index 405dcc817e7..e47113b445b 100644 --- a/docs/manual/introduction.tex +++ b/docs/manual/introduction.tex @@ -205,7 +205,7 @@ %BEGIN LATEX \\ %END LATEX - \url{https://eisop.github.io/cf/checker-framework-3.42.0-eisop2.zip} + \url{https://eisop.github.io/cf/checker-framework-3.42.0-eisop3.zip} \item Unzip it to create a \code{checker-framework-\ReleaseVersion{}} directory. diff --git a/docs/manual/manual.tex b/docs/manual/manual.tex index bcb88da7d10..fa935863e49 100644 --- a/docs/manual/manual.tex +++ b/docs/manual/manual.tex @@ -4,8 +4,8 @@ \title{The Checker Framework Manual: \\ Custom pluggable types for Java} \author{\url{https://eisop.github.io/}} -\newcommand{\ReleaseVersion}{3.42.0-eisop2} -\newcommand{\ReleaseInfo}{3.42.0-eisop2 (9 Jan 2024)} +\newcommand{\ReleaseVersion}{3.42.0-eisop3} +\newcommand{\ReleaseInfo}{3.42.0-eisop3 (1 Mar 2024)} \date{Version \ReleaseInfo{}} \begin{document}