kieler/semantics

Issues

• language server contains xtend files

  #104 opened 6 months ago by NiklasRentzCAU
  0

• Student feedback: Proper Javadoc in HTML support

  #103 opened 8 months ago by soerendomroes
  0

• Student feedback: The simulation of history transitions does not work

  #102 opened 8 months ago by soerendomroes
  0

• Student feedback: Error markers

  #101 opened 8 months ago by soerendomroes
  0

• Student feedback: SCCharts Syntax not properly documented

  #100 opened 8 months ago by soerendomroes
  0

• Student feedback: Nearly everything got a warning label

  #99 opened 8 months ago by soerendomroes
  0

• Student feedback: KIELER was working and crashed after some weeks

  #98 opened 8 months ago by soerendomroes
  0

• Range Assumptions not propagated for Pre-Variables

  #87 opened a year ago by BLuedtke
  1

• Simulation Exceptions

  #86 opened a year ago by Drakae
  0

• NXJ: "TickWakeUp" generates wrong code.

  #80 opened a year ago by n1kPLV
  0

• Documentation for LightSensor (leJOS) doesn't match implementation

  #79 opened a year ago by liamboddin
  0

• Combine automatically generated boolean variables

  #78 opened 2 years ago by n1kPLV
  1

• Permit boolean variables and expressions in SCEst statements

  #77 opened 2 years ago by a-sr
  0

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

  #75 opened 2 years ago by NiklasRentzCAU
  0

• LS fails since xtext 2.28

  #71 opened 2 years ago by soerendomroes
  0

• Modify nightly product build to not require already published nightly update site

  #11 opened 2 years ago by NiklasRentzCAU
  0

• [KISEMA-1329] For SCChart simulation with induced data flow, show state of registers

  #48 opened 2 years ago by fabianheyer
  0

• [KISEMA-1594] Add "Undo Step" in Simulation

  #38 opened 2 years ago by fabianheyer
  0

• [KISEMA-1245] Colors and fonts used in syntheses should be configurable in the preferences

  #47 opened 2 years ago by fabianheyer
  0

• [KISEMA-1612] Visualization of certain compilation products of Netlist SSA (SCCharts->SMV) fails - IllegalArgumentException in SCGSerializeHRExtensions

  #24 opened 2 years ago by fabianheyer
  0

• [KISEMA-1534] Prio Java Code Generation produces wrong Behavior

  #43 opened 2 years ago by fabianheyer
  2

• [KISEMA-1580] Make SCCharts highlighting framework LS ready

  #41 opened 2 years ago by fabianheyer
  1

• [KISEMA-1416] Mixing termination and abort yields unschedulable model with lean approach

  #20 opened 2 years ago by fabianheyer
  0

• [KISEMA-1589] Strong Self Abort Semantics

  #21 opened 2 years ago by fabianheyer
  0

• [KISEMA-1524] Somewhere a instantaneous loop is created by the SCCharts compiler

  #22 opened 2 years ago by fabianheyer
  0

• [KISEMA-1611] Simulation visualization infers a wrong active state

  #17 opened 2 years ago by fabianheyer
  0

• [KISEMA-1418] Model separate communicating components in one SCChart

  #18 opened 2 years ago by fabianheyer
  0

• [KISEMA-1600] Incomplete GO Conditional Merger breaks Assignment Order

  #19 opened 2 years ago by fabianheyer
  0

• [KISEMA-1585] StackOverflow in DebugBreakpointManager

  #16 opened 2 years ago by fabianheyer
  0

• [KISEMA-1490] Add a template for debounced buttons

  #44 opened 2 years ago by fabianheyer
  0

• [KISEMA-1374] Introduce "currentState" output for debugging

  #45 opened 2 years ago by fabianheyer
  0

• [KISEMA-1324] Simulation should also consider _TERM signal

  #46 opened 2 years ago by fabianheyer
  0

• [KISEMA-1576] Pre: Use SDs to avoid reg vars in transformation

  #42 opened 2 years ago by fabianheyer
  0

• [KISEMA-1591] Pre in Count Delay Transformation is superfluos

  #40 opened 2 years ago by fabianheyer
  0

• [KISEMA-1593] Automatic Reset for Input Signals in Simulation View

  #39 opened 2 years ago by fabianheyer
  0

• [KISEMA-1075] Count delay not possible in during action

  #36 opened 2 years ago by fabianheyer
  0

• [KISEMA-1583] Dataflow regions reserve space for local declarations even if the option is disabled

  #33 opened 2 years ago by fabianheyer
  0

• [KISEMA-1609] Commutative Operators in Dataflow should have free port constraints

  #34 opened 2 years ago by fabianheyer
  2

• [KISEMA-1597] Promela export of arrays fails to declare array vars properly

  #35 opened 2 years ago by fabianheyer
  0

• [KISEMA-1498] Sometines reference expansion throws an error

  #32 opened 2 years ago by fabianheyer
  0

• [KISEMA-1605] Nested ternary operators are too hard

  #29 opened 2 years ago by fabianheyer
  0

• [KISEMA-1572] NPE in NXJ compilation

  #31 opened 2 years ago by fabianheyer
  0

• [KISEMA-1577] Deep Deferred defers inner states

  #30 opened 2 years ago by fabianheyer
  0

• [KISEMA-1538] KExpression only support 32bit integer values as literals

  #26 opened 2 years ago by fabianheyer
  0

• [KISEMA-1607] Inlined SCCharts with simple output=input behavior have inconsistent wiring

  #27 opened 2 years ago by fabianheyer
  0

• [KISEMA-1596] Promela export of some final state refers to an undeclared variable

  #28 opened 2 years ago by fabianheyer
  0

• [KISEMA-1598] Reference + array = error

  #25 opened 2 years ago by fabianheyer
  0

• [KISEMA-1588] Update in Dataflow is not recognized in Optimization

  #23 opened 2 years ago by fabianheyer
  0

• Exit transformation creates infinite self-loop

  #14 opened 2 years ago by eNBeWe
  2

• Github actions building Semantics product (RCA): Name of zip is swapped for Windows and Linux

  #9 opened 3 years ago by BLuedtke
  0