Search results

@diagram annotation case-sensitivity is not consistent with e.g. @layout annotations

Status: Open.

#129 In kieler/semantics;

· NiklasRentzCAU opened on Nov 21, 2024

<code>input signal</code>s aren't automatically reset

Status: Open.

#118 In kieler/semantics;

· YorikHansen opened on Aug 19, 2024

Student feedback: Proper Javadoc in HTML support

enhancementNew feature or requestNew feature or request

Status: Open.

#103 In kieler/semantics;

· soerendomroes opened on Jan 30, 2024

Student feedback: The simulation of history transitions does not work

Status: Open.

#102 In kieler/semantics;

· soerendomroes opened on Jan 30, 2024

Student feedback: Error markers

Status: Open.

#101 In kieler/semantics;

· soerendomroes opened on Jan 30, 2024

Student feedback: SCCharts Syntax not properly documented

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#100 In kieler/semantics;

· soerendomroes opened on Jan 30, 2024

Student feedback: Nearly everything got a warning label

Status: Open.

#99 In kieler/semantics;

· soerendomroes opened on Jan 30, 2024

Student feedback: KIELER was working and crashed after some weeks

Status: Open.

#98 In kieler/semantics;

· soerendomroes opened on Jan 30, 2024

Simulation Exceptions

Status: Open.

#86 In kieler/semantics;

· Drakae opened on Apr 17, 2023

Combine automatically generated boolean variables

Status: Open.

#78 In kieler/semantics;

· n1kPLV opened on Jan 14, 2023

Permit boolean variables and expressions in SCEst statements

enhancementNew feature or requestNew feature or request

Status: Open.

#77 In kieler/semantics;

· a-sr opened on Dec 16, 2022

Verification throws a generic exception for already closed connections when nuXmv is not on PATH

enhancementNew feature or requestNew feature or request

Status: Open.

#75 In kieler/semantics;

· NiklasRentzCAU opened on Nov 14, 2022