Dashboard

Welcome Message

Welcome to KIELER Fisheye

Support

You are running Crucible 4.3.1 with FishEye 4.3.1 (20170221073340 2017-02-21)

If you are experiencing any issues, please contact your administrator. You may also want to browse the documentation or search the support forums. Still stuck? You can start a support ticket at support.atlassian.com or raise a bug or feature request at jira.atlassian.com.

Customize the support message.

Friday 19 Apr
1:25 pm

Andreas Stange

verification: smvInitializePreVariables set to true per default

Options
    • -2
    • +2
    /plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
    • -1
    • +1
    /plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationContext.xtend
    • -1
    • +1
    /test/de.cau.cs.kieler.sccharts.test/src/de/cau/cs/kieler/sccharts/test/e/verification/SCChartsVerificationBenchmark.xtend
1:07 pm

Andreas Stange

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

Options
    • -3
    • +7
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/codegen/smv/SmvCodeGeneratorAssignModule.xtend
    • -8
    • +18
    /plugins/de.cau.cs.kieler.verification.ui/src/de/cau/cs/kieler/verification/ui/view/VerificationView.xtend
    • -2
    • +5
    /plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationContext.xtend
    • -0
    • +2
    /test/de.cau.cs.kieler.sccharts.test/src/de/cau/cs/kieler/sccharts/test/e/verification/SCChartsVerificationBenchmark.xtend
12:16 pm

Andreas Stange

added year in header

Options
    • -2
    • +2
    /plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/VerificationContext.xtend
    • -1
    • +1
    /plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/extensions/VerificationExtensions.xtend
Thursday 18 Apr
3:58 pm

Niklas Rentz

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

Options
    • -0
    • +46
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphLanguageServerExtension.xtend
1:58 pm

Soeren Domroes

simulation.ide: Initial draft for LS extension.

Options
    • -35
    • +37
    /plugins/de.cau.cs.kieler.kicool.ide/src/de/cau/cs/kieler/kicool/ide/language/server/KiCoolLanguageServerExtension.xtend
    • -1
    • +2
    /plugins/de.cau.cs.kieler.kivis.ui/META-INF/MANIFEST.MF
    • -12
    • +11
    /plugins/de.cau.cs.kieler.kivis.ui/src/de/cau/cs/kieler/kivis/ui/views/KiVisView.xtend
    • -1
    • +5
    /plugins/de.cau.cs.kieler.simulation.ide/META-INF/MANIFEST.MF
    • -1
    • +2
    /plugins/de.cau.cs.kieler.simulation.ide/build.properties
    • -0
    • +11
    /plugins/de.cau.cs.kieler.simulation.ide/plugin.xml
    • -0
    • +83
    /plugins/de.cau.cs.kieler.simulation.ide/src/de/cau/cs/kieler/simulation/ide/SimulationIDE.xtend
    • -0
    • +23
    /plugins/de.cau.cs.kieler.simulation.ide/src/de/cau/cs/kieler/simulation/ide/language/server/ClientInputs.xtend
    • -1
    • +2
    /plugins/de.cau.cs.kieler.simulation.ide/src/de/cau/cs/kieler/simulation/ide/language/server/CommandExtension.xtend
    • -25
    • +43
    /plugins/de.cau.cs.kieler.simulation.ide/src/de/cau/cs/kieler/simulation/ide/language/server/SimulationLanguageServerExtension.xtend
    • -2
    • +3
    /plugins/de.cau.cs.kieler.simulation.ide/src/de/cau/cs/kieler/simulation/ide/language/server/SimulationStartedMessage.xtend
    • -2
    • +2
    /plugins/de.cau.cs.kieler.simulation.ide/src/de/cau/cs/kieler/simulation/ide/language/server/SimulationStepMessage.xtend
    • -0
    • +44
    /plugins/de.cau.cs.kieler.simulation.ide/src/de/cau/cs/kieler/simulation/ide/language/server/UserValues.xtend
    • -0
    • +60
    /plugins/de.cau.cs.kieler.simulation.ide/src/de/cau/cs/kieler/simulation/ide/preferences/SimulationPreferences.xtend
    • -54
    • +12
    /plugins/de.cau.cs.kieler.simulation.ui/src/de/cau/cs/kieler/simulation/ui/SimulationUI.xtend
  16. … 10 more files in changeset.
10:52 am

Niklas Rentz

klighd-lsp: ID generation now bases on hashCode to allow better animations.

Options
    • -19
    • +2
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphDiagramGenerator.xtend
    • -40
    • +24
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/utils/KGraphElementIDGenerator.xtend
    • -2
    • +2
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/utils/RenderingPreparer.xtend
Wednesday 17 Apr
10:23 am

Soeren Domroes

simulation.ide: Mock LS extension.

Options
    • -1
    • +3
    /plugins/de.cau.cs.kieler.kicool.ide/src/de/cau/cs/kieler/kicool/ide/language/server/KiCoolLanguageServerExtension.xtend
    • -3
    • +12
    /plugins/de.cau.cs.kieler.simulation.ide/META-INF/MANIFEST.MF
    • -0
    • +1
    /plugins/de.cau.cs.kieler.simulation.ide/META-INF/services/de.cau.cs.kieler.language.server.ILanguageServerContribution
    • -0
    • +45
    /plugins/de.cau.cs.kieler.simulation.ide/src/de/cau/cs/kieler/simulation/ide/language/server/CommandExtension.xtend
    • -0
    • +24
    /plugins/de.cau.cs.kieler.simulation.ide/src/de/cau/cs/kieler/simulation/ide/language/server/SimulationData.xtend
    • -0
    • +27
    /plugins/de.cau.cs.kieler.simulation.ide/src/de/cau/cs/kieler/simulation/ide/language/server/SimulationLanguageServerContribution.xtend
    • -0
    • +88
    /plugins/de.cau.cs.kieler.simulation.ide/src/de/cau/cs/kieler/simulation/ide/language/server/SimulationLanguageServerExtension.xtend
    • -0
    • +26
    /plugins/de.cau.cs.kieler.simulation.ide/src/de/cau/cs/kieler/simulation/ide/language/server/SimulationStartedData.xtend
    • -0
    • +28
    /plugins/de.cau.cs.kieler.simulation.ide/src/de/cau/cs/kieler/simulation/ide/language/server/SimulationStartedMessage.xtend
    • -0
    • +28
    /plugins/de.cau.cs.kieler.simulation.ide/src/de/cau/cs/kieler/simulation/ide/language/server/SimulationStepMessage.xtend
    • -0
    • +26
    /plugins/de.cau.cs.kieler.simulation.ide/src/de/cau/cs/kieler/simulation/ide/language/server/SimulationStoppedMessage.xtend
Tuesday 16 Apr
4:20 pm

Christoph Daniel Schulze

Remove: KIELER Ptolemy Browser

Options
    • -22
    • +0
    /build/de.cau.cs.kieler.ptolemy.rcp.repository/.project
    • -83
    • +0
    /build/de.cau.cs.kieler.ptolemy.rcp.repository/pom.xml
    • -299
    • +0
    /build/de.cau.cs.kieler.ptolemy.rcp.repository/ptolemy_rcp.product
    • -20
    • +0
    /build/pom.xml
    • -17
    • +0
    /features/de.cau.cs.kieler.ptview.feature/.project
    • -5
    • +0
    /features/de.cau.cs.kieler.ptview.feature/build.properties
    • -262
    • +0
    /features/de.cau.cs.kieler.ptview.feature/epl-v10.html
    • -245
    • +0
    /features/de.cau.cs.kieler.ptview.feature/feature.xml
    • -14
    • +0
    /features/de.cau.cs.kieler.ptview.feature/pom.xml
    • -1
    • +0
    /features/pom.xml
    • -10
    • +0
    /plugins/de.cau.cs.kieler.ptolemy.klighd/.checkstyle
    • -8
    • +0
    /plugins/de.cau.cs.kieler.ptolemy.klighd/.classpath
    • -34
    • +0
    /plugins/de.cau.cs.kieler.ptolemy.klighd/.project
    • -286
    • +0
    /plugins/de.cau.cs.kieler.ptolemy.klighd/.settings/org.eclipse.jdt.core.prefs
    • -5
    • +0
    /plugins/de.cau.cs.kieler.ptolemy.klighd/.settings/org.eclipse.jdt.ui.prefs
  16. … 58 more files in changeset.
4:20 pm

Niklas Rentz

klighd-lsp: reset diagram servers when (re-)initializing

Options
    • -0
    • +9
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphLanguageServerExtension.xtend
4:19 pm

Niklas Rentz

kicool-ide: reset current index calculation when reinitializing

Options
    • -0
    • +2
    /plugins/de.cau.cs.kieler.kicool.ide/src/de/cau/cs/kieler/kicool/ide/language/server/KiCoolLanguageServerExtension.xtend
Monday 15 Apr
5:54 pm

Steven Smyth

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

Options
    • -1
    • +1
    /plugins/de.cau.cs.kieler.kicool/META-INF/MANIFEST.MF
    • -1
    • +1
    /plugins/de.cau.cs.kieler.scg.klighd/META-INF/MANIFEST.MF
5:49 pm

Steven Smyth

Merge branch 'ssm/circuits' into ssm/master

Options
5:48 pm

Steven Smyth

Merge branch 'ssm/causalView' into ssm/master

Options
2:42 pm

Alexander Schulz-Rosengarten

semantics: Added stream for release 1.0

Options
    • -1
    • +142
    /setups/kieler-semantics-developers.setup
Saturday 13 Apr
7:17 pm

Andreas Stange

verification: fixed spin issue: _GO guard must be reset last. verification: optimized promela code-gen: put declarations inside atomic statement

Options
    • -5
    • +4
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/codegen/promela/PromelaCodeGeneratorDeclarationModule.xtend
    • -1
    • +1
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/codegen/promela/PromelaCodeGeneratorModule.xtend
    • -0
    • +5
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/codegen/promela/PromelaCodeGeneratorModuleBase.xtend
    • -1
    • +19
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/codegen/promela/PromelaCodeGeneratorTickModule.xtend
    • -1
    • +2
    /plugins/de.cau.cs.kieler.verification/src/de/cau/cs/kieler/verification/processors/spin/SpinTrailInterpreter.xtend
Friday 12 Apr
3:50 pm

Niklas Rentz

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

Options
    • -3
    • +3
    /plugins/de.cau.cs.kieler.kgraph.text.ide/src/de/cau/cs/kieler/kgraph/text/ide/KGraphIdeSetup.java
    • -0
    • +26
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphDiagramServerModule.xtend
    • -18
    • +1
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphLanguageServerExtension.xtend
3:49 pm

Niklas Rentz

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

Options
    • -11
    • +9
    /plugins/de.cau.cs.kieler.language.server/src/de/cau/cs/kieler/language/server/LSCreator.xtend
    • -2
    • +1
    /plugins/de.cau.cs.kieler.language.server/src/de/cau/cs/kieler/language/server/LanguageRegistration.xtend
    • -3
    • +4
    /plugins/de.cau.cs.kieler.language.server/src/de/cau/cs/kieler/language/server/LanguageServer.xtend
    • -5
    • +6
    /plugins/de.cau.cs.kieler.language.server/src/de/cau/cs/kieler/language/server/LanguageServerLauncher.xtend
10:34 am

Niklas Rentz

klighd-lsp: support for actions on KRenderingRefs

Options
    • -9
    • +25
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/utils/KGraphElementIDGenerator.xtend
8:48 am

Nis Wechselberg

statebased.lean.cpp: Added Superclass and namespace pragma

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

Options
    • -0
    • +10
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/statebased/lean/codegen/cpp/StatebasedLeanCppCodeGenerator.xtend
    • -1
    • +20
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/statebased/lean/codegen/cpp/StatebasedLeanCppTemplate.xtend
8:33 am

Nis Wechselberg

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

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

Options
    • -0
    • +6
    /plugins/de.cau.cs.kieler.sccharts/plugin.xml
    • -0
    • +65
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/statebased/codegen/cpp/StatebasedCppCodeSerializeHRExtensions.xtend
    • -0
    • +120
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/statebased/lean/codegen/cpp/StatebasedLeanCppCodeGenerator.xtend
    • -0
    • +376
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/statebased/lean/codegen/cpp/StatebasedLeanCppTemplate.xtend
    • -0
    • +11
    /plugins/de.cau.cs.kieler.sccharts/system/de.cau.cs.kieler.sccharts.statebased.lean.template.cpp.kico
Thursday 11 Apr
3:17 pm

Niklas Rentz

Merge branch 'keith' into nre/implementation

Conflicts:

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

Options
    • -0
    • +15
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphLanguageServerExtension.xtend
3:04 pm

Niklas Rentz

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

Options
    • -7
    • +30
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/IDiagramOptionsLanguageServerExtension.xtend
    • -3
    • +3
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphDiagramServer.xtend
    • -1
    • +32
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphDiagramState.xtend
    • -6
    • +118
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphLanguageServerExtension.xtend
    • -1
    • +3
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphLayoutEngine.xtend
    • -2
    • +1
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/gson_utils/KGraphTypeAdapterUtil.xtend
    • -0
    • +131
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/model/LayoutOptionUIData.xtend
    • -0
    • +164
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/model/OptionMessageData.xtend
    • -82
    • +0
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/model/OptionParams.xtend
Wednesday 10 Apr
4:33 pm

Andreas Stange

Merge branch 'master' into aas/mt

Options
    • -1
    • +1
    /plugins/de.cau.cs.kieler.sccharts.ui/META-INF/MANIFEST.MF
    • -1
    • +1
    /plugins/de.cau.cs.kieler.sccharts/META-INF/MANIFEST.MF
    • -1
    • +1
    /plugins/de.cau.cs.kieler.scg/META-INF/MANIFEST.MF
    • -1
    • +1
    /test/de.cau.cs.kieler.sccharts.test/META-INF/MANIFEST.MF
    • -1
    • +1
    /test/de.cau.cs.kieler.test.common/META-INF/MANIFEST.MF
3:14 pm

Nis Wechselberg

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

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

Options
    • -42
    • +7
    /plugins/de.cau.cs.kieler.annotations/src/de/cau/cs/kieler/annotations/converter/AnnotationsValueConverter.xtend
    • -1
    • +12
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/statebased/lean/codegen/java/StatebasedLeanJavaTemplate.xtend
Tuesday 09 Apr
4:55 pm

Soeren Domroes

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.

Options
    • -0
    • +16
    /plugins/de.cau.cs.kieler.klighd.lsp/src/de/cau/cs/kieler/klighd/lsp/KGraphLanguageServerExtension.xtend
2:12 pm

Nis Wechselberg

statebased.lean.java: Added superclass pragma

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

Options
    • -1
    • +7
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/statebased/lean/codegen/java/StatebasedLeanJavaCodeGenerator.xtend
    • -2
    • +3
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/statebased/lean/codegen/java/StatebasedLeanJavaTemplate.xtend
2:12 pm

Nis Wechselberg

statebased.lean.java: Added superclass pragma

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

Options
    • -1
    • +7
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/statebased/lean/codegen/java/StatebasedLeanJavaCodeGenerator.xtend
    • -2
    • +3
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/statebased/lean/codegen/java/StatebasedLeanJavaTemplate.xtend
12:38 pm

Alexander Schulz-Rosengarten

simulation: Added blacklist to exclude variables from json communication

Options
    • -0
    • +37
    /plugins/de.cau.cs.kieler.simulation/src/de/cau/cs/kieler/simulation/processor/AbstractSimulationTemplateGenerator.xtend
    • -5
    • +3
    /plugins/de.cau.cs.kieler.simulation/src/de/cau/cs/kieler/simulation/processor/CSimulationTemplateGenerator.xtend
    • -5
    • +3
    /plugins/de.cau.cs.kieler.simulation/src/de/cau/cs/kieler/simulation/processor/JavaSimulationTemplateGenerator.xtend
12:22 pm

Soeren Domroes

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

Options
12:21 pm

Soeren Domroes

sprotty: Added xtend sources for all jars individually.

Options
    • -4
    • +4
    /plugins/org.eclipse.sprotty/.classpath
    • binary
    /plugins/org.eclipse.sprotty/lib/org.eclipse.sprotty-0.6.0-sources.jar
    • binary
    /plugins/org.eclipse.sprotty/lib/org.eclipse.sprotty.layout-0.6.0-sources.jar
    • binary
    /plugins/org.eclipse.sprotty/lib/org.eclipse.sprotty.server-0.6.0-sources.jar
    • binary
    /plugins/org.eclipse.sprotty/lib/org.eclipse.sprotty.xtext-0.6.0-sources.jar
    • binary
    /plugins/org.eclipse.sprotty/lib/sprotty-server-0.6.0-sources.zip