KeYProject/key: Nightly Release

<!-- Release notes generated using configuration in .github/release.yml at main -->

What's Changed

Other Changes

• Update LICENSE.TXT to reflect GPL-2.0-only by @FliegendeWurst in https://github.com/KeYProject/key/pull/3223
• Post-Release 2.12.0: Backport bug fixes into main by @wadoon in https://github.com/KeYProject/key/pull/3242
• Update BSH dependency of recoder by @wadoon in https://github.com/KeYProject/key/pull/3250
• Post-Release: Backport Deployment Changes to KeY by @wadoon in https://github.com/KeYProject/key/pull/3246
• Post-Release 2.12.0: Java and Version by @wadoon in https://github.com/KeYProject/key/pull/3241
• Applying Java 17 refactorings by @wadoon in https://github.com/KeYProject/key/pull/3252
• Fix dependency issue in SMT translation by @FliegendeWurst in https://github.com/KeYProject/key/pull/3275
• UI: avoid freeze when applying SMT results by @FliegendeWurst in https://github.com/KeYProject/key/pull/3255
• Stop automode or exit on SIGINT by @FliegendeWurst in https://github.com/KeYProject/key/pull/3249
• updating README.md by @mattulbrich in https://github.com/KeYProject/key/pull/3288
• Problem statements in KeY file can now also be a (semi-)sequent by @wadoon in https://github.com/KeYProject/key/pull/3283
• Further Refactorings for Java 17+ by @wadoon in https://github.com/KeYProject/key/pull/3264
• SMT: add Z3_QF variant by @FliegendeWurst in https://github.com/KeYProject/key/pull/3287
• Fix for issue #3158 by @unp1 in https://github.com/KeYProject/key/pull/3224
• Some general minor code quality improvements by @unp1 in https://github.com/KeYProject/key/pull/3293
• Update beanshell to 2.0b6 by @unp1 in https://github.com/KeYProject/key/pull/3294
• Backport of KEY-2.12.1 into main by @wadoon in https://github.com/KeYProject/key/pull/3296
• Fix wrong quicksave failed warning by @unp1 in https://github.com/KeYProject/key/pull/3298
• Fix for issue #3286: Parsing of rule display names that contain spaces in origin labels by @unp1 in https://github.com/KeYProject/key/pull/3306
• Restore TermImpl to package private and strengthen immutability of term and sorts by @unp1 in https://github.com/KeYProject/key/pull/3304
• Fix Issue #3186: Model method looses nullability modifiers by @unp1 in https://github.com/KeYProject/key/pull/3307
• Revert lazy term index updates by @unp1 in https://github.com/KeYProject/key/pull/3312
• Allow origin labels to be switched off completely by @unp1 in https://github.com/KeYProject/key/pull/3316
• Proof Slicing: make dependency tracking optional by @FliegendeWurst in https://github.com/KeYProject/key/pull/3309
• replace JSR305 annotations with JSpecify by @wadoon in https://github.com/KeYProject/key/pull/3290
• A heap indicator in KeY's status bar by @wadoon in https://github.com/KeYProject/key/pull/3325
• fix ClassCastException in LogicPrinter by @wadoon in https://github.com/KeYProject/key/pull/3326
• Fix JavaDoc errors by @unp1 in https://github.com/KeYProject/key/pull/3329
• Fix broken addLabel Method in TermBuilder by @Drodt in https://github.com/KeYProject/key/pull/3331
• Heap status extension: proper max. value of progress bar by @FliegendeWurst in https://github.com/KeYProject/key/pull/3332
• Fix all warnings reported by ./gradlew javadoc by @unp1 in https://github.com/KeYProject/key/pull/3330
• Method names should not be created via VariableRenamer by @unp1 in https://github.com/KeYProject/key/pull/3231
• Create a basic CONTRIBUTING.md by @FliegendeWurst in https://github.com/KeYProject/key/pull/3333
• Print real condition in if labels by @FliegendeWurst in https://github.com/KeYProject/key/pull/3222
• Fix consistency of proof status and tasktree icon by @unp1 in https://github.com/KeYProject/key/pull/3344
• Show notification after running macro by @FliegendeWurst in https://github.com/KeYProject/key/pull/3269
• Update to Java 21 Runtime for Testing by @wadoon in https://github.com/KeYProject/key/pull/3282
• Add help buttons to extension settings by @FliegendeWurst in https://github.com/KeYProject/key/pull/3348
• suggesting a pull-request-template. by @mattulbrich in https://github.com/KeYProject/key/pull/3018
• A new grammar for configuration by @wadoon in https://github.com/KeYProject/key/pull/3099
• Fix (for issue #3347) that node selection gets forgotten when switching between proofs by @unp1 in https://github.com/KeYProject/key/pull/3349
• Re-enable check for non-unique taclet names and remove two taclet duplicates by @unp1 in https://github.com/KeYProject/key/pull/3359
• Avoid name clashes in rule applyUpdateOnRigid by @tobias-rnh in https://github.com/KeYProject/key/pull/3355
• Handle bound variables in SMT unknown translation by @FliegendeWurst in https://github.com/KeYProject/key/pull/3263
• Fix update of proof tree in case of filter changes (fixes #3367) by @unp1 in https://github.com/KeYProject/key/pull/3368
• Configurable enabled keys for JML condition evaluation by @wadoon in https://github.com/KeYProject/key/pull/3373
• Get rid of experimental flag using more fine-grained flags by @wadoon in https://github.com/KeYProject/key/pull/3370
• ADTs for KeY by @wadoon in https://github.com/KeYProject/key/pull/3161
• Renovation: package.html to package-info.java by @wadoon in https://github.com/KeYProject/key/pull/3381
• Fix passing of warnings by @wadoon in https://github.com/KeYProject/key/pull/3302
• Proof caching: use dependency graph to increase hit rate by @FliegendeWurst in https://github.com/KeYProject/key/pull/3305
• Always sort extension actions in context submenus (+bugfix to allow disabling extensions) by @FliegendeWurst in https://github.com/KeYProject/key/pull/3392
• Update README.md (license date and Java version) by @WolframPfeifer in https://github.com/KeYProject/key/pull/3412
• Activate the OverloadedOperatorHandler.java for Sequence datatype by @wadoon in https://github.com/KeYProject/key/pull/3398
• Solved an issue with row/column numbers in JML Parser by @LennartKleinwort in https://github.com/KeYProject/key/pull/3419
• Fix error handling for unknown sorts by @MarcoScaletta in https://github.com/KeYProject/key/pull/3428
• Hackathon: error reporting by @FliegendeWurst in https://github.com/KeYProject/key/pull/3426
• Fix position info for equality expr errors by @FliegendeWurst in https://github.com/KeYProject/key/pull/3429
• Add ADT Destructors by @Drodt in https://github.com/KeYProject/key/pull/3420
• JML enabled keys indicator for the Status Line by @wadoon in https://github.com/KeYProject/key/pull/3374
• fixes #1533 by @JonasKlamroth in https://github.com/KeYProject/key/pull/3423
• Hackeython smt mod by @BookWood7th in https://github.com/KeYProject/key/pull/3418
• added checkbox to disable example loader directly in dialog by @JonasKlamroth in https://github.com/KeYProject/key/pull/3424
• Generalizing Logic Data Structures by @Drodt in https://github.com/KeYProject/key/pull/3357
• Fix startup crash if ~/.key/colors.json is not present by @FliegendeWurst in https://github.com/KeYProject/key/pull/3439
• fix smt solver downloader script by @wadoon in https://github.com/KeYProject/key/pull/3445
• Update broken link in README.md by @FliegendeWurst in https://github.com/KeYProject/key/pull/3444
• Update pull_request_template.md by @mattulbrich in https://github.com/KeYProject/key/pull/3446
• Immutable and valid JML set statement by @wadoon in https://github.com/KeYProject/key/pull/3400
• Combine equalsMod... methods by @tobias-rnh in https://github.com/KeYProject/key/pull/3386
• Introducing a new function symbol seqUpd by @mattulbrich in https://github.com/KeYProject/key/pull/3385
• Cleanup of declaration of taclet options by @WolframPfeifer in https://github.com/KeYProject/key/pull/3408
• Boyer Moore Majority Vote by @mattulbrich in https://github.com/KeYProject/key/pull/3454
• Hackeython/error reporting by @mattulbrich in https://github.com/KeYProject/key/pull/3432
• Nicer error message for parse errors by @FliegendeWurst in https://github.com/KeYProject/key/pull/3417
• Fixes a StackOverflow when pretty printing a taclet by @unp1 in https://github.com/KeYProject/key/pull/3453
• Fix newnames handling for new local vars by @FliegendeWurst in https://github.com/KeYProject/key/pull/3438
• Prevent Dependency PO generation for void methods by @Drodt in https://github.com/KeYProject/key/pull/3422
• Update dependabot configuration by @wadoon in https://github.com/KeYProject/key/pull/3447
• Add key features for the FM tutorial by @wadoon in https://github.com/KeYProject/key/pull/3460
• Fixed the path-to-smt-solver bug in windows by @vb213 in https://github.com/KeYProject/key/pull/3434

New Contributors

• @tobias-rnh made their first contribution in https://github.com/KeYProject/key/pull/3355
• @LennartKleinwort made their first contribution in https://github.com/KeYProject/key/pull/3419
• @MarcoScaletta made their first contribution in https://github.com/KeYProject/key/pull/3428
• @JonasKlamroth made their first contribution in https://github.com/KeYProject/key/pull/3423
• @BookWood7th made their first contribution in https://github.com/KeYProject/key/pull/3418
• @vb213 made their first contribution in https://github.com/KeYProject/key/pull/3434

Full Changelog: https://github.com/KeYProject/key/compare/KeY-2.12.2...nightly