Dashboard

verification: smvInitializePreVariables set to true per default

verification: initialization of pre-variables in SMV code is now optional

added year in header

klighd-lsp: DocumentHighlight can be handled with the main LS injector. Fixes KIPRA-1960

simulation.ide: Initial draft for LS extension.

  1. … 10 more files in changeset.
klighd-lsp: ID generation now bases on hashCode to allow better animations.

simulation.ide: Mock LS extension.

Remove: KIELER Ptolemy Browser

  1. … 58 more files in changeset.
klighd-lsp: reset diagram servers when (re-)initializing

kicool-ide: reset current index calculation when reinitializing

Merge remote-tracking branch 'origin/master' into ssm/master

Merge branch 'ssm/circuits' into ssm/master

Merge branch 'ssm/causalView' into ssm/master

semantics: Added stream for release 1.0

    • -1
    • +142
    /setups/kieler-semantics-developers.setup
verification: fixed spin issue: _GO guard must be reset last. verification: optimized promela code-gen: put declarations inside atomic statement

keith-lsp: server connects correctly on reload. KIPRA-1959

language-server: server connects correctly on reload. KIPRA-1959

klighd-lsp: support for actions on KRenderingRefs

statebased.lean.cpp: Added Superclass and namespace pragma

Signed-off-by: Nis Wechselberg <wechselberg.nisboerge@scheidt-bachmann-st.de>

statebased.lean.cpp: Added lean statebased c++ code generator based on template approach

Signed-off-by: Nis Wechselberg <wechselberg.nisboerge@scheidt-bachmann-st.de>

Merge branch 'keith' into nre/implementation

Conflicts:

plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphLanguageServerExtension.xtend

klighd-lsp: Added support for layout options and actions in the diagramoptions sidebar.

Merge branch 'master' into aas/mt

statebased.lean.java: Added handling for javadoc comments on context methods

Signed-off-by: Nis Wechselberg <wechselberg.nisboerge@scheidt-bachmann-st.de>

klighd.lsp: Only initialize LS the first time.

This fixes the problem that the browser can be reloaded without

restarting the LS. It does however not fix the issue that the diagram

does not work after a reload in the browser version.

statebased.lean.java: Added superclass pragma

Signed-off-by: Nis Wechselberg <wechselberg.nisboerge@scheidt-bachmann-st.de>

statebased.lean.java: Added superclass pragma

Signed-off-by: Nis Wechselberg <wechselberg.nisboerge@scheidt-bachmann-st.de>

simulation: Added blacklist to exclude variables from json communication

Merge branch 'keith' of ssh://git@git.rtsys.informatik.uni-kiel.de:7999/kieler/pragmatics.git into keith

sprotty: Added xtend sources for all jars individually.

    • -4
    • +4
    /plugins/org.eclipse.sprotty/.classpath