Alexander Weigl

I just wanted to test `libfirm` with `cparser`, but I was not able to build `libfirm`. The `Makefile` returns early with: ``` russel ~/w/c/libfirm % make GEN build/gen/include/libfirm/nodes.h Traceback (most...

Generic input for easier long-term support of languages

3

I just stumpled across jPlag. It is a bit pity, that some languages are in legacy state. I just want to suggest, that a common input format tokens streams (or...

It seems, that `--add-exports` definitions are currently not used for JavaCompile. Following configuration does not effect the `compilerArgs`: ```java javaModule.hacks { exports("javafx.graphics","com.sun.javafx.scene.input",javaModule.name) exports("javafx.graphics", "com.sun.javafx.css", javaModule.name) } ``` Following snippet is...

Renovation of the TestCase generation

1

## Intended Change Make test case generation usable again, especially, from the CLI in the new verification template. ## Type of pull request - *X* Refactoring (behaviour should not change...

Nullness Type System for `key.core`

2

More nullness type system checks. Now for `key.core`. I want first to merge #3399 into KeY to avoid double work.

The Removal of Recoder

83

This PR replaces recoder by [javaparser](https://github.com/javaparser/javaparser), or more precisely by [key-javaparser](https://github.com/wadoon/key-javaparser). The special version has support for `ProofJava`, `SchemaJava` and Java 17+, all in one grammar. [Notes on the grammar...

Create a JSON-RPC for KeY

3

# A remote KeY api as promised in KeY++ ## Design Descisions * We use handles to refer to large entities like, `KeYEnvironment`, `Proof`, or `Node`. These handles are called...

This PR removes the remaining traces of JUnit 4 completely from KeY. JUnit 5 offers the same functionalities in a simpler matter, therefore there is no need to keep JUnit...

Revive work on Polymorphic Sorts

2

Introducing Sorts with Sort-Parameters. ## Type of pull request - *X* New feature (non-breaking change which adds functionality) - *X* Breaking change (fix or feature that would cause existing functionality...

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...