Prepare for KeY 2.12.4#3780
Conversation
|
You might want to consider taking over and adapting the corrected nightlydeployer.yml: |
unp1
force-pushed
the
releases/KeY-2.12.4-Release-Candidate
branch
2 times, most recently
from
426f784 to
56e216e
Compare
unp1
force-pushed
the
releases/KeY-2.12.4-Release-Candidate
branch
from
56e216e to
0198756
Compare
|
If you want to replay more PRs since JavaParser introduction. GitHub PR Commit Fetcher - KeYProject/keyRepository: KeYProject/key Processing PR #3393 ...✓ Found 7 commits • 5066ea5 - Fix slicing bug related to Evaluate Query Processing PR #3686 ...✓ Found 21 commits • ef77b66 - extend the javac extension Processing PR #3746 ...✓ Found 7 commits • c39242d - suppression of log for non-failing test classes Processing PR #3758 ...✓ Found 1 commits • 5c1af0b - support for java records by code transformation Processing PR #3773 ...✓ Found 30 commits • e83ca5e - Remove SortDependingFunction class Processing PR #3777 ...✓ Found 4 commits • 5d2e5ff - basic theory of sets with cardinality Processing PR #3781 ...✓ Found 2 commits • f800c9f - set version Processing PR #3788 ...✓ Found 1 commits • 528beb3 - Adding the possibility to have a Profile-dependent option panel Processing PR #3791 ...✓ Found 4 commits • 8050c4c - adaption for JmlParser (renaming of stuff) Processing PR #3795 ...✓ Found 2 commits • 41e52dd - Fix field names in Isabelle translation Processing PR #3796 ...✓ Found 1 commits • 7f9bbbf - Support for TextBlockLiterals Processing PR #3797 ...✓ Found 1 commits • 7cae0f9 - Bump the gradle-deps group with 8 updates Processing PR #3798 ...✓ Found 1 commits • e2fedf3 - Bump the github-actions-deps group with 3 updates Processing PR #3802 ...✓ Found 1 commits • 02e73b2 - remove codecov Processing PR #3804 ...✓ Found 4 commits • fd9c1f4 - Fix name collision resolution in merge rule Processing PR #3805 ...✓ Found 4 commits • 4d95a07 - Fix retrieval of correct type as JavaParser considers two (syntactically equal) classes as identical even though they occur in different packages Processing PR #3806 ...✓ Found 2 commits • baa810b - Fix behavior in case of failed method resolution Processing PR #3807 ...✓ Found 1 commits • 509c649 - Bump the gradle-deps group with 3 updates Processing PR #3808 ...✓ Found 1 commits • 36394fb - Bump keyproject/setup-smt from 0 to 3 in the github-actions-deps group Processing PR #3810 ...✓ Found 1 commits • b078578 - fix path bug Processing PR #3811 ...✓ Found 1 commits • 441913c - Update function explanations to new syntax Processing PR #3812 ...✓ Found 2 commits • f08a982 - Fix bug in ProofManagementDialog Processing PR #3813 ...✓ Found 1 commits • 9a44c52 - Update to gradle 9.5 and replace deprecated methods to be removed in gradle 10 Processing PR #3814 ...✓ Found 1 commits • c3b75fb - Bump the gradle-deps group with 8 updates Processing PR #3815 ...✓ Found 2 commits • 5f7884b - Bump the gradle-deps group across 1 directory with 7 updates Processing PR #3818 ...✓ Found 2 commits • 40f2b00 - Bump the gradle-deps group across 1 directory with 8 updates Processing PR #3819 ...✓ Found 2 commits • 5273420 - Deployment to Maven Central SNAPSHOT Processing PR #3820 ...✓ Found 1 commits • cf069fd - Artifacts are now on mvn central Processing PR #3821 ...✓ Found 3 commits • 0af69a7 - Start on var types Processing PR #3822 ...✓ Found 8 commits • 64770f0 - Unify grammars Processing PR #3824 ...✓ Found 9 commits • ec806da - Fix quadratic behavior in PosInOccurrence#down and hash lazily Processing PR #3825 ...✓ Found 2 commits • d65880b - prooftree: skip proof-tree updates while the tab is hidden Processing PR #3826 ...✓ Found 4 commits • a348018 - Error reporting (core): concrete messages and accurate source locations Processing PR #3828 ...✓ Found 5 commits • 624b6ed - Add a done() early-exit short-circuit to JavaASTWalker Processing PR #3829 ...✓ Found 1 commits • 70eacaf - Index applied rule apps by focus-term fingerprint for O(1) duplicate detection Processing PR #3830 ...✓ Found 5 commits • 25eb6c8 - Add a side-effect-free result-sequent preview to the taclet executor Processing PR #3832 ...✓ Found 2 commits • bdd323d - Make semicolon after rule optional ╔══════════════════════════════════════════════════════════════╗ Total PRs processed: 37 PR Commit Summary - Di 16. Jun 01:31:20 CEST 2026PR #3393: 7 commits
|
2 participants
** New PR due to branch renaming **
Intended Change
This PR prepares the release for KeY 2.12.4, the last release using the recoder backend. It will be released after KeY 3.0.
Plan
Type of pull request
Ensuring quality
Release PR. The Release QA measures need to be performed.
Additional information and contact(s)
The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.