semantics
semantics copied to clipboard
kieler
The KIELER semantics project features the sequentially constructive SCCharts, SCL, and SCEst language including tooling for automatic diagrams, compilation, and simulation
See also https://github.com/kieler/KLighD/pull/235
depends on https://github.com/kieler/KLighD/pull/234 and https://github.com/kieler/klighd-vscode/pull/237
[KISEMA-1583] Dataflow regions reserve space for local declarations even if the option is disabled
_[Issue KISEMA-1583 migrated from JIRA, first reported on 2020-05-15]_ ``` scchart NewSCChart { // input bool Z // Enable for second graph output signal X dataflow { int Z //...
The documentation for `@layout` annotations states that they are case-sensitive, with the example from the documentation `@layout[elk.direction] UP` being a valid annotation. For `@diagram` annotations this is not stated how...
This synthesis hook adds a very basic configuration of top-down layout for SCCharts. depends on https://github.com/eclipse/elk/pull/1089 - [ ] check that the hook works for the currently released versions of...
When input signals are programmatically emitted, the signal remains present until a user manually resets it (to `false`). ## Example ```scchart scchart Test { input signal S initial state A...
This is based on the interactive layout stuff and the proxies. TODO - [ ] Test this with the klighd-vscode implementation
New feature: JavaDoc HTML support in the graph Documentation of Annotations. I guess the person what's to use and similar.
The simulation of History Transitions did not work @Drakae Do you know which model the person is referring too? @a-sr Do you know of an issue regarding this?
The error messages the IDE gives you before you compile the code aren't so helpful without a good documentation because one still understand what the problem is.