Alexander SR
Alexander SR
Adds support for using the new attribute notation for annotating reactors with an icon.
Activated federated code generation for modal reactors. Also added tests for both C and Python
In the following example, the fixed port order gets inverted and crossings are introduced. This occurs as soon as a layout for a fresh diagram with expanded nodes is performed....
The cycle detection reports elements that are not included in the actual cycle. In this example, a cycle is formed only by sim.theta -> con.theta -> con.control -> sim.control. Yet,...
The code for user-defined reactor icons was diabled in PR #1469 because it relies on Eclipse-specific image data and is not supported Klighd VS Code, see https://github.com/kieler/KLighD/issues/146. As soon as...
Currently, the Klighd LSP only supports KImages that refer to images in a bundle, hence the LS jar. This should be extended to support any URI in order to enable...
If multiple dashed lines enter the same port, it is likely that their dash pattern do not align and end up solid because of the different length of the edge....
When changing view related properties (such as KlighdProperties.SHOW or KlighdProperties.EXPAND) in the synthesis, the incremental update does not apply these changes. It seems the property is either not merged into...
After being present once the `is_present` always returns `true` even if the logical action did not trigger. **Example**: ``` target C { timeout: 7 msecs, fast: true } main reactor...
In the following program, the reaction in `ForwardFailure` is executed without a justified triggering (`failure` is never set). ``` target C reactor OnlySuccess { input start:bool output success:bool output failure:bool...