What's Changed Other Changes Set the Java Release Version to 21 by @wadoon in https://github.com/KeYProject/key/pull/3522 Using semantic version (SemVer) scheme for KeY by @wadoon in https://github.com/KeYProject/key/pull/3523 Add conversion rules for Float/Double negation by @WolframPfeifer in https://github.com/KeYProject/key/pull/3520 fixes Location#compareTo(Location) by @BookWood7th in https://github.com/KeYProject/key/pull/3519 RuleApp interface for all external solvers (prep for #3514) by @BookWood7th in https://github.com/KeYProject/key/pull/3521 Missing project description for two sub-modules by @wadoon in https://github.com/KeYProject/key/pull/3528 Re-enable sonarqube for quality assessment by @wadoon in https://github.com/KeYProject/key/pull/3488 Fix #3524 by @Drodt in https://github.com/KeYProject/key/pull/3525 Removal of Triple, and Quadruple by @wadoon in https://github.com/KeYProject/key/pull/3529 Fixing the broken automode by @mattulbrich in https://github.com/KeYProject/key/pull/3533 Also depend on checker-qual artifact by @wmdietl in https://github.com/KeYProject/key/pull/3535 Fix #3452 by @wadoon in https://github.com/KeYProject/key/pull/3540 Proposing a more flexible lexing framework by @mattulbrich in https://github.com/KeYProject/key/pull/3537 Added BoyerMoore.key by @TudorBalan in https://github.com/KeYProject/key/pull/3558 repair the axiom generation for adts defined in JavaDL by @mattulbrich in https://github.com/KeYProject/key/pull/3556 Fix/Improve KeY example application by @samysweb in https://github.com/KeYProject/key/pull/3562 Cleanup: Removal of key.api package by @wadoon in https://github.com/KeYProject/key/pull/3550 fix #3553 by @MarcoScaletta in https://github.com/KeYProject/key/pull/3560 Fix #3563 by @Drodt in https://github.com/KeYProject/key/pull/3566 Fix line number alignment in SMT interface by @BookWood7th in https://github.com/KeYProject/key/pull/3559 Adding a rule for exactInstance of final types. (fixes #3389) by @mattulbrich in https://github.com/KeYProject/key/pull/3543 Add documentation for soundDefaultContracts feature by @flo2702 in https://github.com/KeYProject/key/pull/3574 highlight current line in issue editor pane by @mattulbrich in https://github.com/KeYProject/key/pull/3573 Improved treatment of final fields by @mattulbrich in https://github.com/KeYProject/key/pull/3495 Use a custom Github action for setting up the SMT solvers by @wadoon in https://github.com/KeYProject/key/pull/3569 fixing lexing to support static invariants by @mattulbrich in https://github.com/KeYProject/key/pull/3583 Fixed obtaining results from CVC4 and cvc5 by @WolframPfeifer in https://github.com/KeYProject/key/pull/3593 Fix Java version in nightlydeploy.yml by @wadoon in https://github.com/KeYProject/key/pull/3598 Enable SMT focus goals (unsat cores) for CVC5 by @FliegendeWurst in https://github.com/KeYProject/key/pull/3594 Improve JavaDocs for Qualifier, SyntaxElement by @Drodt in https://github.com/KeYProject/key/pull/3579 New Contributors @TudorBalan made their first contribution in https://github.com/KeYProject/key/pull/3558 @frereit made their first contribution in https://github.com/KeYProject/key/pull/3568 Full Changelog: https://github.com/KeYProject/key/compare/KEY-2.12.3...nightly