fabianheyer

Results 29 issues of fabianheyer

_[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 //...

bug
jira

_[Issue KISEMA-1329 migrated from JIRA, first reported on 2017-09-09]_ Consider for example the attached simulation screen shot. Wouldn't it be cool if the After1/2/3 registers would indicate their content? This...

enhancement
jira

_[Issue KISEMA-1594 migrated from JIRA, first reported on 2020-08-04]_ Add a "undo step" button that allows to restore the previous tick in the simulation.

enhancement
jira

_[Issue KISEMA-1245 migrated from JIRA, first reported on 2017-09-21]_ Colors and fonts used in syntheses should be configurable in the preferences.

enhancement
jira

_[Issue KISEMA-1534 migrated from JIRA, first reported on 2019-11-11]_ _[Original links are dead as of 2022-05-11, links updated for new source files on 2022-05-17]_ The java prio code generation produces...

bug
jira

_[Issue KISEMA-1524 migrated from JIRA, first reported on 2019-09-10]_ This simple SCCcchart should be asc-scheduable ``` scchart InstantaneousLoop { -- output int x bool _wsFlag = false   initial state _WS...

bug
jira

_[Issue KISEMA-1589 migrated from JIRA, first reported on 2020-06-11]_ In the given example, for region StrongAbort: Following the idea of sequential constructiveness, the triggers of strong aborts (here: x >...

enhancement
jira

_[Issue KISEMA-1416 migrated from JIRA, first reported on 2019-08-23]_ Consider the following model: ``` scchart UserInteractionStateMachine { -- input bool I1, I2 initial state S1 { initial state S1_1 if...

enhancement
jira

_[Issue KISEMA-1600 migrated from JIRA, first reported on 2020-08-14]_ In the following example the GO conditionals are only partially merged and moved into reset resulting in an invalid assignment order...

bug
jira

_[Issue KISEMA-1418 migrated from JIRA, first reported on 2019-08-25]_ We would like to use SCCharts in some way to specify the communication between multiple components. ![50 - ParallelSpec](https://user-images.githubusercontent.com/103421911/163981676-8730890c-bf42-4945-a917-68e4967bb703.png) ```java @CommunicationSpecification...

enhancement
jira