Annotation File Utilities 3.32.0-eisop1

Version 3.32.0-eisop1 (released March 9, 2023):

• No user-visible changes.

Version 3.32.0 (released March 2, 2023):

• No user-visible changes.

Version 3.31.0 (released February 17, 2023):

• No user-visible changes.

Version 3.30.0 (released February 2, 2023):

• No user-visible changes.

Version 3.29.0 (released January 5, 2023):

• No user-visible changes.

Annotation File Utilities 3.28.0-eisop1

Version 3.28.0-eisop1 (released December 7, 2022):

• No user-visible changes.

Version 3.28.0 (released December 1, 2022):

• No user-visible changes.

Annotation File Utilities 3.27.0-eisop1

Version 3.27.0-eisop1 (released November 6, 2022):

• No user-visible changes.

Version 3.27.0 (released November 1, 2022):

• No user-visible changes.

Annotation File Utilities 3.26.0-eisop1

Version 3.26.0-eisop1 (released October 13, 2022):

• No user-visible changes.

Version 3.26.0 (released October 3, 2022):

• Runs under Java 18.
• Renamed all annotator* packages to org.checkerframework.afu.annotator*, and renamed all scenelib* packages to org.checkerframework.afu.scenelib*.
• Code is now formatted with Spotless; use ./gradlew spotlessCheck or ./gradlew spotlessCheck.

Annotation File Utilities 3.25.0-eisop1

Version 3.25.0-eisop1 (released September 3, 2022):

• No user-visible changes.

Version 3.25.0 (released September 1, 2022):

• No user-visible changes.

Annotation File Utilities 3.24.0-eisop1

Version 3.24.0-eisop1 (released August 5, 2022):

• No user-visible changes.

Version 3.24.0 (released August 3, 2022):

• Performance improvements.

Annotation File Utilities 3.23.0-eisop2

Version 3.23.0-eisop2 (released July 22, 2022):

• No user-visible changes.

Annotation File Utilities 3.23.0-eisop1

Version 3.23.0-eisop1 (released July 14, 2022):

• No user-visible changes.

Annotation File Utilities 3.22.1-eisop1

Version 3.22.1-eisop1 (released June 6, 2022):

• Minor bug fixes and improvements.

Annotation File Utilities 3.22.0-eisop1

Version 3.22.0-eisop1 (released May 6, 2022):

• Minor bug fixes and improvements.