key

key copied to clipboard

Bump the github-actions-deps group with 11 updates

3

Bumps the github-actions-deps group with 11 updates: | Package | From | To | | --- | --- | --- | | [actions/github-script](https://github.com/actions/github-script) | `6` | `7` | | [peter-evans/find-comment](https://github.com/peter-evans/find-comment)...

dependabot[bot]

Ask before closing a proof whose branches are "used" in other proofs

1

## Please describe your proposal in a ONE sentence Removing a proof might unexpectedly reopen branches on other proofs ## Underlying problem Removing a proof that is referred to by...

unp1

Remove spin lock in waitWhileAutoMode.

4

This PR removes the spin-lock waiting in `MediatorProofControl` used for waiting on auto-mode finish. ``` while (ui.getMediator().isInAutoMode()) { // Wait until auto mode has stopped. try { Thread.sleep(100); } catch...

wadoon

Removal of Triple, and Quadruple

1

## Refactoring This PR starts the removal of generic data classes in favor of Java records (aka. named tuples). In this PR, only `Triple` and `Quadruple` are removed. In general,...

wadoon

After #3195, set and assert/assume statements are not handled inside Java anymore. Previous to this fix, the set statements were a regular copy assignment in Java. Therefore, classes were needed...

wadoon

Control-C may leave a defunct process

2

## Description When starting KeY from the command line, pressing ctrl-c prior to the main window's appearance leaves KeY in a defunct state that can only be killed from outside....

mattulbrich

module-info.java

5

This pull request adds module support in KeY by adding `module-info.java` and doing the necessary stuff. Modules for `key.util` and `key.ncore` have already been added by @Drodt on `main`. This...

wadoon

Missing rule for type of array

1

## Description The exact dynamic type of arrays of primitive values are always known. However, KeY is missing a rule here. There are also some real world cases, where the...

WolframPfeifer

## Related Issue We are currently using a too-old version of the eclipse formatted. This shows in non- or bad formatting Java 17+ constructs. There is no technical need to...

wadoon

More general equalsModProperty

1

## Intended Change Building on top of #3386, the interface `EqualsModProperty` has now been changed so that it can be used not just with `Term`s but theoretically any class if...

tobias-rnh