Release v11.1.1-beta-5

Changelog

🐛 Fixes

• 3c8febb fix: Fix running of spoon-visualization (#5963)

🛠 Build

• 6dc873c build(deps): update actions/setup-java action to v4.3.0 (#5973)
• a67fe13 build(deps): update actions/setup-java digest to 2dfa201 (#5972)
• 00d3503 build(deps): update dependency gradle to v8.10.1 (#5971)
• 59193ef build(deps): lock file maintenance (#5970)

---

• d318536 release: Releasing version 11.1.1-beta-5
• 5bff43f release: Reverting to SNAPSHOT version 11.1.1-SNAPSHOT

Contributors

We'd like to thank the following people for their contributions:

• I-Al-Istannen (@I-Al-Istannen)

Release v11.1.1-beta-4

Changelog

🛠 Build

• 2b7526b build(deps): update dependency ch.qos.logback:logback-classic to v1.5.8 (#5969)
• d0544ee build(deps): update actions/upload-artifact digest to 5076954 (#5967)
• 9f1025d build(deps): update actions/upload-artifact action to v4.4.0 (#5964)
• ff380bf build(deps): update github/codeql-action action to v3.26.6 (#5959)
• b8673f5 build(deps): lock file maintenance (#5966)
• d1e2466 build(deps): update github/codeql-action digest to 4dd1613 (#5958)
• bf0edf7 build(deps): update dependency org.apache.commons:commons-lang3 to v3.17.0 (#5960)
• 60c0c55 build(deps): lock file maintenance (#5965)

---

• e395474 release: Releasing version 11.1.1-beta-4
• c572dbd release: Reverting to SNAPSHOT version 11.1.1-SNAPSHOT

Release v11.1.1-beta-3

Changelog

🐛 Fixes

• d6cdabb fix: make CtRecordComponent#toMethod return a proper model (#5801)
• 0bcc1a5 fix: correct spelling of shouldBeConsumed in API, doc and tests (#5934) (#5943)

🧰 Tasks

• 2719e53 chore: Always use 'chore(deps)' prefix for renovate commits (#5953)
• 07721a4 chore(deps): update mockito monorepo to v5.13.0 (#5956)
• 72666e6 chore(deps): update dependency org.apache.maven.plugins:maven-surefire-plugin to v3.5.0 (#5955)
• 1a1a355 chore(deps): update dependency org.apache.maven.plugins:maven-javadoc-plugin to v3.10.0 (#5954)
• 3557334 chore(deps): lock file maintenance (#5951)

---

• 72ac388 release: Releasing version 11.1.1-beta-3
• 2afcece release: Reverting to SNAPSHOT version 11.1.1-SNAPSHOT

Contributors

We'd like to thank the following people for their contributions:

• I-Al-Istannen (@I-Al-Istannen)
• Lucas (@Luro02)
• Martin Monperrus (@monperrus)
• Philip (@PinkMoustacheMan)

Release v11.1.1-beta-2

Changelog

🐛 Fixes

• 2fc9bd1 fix(deps): update dependency org.apache.commons:commons-compress to v1.27.1 (#5941)
• bda6f0b fix(deps): update jfx.version to v24 (major) (#5942)
• 934b941 fix(deps): update jfx.version to v23 (major) (#5654)

🧰 Tasks

• 3178055 chore(deps): update github/codeql-action action to v3.26.5 (#5950)
• 278c7ad chore(deps): update github/codeql-action digest to 2c779ab (#5949)
• fa11a5d chore(deps): update dependency org.apache.maven.plugins:maven-dependency-plugin to v3.8.0 (#5946)
• 1a5ce7b chore(deps): update github/codeql-action action to v3.26.4 (#5945)
• 04f126b chore(deps): update github/codeql-action digest to f0f3afe (#5944)
• 3cf7de8 chore(deps): update github/codeql-action action to v3.26.3 (#5940)
• 169b12e chore(deps): update dependency org.apache.maven.plugins:maven-install-plugin to v3.1.3 (#5939)
• e20b924 chore(deps): update dependency org.apache.maven.plugins:maven-deploy-plugin to v3.1.3 (#5938)
• 29ba244 chore(deps): update github/codeql-action digest to 883d858 (#5937)
• f2a5414 chore(deps): lock file maintenance (#5936)
• c242ea2 chore(deps): update dependency com.google.guava:guava to v33.3.0-jre (#5932)
• 8d989af chore(deps): update dependency org.apache.maven.plugins:maven-surefire-plugin to v3.4.0 (#5935)

---

• d711351 release: Releasing version 11.1.1-beta-2
• 4c6bd75 release: Reverting to SNAPSHOT version 11.1.1-SNAPSHOT

Release v11.1.1-beta-1

Changelog

🐛 Fixes

• 0ea5228 fix: NPE in no classpath (#5764)
• 5d4560b fix(deps): update dependency commons-cli:commons-cli to v1.9.0 (#5930)
• 3ac1e39 fix(deps): update dependency fr.inria.gforge.spoon:spoon-core to v11.1.0 (#5921)

🧰 Tasks

• 15c8bb3 chore(deps): update dependency ch.qos.logback:logback-classic to v1.5.7 (#5931)
• c25302e chore: refresh the Jenkins CI scripts (#5910)
• 61dd440 chore(deps): update github/codeql-action action to v3.26.2 (#5929)
• c7a0891 chore(deps): update github/codeql-action digest to 429e197 (#5928)
• 9a68556 chore(deps): update dependency gradle to v8.10 (#5927)
• d44b935 chore(deps): update junit5 monorepo (#5926)
• 884c55e chore(deps): update github/codeql-action action to v3.26.1 (#5925)
• 0c0d21c chore(deps): update github/codeql-action digest to 29d86d2 (#5924)
• 8d1fbf6 chore(deps): update dependency org.codehaus.mojo:exec-maven-plugin to v3.4.1 (#5923)
• e3124c5 chore(deps): update dependency org.apache.maven.plugins:maven-gpg-plugin to v3.2.5 (#5922)

---

• 3a38752 release: Releasing version 11.1.1-beta-1
• a63f45f release: Setting SNAPSHOT version 11.1.1-SNAPSHOT

Contributors

We'd like to thank the following people for their contributions:

• Martin Monperrus (@monperrus)
• c00593292 ()
• sretake (@sretake)

Release v11.1.0

Changelog

• 309d849 release: Releasing version 11.1.0
• 933dbbc release: Reverting to SNAPSHOT version 11.0.1-SNAPSHOT

Release v11.0.1-beta-18

Changelog

🐛 Fixes

• 44e3b21 fix: fix modeling bug (#5912)
• d960701 fix(deps): update dependency org.apache.commons:commons-compress to v1.27.0 (#5920)
• fbf1aeb fix(deps): update dependency org.apache.commons:commons-lang3 to v3.16.0 (#5919)

🧰 Tasks

• 39f3c0a chore(deps): update github/codeql-action action to v3.26.0 (#5916)
• 1d5b4b8 chore(deps): update dependency org.codehaus.mojo:exec-maven-plugin to v3.4.0 (#5917)
• d8f91c6 chore(deps): update actions/upload-artifact action to v4.3.6 (#5914)
• 91e3896 chore(deps): update github/codeql-action digest to eb055d7 (#5915)
• 7bd1c8d chore(deps): update actions/upload-artifact digest to 834a144 (#5913)
• d694261 chore(deps): update step-security/harden-runner action to v2.9.1 (#5911)
• 8627f07 chore(deps): update actions/setup-java action to v4.2.2 (#5908)
• ee0968b chore(deps): update actions/setup-java digest to 6a0805f (#5909)
• bd26855 chore(deps): update dependency org.hamcrest:hamcrest to v3 (#5904)
• d8dccfb chore: mark beta releases as pre-release (#5907)

---

• 795dad9 release: Releasing version 11.0.1-beta-18
• 43c614c release: Reverting to SNAPSHOT version 11.0.1-SNAPSHOT

Contributors

We'd like to thank the following people for their contributions:

• Aman Sharma ()
• Martin Monperrus (@monperrus)

Release v11.0.1-beta-17

Changelog

🚀 Features

• 9e8bb35 feat: Add newline at EOF and refactor type calculation (#5747)

🐛 Fixes

• eb34399 fix: Make CtFieldRead inherit from CtResource (#5860)
• febed3c fix(deps): update dependency org.jspecify:jspecify to v1 (#5888)
• 2e4767b fix(deps): update dependency org.apache.commons:commons-lang3 to v3.15.0 (#5889)
• 13c7ea7 fix(deps): update dependency com.fasterxml.jackson.core:jackson-databind to v2.17.2 (#5879)
• b511afd fix: Inherit formal javadoc type parameters (#5869)
• 98d1c16 fix: Extend support for member references without a leading # and java modules (#5867)
• c7b41ca fix: Trim apostrophes from JDT synthetic factory methods (#5844)
• 86d735f fix(deps): update dependency org.eclipse.jdt:org.eclipse.jdt.core to v3.38.0 (#5846)
• 3ca86b5 fix(deps): update dependency org.apache.commons:commons-compress to v1.26.2 (#5824)
• 3cb4a79 fix(deps): update dependency commons-cli:commons-cli to v1.8.0 (#5823)
• d4a90ee fix(deps): update dependency org.apache.maven.shared:maven-invoker to v3.3.0 (#5809)
• 588a206 fix(deps): update dependency com.fasterxml.jackson.core:jackson-databind to v2.17.1 (#5793)
• 2c30f68 fix(control-flow): Process constructor call in control flow graph (#5738)
• 3d030ac fix(deps): update dependency commons-cli:commons-cli to v1.7.0 (#5771)
• 937baa2 fix(deps): update dependency tools.aqua:z3-turnkey to v4.13.0 (#5767)
• 95fcd5b fix(deps): update dependency fr.inria.gforge.spoon:spoon-core to v11 (#5737)
• 0a6a083 fix: skip synthetic break from JDT (#5746)
• b2315b5 fix(deps): update dependency commons-io:commons-io to v2.16.1 (#5755)
• dc50171 fix(control-flow): Proper generation of CFG for constructor (#5739)

🔄️ Changes

• 2a07930 refactor(SpoonPom): Replace deprecated methods (#5813)
• b80aed1 refactor: Minimize unrelated diff with CtGenerationTest (#5744)

🧰 Tasks

• 48e7c9e chore(deps): update actions/upload-artifact action to v4.3.5 (#5906)
• 361a2d5 chore(deps): update actions/upload-artifact digest to 89ef406 (#5905)
• 3bddf4d chore(deps): update determinatesystems/nix-installer-action action to v13 (#5895)
• fa74466 chore: Associate a commit with beta releases (#5530)
• ede89c4 chore(deps): update dependency org.tukaani:xz to v1.10 (#5902)
• 958006c chore(deps): lock file maintenance (#5901)
• f03026a chore(deps): update ossf/scorecard-action action to v2.4.0 (#5900)
• 95d1855 chore(deps): update github/codeql-action action to v3.25.15 (#5899)
• 3df799a chore(deps): update github/codeql-action digest to afb54ba (#5898)
• 995e40f chore(deps): lock file maintenance (#5894)
• b0456aa chore(deps): update github/codeql-action action to v3.25.14 (#5897)
• 4e968d6 chore(deps): update github/codeql-action digest to 5cf07d8 (#5896)
• c19b6a7 chore(deps): update dependency org.apache.maven.plugins:maven-javadoc-plugin to v3.8.0 (#5893)
• 55101f5 chore(deps): update github/codeql-action action to v3.25.13 (#5892)
• 51abb12 chore(deps): update github/codeql-action digest to 2d79040 (#5891)
• ac7162c chore(deps): update step-security/harden-runner action to v2.9.0 (#5890)
• b5b0a91 chore: Remove slarse as integrator (#5863)
• 4ef9f1f chore(deps): lock file maintenance (#5887)
• dd4cb6e chore(deps): update dependency org.apache.maven.plugins:maven-release-plugin to v3.1.1 (#5886)
• d0dd9ee chore(deps): update dependency org.apache.maven.plugins:maven-project-info-reports-plugin to v3.6.2 (#5885)
• 5041a0a chore(deps): update github/codeql-action action to v3.25.12 (#5883)
• f75631a chore(deps): update github/codeql-action digest to 4fa2a79 (#5882)
• 7913c8f chore(deps): update dependency gradle to v8.9 (#5881)
• 529baa5 chore(deps): update dependency org.apache.maven.plugins:maven-surefire-plugin to v3.3.1 (#5880)
• ae26eff chore(deps): update dependency org.assertj:assertj-core to v3.26.3 (#5878)
• 91ec634 chore(deps): update actions/upload-artifact action to v4.3.4 (#5877)
• 1bc4672 chore(deps): update actions/upload-artifact digest to 0b2256b (#5876)
• 1bdef4f chore(deps): lock file maintenance (#5875)
• db1af15 chore(deps): update github/codeql-action action to v3.25.11 (#5874)
• d9722a2 chore(deps): update github/codeql-action digest to b611370 (#5873)
• 0bef41e chore(deps): update junit5 monorepo (#5872)
• 7630578 chore(deps): update dependency org.apache.maven.plugins:maven-project-info-reports-plugin to v3.6.1 (#5871)
• 4b9552e chore(deps): lock file maintenance (#5866)
• 5c9c8c0 chore(deps): update dependency org.apache.maven.plugins:maven-dependency-plugin to v3.7.1 (#5865)
• 59ae911 chore(deps): update dependency org.apache.maven.plugins:maven-clean-plugin to v3.4.0 (#5862)
• 757b981 chore(deps): update dependency org.apache.maven.plugins:maven-jar-plugin to v3.4.2 (#5861)
• 1ec101c chore(deps): lock file maintenance (#5859)
• 18a5903 chore(deps): update dependency org.apache.maven.plugins:maven-release-plugin to v3.1.0 (#5858)
• 7cb1422 chore(deps): update dependency org.apache.maven.plugins:maven-project-info-reports-plugin to v3.6.0 (#5857)
• 71175fe chore(deps): update dependency org.apache.maven.plugins:maven-surefire-plugin to v3.3.0 (#5856)
• 0af23c3 chore(deps): update github/codeql-action action to v3.25.10 (#5853)
• 5c68243 chore(deps): update actions/checkout digest to 692973e (#5854)
• 1e06060 chore(deps): update github/codeql-action digest to 23acc5c (#5852)
• 3c17e9e chore(deps): update github/codeql-action action to v3.25.9 (#5851)
• 8ada32c chore(deps): update actions/checkout action to v4.1.7 (#5850)
• 5a2bfe4 chore(deps): update github/codeql-action digest to 530d4fe (#5849)
• 1e284c8 chore(deps): update dependency org.apache.maven.plugins:maven-dependency-plugin to v3.7.0 (#5847)
• c8b4ce6 chore(deps): update determinatesystems/magic-nix-cache-action action to v7 (#5836)
• aea8815 chore(deps): update determinatesystems/flake-checker-action action to v8 (#5835)
• 2691185 chore(deps): update determinatesystems/nix-installer-action action to v12 (#5837)
• 09423f9 chore(deps): lock file maintenance (#5845)
• f72f6cb chore(deps): update step-security/harden-runner action to v2.8.1 (#5842)
• ee55268 chore(deps): update dependency org.apache.maven.plugins:maven-checkstyle-plugin to v3.4.0 (#5841)
• 39f0628 chore(deps): update github/codeql-action action to v3.25.8 (#5839)
• 68c2e93 chore(deps): update github/codeql-action digest to 2e230e8 (#5838)
• 30ab86b chore(deps): lock file maintenance (#5834)
• 61fb2d9 chore(deps): update dependency org.apache.maven.plugins:maven-javadoc-plugin to v3.7.0 (#5832)
• 55a6800 chore(deps): update dependency gradle to v8.8 (#5833)
• 56923cb chore(deps): update dependency com.google.guava:guava to v33.2.1-jre (#5831)
• a7e815d chore(deps): update github/codeql-action action to v3.25.7 (#5830)
• 3e071d4 chore(deps): update github/codeql-action digest to f079b84 (#5829)
• 1816e1c chore(deps): update dependency org.sonatype.plugins:nexus-staging-maven-plugin to v1.7.0 (#5828)
• bca2f55 chore(deps): update dependency org.sonatype.plugins:nexus-staging-maven-plugin to v1.6.14 (#5827)
• 3f1f667 chore(deps): lock file maintenance (#5826)
• decad04 chore(deps): update dependency org.assertj:assertj-core to v3.26.0 (#5825)
• 17f32fc chore(deps): update step-security/harden-runner action to v2.8.0 (#5822)
• bceed9d chore(deps): update dependency org.codehaus.mojo:exec-maven-plugin to v3.3.0 (#5821)
• d3ed1fd chore(deps): update github/codeql-action action to v3.25.6 (#5820)
• 291191b chore(deps): update github/codeql-action digest to 9fdb3e4 (#5819)
• 333a75b chore(deps): update actions/checkout digest to a5ac7e5 (#5802)
• 31d66f6 chore(deps): lock file maintenance (#5817)
• 563dddc chore(deps): update actions/checkout action to v4.1.6 (#5816)
• c1ce296 chore(deps): update github/codeql-action action to v3.25.5 (#5815)
• de3cc33 chore(deps): update github/codeql-action digest to b7cec75 (#5814)
• 01aff42 chore(deps): lock file maintenance (#5812)
• 496272d chore(deps): update dependency com.mycila:license-maven-plugin to v4.5 (#5811)
• dd55526 chore(deps): update mockito monorepo to v5.12.0 (#5810)
• b180ef4 chore(deps): update ossf/scorecard-action action to v2.3.3 (#5804)
• f26c99a chore(deps): update actions/checkout action to v4.1.5 (#5800)
• fe1d0cb chore(deps): update actions/checkout digest to 44c2b7a (#5799)
• 0a267f6 chore(deps): update github/codeql-action action to v3.25.4 (#5798)
• a3bfaba chore(deps): update github/codeql-action digest to ccf74c9 (#5797)
• 9b222af chore(deps): update dependency com.mycila:license-maven-plugin to v4.4 (#5796)
• a33fdcf chore(deps): lock file maintenance (#5794)
• 36610b4 chore(deps): update dependency com.google.guava:guava to v33.2.0-jre (#5792)
• b5862b1 chore(deps): update step-security/harden-runner action to v2.7.1 (#5791)
• f7e4ff0 chore(deps): update dependency org.apache.maven.plugins:maven-install-plugin to v3.1.2 (#5790)
• 1823259 chore(deps): update dependency org.apache.maven.plugins:maven-deploy-plugin to v3.1.2 (#5789)
• d93baf8 chore(deps): update github/codeql-action action to v3.25.3 (#5787)
• 5f55df8 chore(deps): update github/codeql-action digest to d39d31e (#5786)
• e46cc4f chore(deps): update actions/checkout digest to 0ad4b8f (#5785)
• f2cbbe8 chore(deps): update actions/checkout action to v4.1.4 (#5784)
• 91c67d7 chore(deps): update github/codeql-action action to v3.25.2 (#5782)
• dafce6d chore(deps): update actions/upload-artifact action to v4.3.3 (#5780)
• 9ac4e3d chore(deps): update github/codeql-action digest to 8f596b4 (#5781)
• cf2de85 chore(deps): update actions/checkout action to v4.1.3 (#5778)
• cead5db chore(deps): update actions/upload-artifact digest to 6546280 (#5779)
• 4b8c0d0 chore(deps): update actions/checkout digest to 1d96c77 (#5777)
• 06fdb24 chore(deps): lock file maintenance (#5776)
• 95460ea chore(deps): update dependency org.apache.maven.plugins:maven-jar-plugin to v3.4.1 (#5775)
• db9b81c chore(deps): update dependency org.apache.maven.plugins:maven-gpg-plugin to v3.2.4 (#5774)
• 7ea4cda chore(deps): update actio ...

Release v11.0.0

Changelog

🚀 Features

• 1dc595a feat: Add support for CtReceiverParameter in spoon model. (#5674)

🐛 Fixes

• a3879ab fix: split guard from CtCasePattern (#5728)
• 695bb82 fix(deps): update dependency com.fasterxml.jackson.core:jackson-databind to v2.17.0 (#5594)
• dbd0bbf fix(deps): update dependency org.eclipse.jdt:org.eclipse.jdt.core to v3.37.0 (#5694)
• 4a8df19 fix: implement configurable module path (#5325)
• 93a1ac6 fix: Do not inherit the return tag if an inline return is present (#5645)
• 9bb76f3 fix: Print unqualified enum constants in switches pre Java 21 (#5636)
• 94b9419 fix(deps): update dependency commons-io:commons-io to v2.16.0 (#5719)
• d3bd38d fix(deps): update dependency org.apache.commons:commons-compress to v1.26.1 (#5690)
• 9cf1f3f fix(deps): update dependency org.apache.commons:commons-compress to v1.26.0 (#5675)
• 1d55e5a fix: Add extra newline after printing enum values (#5649)
• da0c252 fix(deps): update dependency tools.aqua:z3-turnkey to v4.12.5 (#5647)
• 7121a4c fix: Make TypeAdaptor method adaptation thread safe (#5621)
• 1ac4b4d fix(deps): update dependency tools.aqua:z3-turnkey to v4.12.4 (#5625)
• 98a0f5c fix(deps): update dependency commons-io:commons-io to v2.15.1 (#5563)
• feb3a9b fix(deps): update dependency org.apache.commons:commons-lang3 to v3.14.0 (#5553)
• 9b30e74 fix(deps): update dependency org.apache.commons:commons-compress to v1.25.0 (#5542)
• 58484ef fix(deps): update dependency com.fasterxml.jackson.core:jackson-databind to v2.16.0 (#5541)
• 107d045 fix(deps): update dependency org.jetbrains:annotations to v24.1.0 (#5540)
• b2aac25 fix(deps): update dependency commons-cli:commons-cli to v1.6.0 (#5523)
• 21dd9fd fix(deps): update dependency commons-io:commons-io to v2.15.0 (#5521)
• 109bdfa fix(deps): update dependency com.fasterxml.jackson.core:jackson-databind to v2.15.3 (#5502)
• 74554a7 fix(deps): update dependency fr.inria.gforge.spoon:spoon-core to v10.4.2 (#5491)

🔄️ Changes

• d4b6e9a refactor: Convert ASTPair to an internal record (#5718)
• 0fd7324 refactor: Deprecate old javadoc classes (#5609)
• 94bfd33 refactor: Apply @Nullable annotation to spoon.support.util (#5537)
• 0bcaeda refactor: Apply @Nullable annotation to spoon.support.visitor (#5497)

🧪 Tests

• e6c8087 test: fix AssertJ code generation (#5673)
• 8409386 test: introduce generated AssertJ asserts (#5644)

🧰 Tasks

• 6a2f5d8 chore: Update custom packages in flake.nix (#5734)
• ba0a0b0 chore: Set euo pipefail in all scripts (#5727)
• 7750dd3 chore(deps): update dependency org.apache.maven.plugins:maven-source-plugin to v3.3.1 (#5729)
• 6ca336b chore(deps): update dependency org.assertj:assertj-core to v3.25.3 (#5724)
• 9fd55d4 chore(deps): update determinatesystems/nix-installer-action action to v10 (#5700)
• b361f31 chore(deps): update dependency ch.qos.logback:logback-classic to v1.5.3 (#5672)
• 1f306e5 chore(deps): update dependency org.testfx:openjfx-monocle to v21.0.2 (#5671)
• 1cb0b5f chore: Disable depclean (#5725)
• ddfb82c chore: Build spoon manually so jbang finds an artifact in local repository
• f9dd782 chore: Remove java17 from workflow files
• 144d7d7 chore: Use RELEASE version for jbang instead of LATEST (#5716)
• e7d4b9b chore: deprecate public CtTypeReference fields in TypeFactory (#5646)
• 235d04d chore: Rewrite javadoc checkstyle in spoon (#5642)
• 8e59a07 chore: update jdt to 3.36.0 (#5586)
• 2105ee6 chore: compile spoon with Java 17 (#5588)
• 2a5a583 chore: Remove Java 11 from tests.yml (#5293)
• cb829b2 chore: Run tests for java17 branch (#5295)
• 6e5297e chore(deps): update determinatesystems/magic-nix-cache-action action to v4 (#5699)
• 75ca6ac chore(deps): update dependency org.jacoco:jacoco-maven-plugin to v0.8.12 (#5721)
• daa7372 chore(deps): lock file maintenance (#5720)
• 92ca915 chore(deps): update dependency org.apache.maven.plugins:maven-gpg-plugin to v3.2.2 (#5717)
• 787745b chore(deps): update jetbrains/qodana-action action to v2023.3.2 (#5715)
• 476f941 chore(deps): lock file maintenance (#5714)
• 24f41ed chore(deps): update dependency gradle to v8.7 (#5713)
• f5ea24d chore(deps): update github/codeql-action action to v3.24.9 (#5712)
• 8bfe3d4 chore(deps): update github/codeql-action digest to 1b1aada (#5711)
• 67dfc48 chore(deps): update actions/cache action to v4.0.2 (#5710)
• 4b90a52 chore(deps): update dependency org.apache.maven.plugins:maven-compiler-plugin to v3.13.0 (#5709)
• 3f35640 chore(deps): update dependency org.apache.maven.plugins:maven-assembly-plugin to v3.7.1 (#5708)
• 11f3716 chore(deps): update github/codeql-action action to v3.24.8 (#5707)
• d0f2ab5 chore(deps): update github/codeql-action digest to 05963f4 (#5706)
• 8e96a6a chore(deps): update dependency org.apache.maven.plugins:maven-gpg-plugin to v3.2.1 (#5705)
• 3109d05 chore(deps): lock file maintenance (#5704)
• dded371 chore(deps): update actions/setup-java digest to 99b8673 (#5703)
• 1c2e66d chore(deps): update actions/setup-java action to v4.2.1 (#5702)
• 4d9e33d chore(deps): update dependency com.google.guava:guava to v33.1.0-jre (#5701)
• 1f3c676 chore(deps): update actions/setup-java action to v4.2.0 (#5698)
• ed36f8f chore(deps): update actions/setup-java digest to 5896cec (#5697)
• 8c53867 chore(deps): update github/codeql-action action to v3.24.7 (#5696)
• 73a6c34 chore(deps): update github/codeql-action digest to 3ab4101 (#5695)
• 24f7508 chore(deps): update dependency org.apache.maven.plugins:maven-gpg-plugin to v3.2.0 (#5693)
• 633db01 chore(deps): lock file maintenance (#5692)
• 8962534 chore(deps): update dependency org.apache.maven.plugins:maven-assembly-plugin to v3.7.0 (#5691)
• 12c73de chore(deps): lock file maintenance (#5689)
• 9dfef16 chore(deps): update mockito monorepo to v5.11.0 (#5688)
• 4648bcc chore(deps): update github/codeql-action action to v3.24.6 (#5686)
• 6119af4 chore(deps): update actions/cache action to v4.0.1 (#5687)
• 6f9fa50 chore(deps): update github/codeql-action digest to 8a470fd (#5685)
• f938373 chore(deps): update actions/setup-java digest to 9704b39 (#5684)
• a594f09 chore(deps): update actions/setup-java action to v4.1.0 (#5683)
• d06fa37 chore(deps): lock file maintenance (#5682)
• c1e80bf chore(deps): update github/codeql-action action to v3.24.5 (#5681)
• 9cddf6d chore(deps): update github/codeql-action digest to 47b3d88 (#5680)
• 05d117f chore(deps): update github/codeql-action action to v3.24.4 (#5679)
• 4e081d7 chore(deps): update github/codeql-action digest to e2e140a (#5678)
• 13ee110 chore(deps): update dependency org.codehaus.mojo:exec-maven-plugin to v3.2.0 (#5677)
• 0c0da3e chore(deps): lock file maintenance (#5676)
• 9fca682 chore(deps): update github/codeql-action action to v3.24.3 (#5670)
• 0cac99b chore(deps): update github/codeql-action digest to 3796146 (#5669)
• 73ff136 chore(deps): update github/codeql-action action to v3.24.1 (#5668)
• 8637f72 chore(deps): update github/codeql-action digest to e675ced (#5667)
• 72d6718 chore(deps): lock file maintenance (#5665)
• ee07a58 chore(deps): update determinatesystems/magic-nix-cache-action action to v3 (#5653)
• d4fc568 chore(deps): update dependency org.testfx:testfx-junit5 to v4.0.18 (#5664)
• 27d730a chore(deps): update actions/upload-artifact action to v4.3.1 (#5659)
• 035b429 chore(deps): update actions/upload-artifact digest to 5d5d22a (#5658)
• c3f0396 chore(deps): lock file maintenance (#5657)
• 2b1487c chore(deps): update dependency org.assertj:assertj-core to v3.25.3 (#5656)
• 21fcf3c chore(deps): update junit5 monorepo (#5655)
• 67a9593 chore(deps): update github/codeql-action action to v3.24.0 (#5652)
• ea5a4d4 chore(deps): update dependency gradle to v8.6 (#5651)
• bd8a3f3 chore(deps): update github/codeql-action digest to e8893c5 (#5650)
• a02f829 chore(deps): update step-security/harden-runner action to v2.7.0 (#5648)
• 5641fde chore(deps): lock file maintenance (#5643)
• 63399e5 chore(deps): update github/codeql-action action to v3.23.2 (#5641)
• c647204 chore(deps): update github/codeql-action digest to b7bf0a3 (#5640)
• bd9b16f chore(deps): update mockito monorepo to v5.10.0 (#5638)
• fd43d61 chore(deps): update dependency org.assertj:assertj-core to v3.25.2 (#5635)
• b3c9e03 chore(deps): update actions/upload-artifact action to v4.3.0 (#5634)
• 124ef58 chore(deps): update actions/upload-artifact digest to 26f96df (#5633)
• ede5bda chore(deps): update jetbrains/qodana-action action to v2023.3.1 (#5631)
• be40895 chore(deps): update plugin com.github.ben-manes.versions to v0.51.0 (#5630)
• 0008076 chore(deps): update actions/cache action to v4 (#5624)
• f6e23c6 chore(deps): lock file maintenance (#5629)
• a19328e chore(deps): update actions/upload-artifact digest to 694cdab (#5627)
• 1d0bd39 chore(deps): update actions/upload-artifact action to v4.2.0 (#5626)
• 404b870 chore(deps): update github/codeql-action action to v3.23.1 (#5623)
• b9bf57c chore(deps): update github/codeql-action digest to 0b21cf2 (#5622)
• f2077c5 chore(deps): lock file maintenance (#5618)
• 3688d06 chore(deps): update mockito monorepo to v5.9.0 (#5617)
• a7418b6 chore(deps): update actions/upload-artifact action to v4.1.0 (#5614)
• 9eb4be3 chore(deps): update actions/upload-artifact digest to 1eb3cb2 (#5613)
• 93c0ec8 chore(deps): update actions/cache action to v3.3.3 (#5612)
• 1e5746a chore: Remove .lift.toml configuration file (#5607)
• 1657485 chore(deps): update dependency org.apache.maven.plugins:maven-surefire-plugin to v3.2.5 (#5608)
• 0247a6d chore(deps): update github/codeql-action action to v3.23.0 (#5604)
• 7bcf22d chore(deps): update github/codeql-action digest to e5f05b8 (#5603)
• 78ae4a9 chore(deps): lock file maintenance (#5602)
• 1df437c chore(deps): lock file maintenance (#5601)
• eb5b611 chore(deps): update dependency org.assertj:assertj-core to v3.25.1 (#5599)
• 742f73d chore(deps): update dependency com.google.guava:guava to v33 (#5590)
• 2e32c43 chore(deps): update actions/setup-java action to v4 (#5562)
• 4fab345 chore(d ...

Release v10.4.2

Changelog

🐛 Fixes

• a1c2975 fix(deps): update dependency tools.aqua:z3-turnkey to v4.12.2.1 (#5488)
• 30c6186 fix: Use CtSuperAccess when implicitly accessing superclass field (#5406)
• 3370138 fix(deps): update dependency commons-io:commons-io to v2.14.0 (#5479)
• e777ea7 fix: Subtyping relationships for arrays (#5466)
• ac76933 fix: Fixing regression in CtQueryImpl caused by lambda names in Java 21 (#5469)
• adedea9 fix: replace Infinity and NaN in reflection model with divisions (#5445)
• c2a8880 fix(deps): update dependency org.apache.commons:commons-compress to v1.24.0 (#5441)
• aa741f2 fix(deps): update dependency fr.inria.gforge.spoon:spoon-core to v10.4.1 (#5439)
• 30dadf1 fix: Keep implicit status for more implicit enclosing class references (#5425)

🔄️ Changes

• a8233ad refactor: Use prebuilt z3 package/binary (#5482)
• e311c3d refactor: Apply the @Nullable annotation to spoon.support (#5456)
• b86ef72 refactor: adopt jspecify to spoon.support.compiler (#5422)

🧰 Tasks

• 53ef15f chore(deps): update determinatesystems/nix-installer-action action to v5 (#5484)
• f8aefd5 chore(deps): update ossf/scorecard-action action to v2.3.0 (#5489)
• 73f08b5 chore(deps): update mockito monorepo to v5.6.0 (#5487)
• 7e4a82c chore(deps): update github/codeql-action action to v2.22.0 (#5486)
• 9a9ade9 chore(deps): update github/codeql-action digest to 2cb752a (#5485)
• a267a0d chore(deps): update dependency gradle to v8.4 (#5483)
• af5f2c5 chore: Switch to oracle JDK 21 in CI until nixpkgs catches up (#5468)
• 4321881 chore(deps): update step-security/harden-runner action to v2.6.0 (#5481)
• 812947f chore(deps): lock file maintenance (#5480)
• b2d7d01 chore(deps): update github/codeql-action action to v2.21.9 (#5474)
• 4fe1ed4 chore(deps): update github/codeql-action digest to ddccb87 (#5473)
• 412529b chore(deps): update dependency com.mycila:license-maven-plugin to v4.3 (#5472)
• 0c78369 chore(deps): lock file maintenance (#5470)
• b9b890d chore: enable lockfile automerge (#5471)
• 3baf672 chore: enable renovate lockfile maintenance for nix (#5467)
• 02c9e04 chore(deps): update actions/checkout action to v4.1.0 (#5464)
• f7fc10f chore(deps): update actions/checkout digest to 8ade135 (#5463)
• fb4a6fa chore(deps): update actions/setup-java action to v3.13.0 (#5460)
• c1a6cab chore(deps): update github/codeql-action action to v2.21.8 (#5458)
• 0344e50 chore(deps): update github/codeql-action digest to 6a28655 (#5457)
• e72319c chore: fix regression testing pipeline (#5450)
• 45b8c41 chore(deps): update dependency org.apache.maven.plugins:maven-javadoc-plugin to v3.6.0 (#5455)
• 794bf8e chore(deps): update github/codeql-action action to v2.21.7 (#5453)
• 877cca5 chore(deps): update github/codeql-action digest to 04daf01 (#5452)
• 09fb29b chore(deps): update dependency org.testfx:testfx-junit5 to v4.0.17 (#5451)
• f0012af chore: Replace version range with specific version (#5447)
• debe175 chore(deps): update github/codeql-action action to v2.21.6 (#5449)
• 27b4a78 chore(deps): update github/codeql-action digest to 701f152 (#5448)
• f815806 chore: Use renovate to maintain flake.lock (#5444)
• 0d86d67 chore(deps): update actions/checkout action to v4 (#5442)
• c9f7020 chore(deps): Update flake.lock (#5443)
• 3c2f4c1 chore(deps): update plugin com.github.ben-manes.versions to v0.48.0 (#5440)
• ca21053 chore(deps): update jetbrains/qodana-action action to v2023.2.6 (#5438)
• 6af0465 chore(deps): update actions/upload-artifact action to v3.1.3 (#5437)
• 496767f chore(deps): update actions/cache action to v3.3.2 (#5436)
• 467fe30 chore(deps): update actions/upload-artifact digest to a8a3f3a (#5435)
• 752b228 chore: fix renovate config (#5421)
• 75584ab chore: Use workflow token with permissions for automerge (#5432)
• 67c429f chore: update regression script (#5418)

---

• 066f4cf release: Releasing version 10.4.2
• 2fe3587 document the CI pipeline (#5415)
• 0a36d02 doc(Environment): replace space indentation with tab (#5434)
• 84dc692 doc: add last releases (#5423)
• 6177cde Revert "fix(deps): update dependency org.apache.maven:maven-model to v3.9.4" (#5419)
• c18a84d release: Setting SNAPSHOT version 10.4.2-SNAPSHOT

Contributors

We'd like to thank the following people for their contributions:

• Hannes Greule (@SirYwell)
• I-Al-Istannen (@I-Al-Istannen)
• Martin Monperrus (@monperrus)
• Martin Wittlinger (@MartinWitt)
• Ryota Hiyoshi (@tenax66)
• The Spoon Bot ()
• intrigus-lgtm (@intrigus-lgtm)