Dashboard

Welcome Message

Welcome to KIELER Fisheye

Support

You are running Crucible 4.8.4 with Fisheye 4.8.4 (20200911103310 2020-09-11 10:34)

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.

Thursday 21 Jan
3:34 pm

Niklas Rentz

language-server: inherit onConnect behavior of KLighD

Options
    • -0
    • +1
    /plugins/de.cau.cs.kieler.language.server/src/de/cau/cs/kieler/language/server/LSCreator.xtend
Wednesday 20 Jan
12:03 pm

Alexander Schulz-Rosengarten

sccharts: Fixed another problem with bindings in super regions

Options
    • -1
    • +1
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/Reference.xtend
12:02 pm

Alexander Schulz-Rosengarten

scg: Fixed Java prio code gen where constructor must be after logic code

Options
    • -1
    • +6
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/codegen/prio/java/JavaPrioCodeGeneratorStructModule.xtend
Monday 18 Jan
4:56 pm

Alexander Schulz-Rosengarten

sccharts: Improved validator for reference declarations

Options
    • -15
    • +58
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/text/validation/SCTXValidator.xtend
Sunday 17 Jan
3:22 pm

Alexander Schulz-Rosengarten

sccharts: Removed support for alternative generics declaration because it causes probelms with < keyword and ambiguity in serialization

Options
    • -14
    • +5
    /plugins/de.cau.cs.kieler.sccharts.ide/src-gen/de/cau/cs/kieler/sccharts/ide/text/contentassist/antlr/SCTXParser.java
    • -363
    • +30
    /plugins/de.cau.cs.kieler.sccharts.ide/src-gen/de/cau/cs/kieler/sccharts/ide/text/contentassist/antlr/internal/InternalSCTX.g
    • -36
    • +34
    /plugins/de.cau.cs.kieler.sccharts.ide/src-gen/de/cau/cs/kieler/sccharts/ide/text/contentassist/antlr/internal/InternalSCTX.tokens
    • -424
    • +394
    /plugins/de.cau.cs.kieler.sccharts.ide/src-gen/de/cau/cs/kieler/sccharts/ide/text/contentassist/antlr/internal/InternalSCTXLexer.java
    • -26600
    • +25272
    /plugins/de.cau.cs.kieler.sccharts.ide/src-gen/de/cau/cs/kieler/sccharts/ide/text/contentassist/antlr/internal/InternalSCTXParser.java
    • -18
    • +0
    /plugins/de.cau.cs.kieler.sccharts.ui/src-gen/de/cau/cs/kieler/sccharts/ui/text/contentassist/AbstractSCTXProposalProvider.java
    • binary
    /plugins/de.cau.cs.kieler.sccharts/src-gen/de/cau/cs/kieler/sccharts/text/SCTX.xtextbin
    • -151
    • +14
    /plugins/de.cau.cs.kieler.sccharts/src-gen/de/cau/cs/kieler/sccharts/text/parser/antlr/internal/InternalSCTX.g
    • -93
    • +91
    /plugins/de.cau.cs.kieler.sccharts/src-gen/de/cau/cs/kieler/sccharts/text/parser/antlr/internal/InternalSCTX.tokens
    • -602
    • +572
    /plugins/de.cau.cs.kieler.sccharts/src-gen/de/cau/cs/kieler/sccharts/text/parser/antlr/internal/InternalSCTXLexer.java
    • -13869
    • +13382
    /plugins/de.cau.cs.kieler.sccharts/src-gen/de/cau/cs/kieler/sccharts/text/parser/antlr/internal/InternalSCTXParser.java
    • -22
    • +2
    /plugins/de.cau.cs.kieler.sccharts/src-gen/de/cau/cs/kieler/sccharts/text/serializer/AbstractSCTXSemanticSequencer.java
    • -131
    • +36
    /plugins/de.cau.cs.kieler.sccharts/src-gen/de/cau/cs/kieler/sccharts/text/services/SCTXGrammarAccess.java
    • -12
    • +0
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/text/SCTX.xtext
3:14 pm

Alexander Schulz-Rosengarten

sccharts: Fixed snapshots that were suppressed

Options
    • -2
    • +2
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/Reference.xtend
    • -2
    • +0
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/scg/SCGAbortRegionProcessor.xtend
    • -0
    • +2
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/MethodProcessor.xtend
3:13 pm

Alexander Schulz-Rosengarten

scg: Fixed NPE in guard expressions

Options
    • -4
    • +4
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/SimpleGuardExpressions.xtend
Saturday 16 Jan
3:10 pm

Alexander Schulz-Rosengarten

kexpressions: Improved conversion of emission refCall ambiguity

Options
    • -1
    • +1
    /plugins/de.cau.cs.kieler.kexpressions/src/de/cau/cs/kieler/kexpressions/keffects/converter/KEffectsEmissionReferenceCallConverter.xtend
2:47 pm

Alexander Schulz-Rosengarten

sccharts: Fixed validation rule for references if used in DF regions

Options
    • -0
    • +7
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/text/validation/SCTXValidator.xtend
2:35 pm

Alexander Schulz-Rosengarten

scchart.test: Added experimental test to try abort regions

Options
    • -0
    • +66
    /test/de.cau.cs.kieler.sccharts.test.simulation/src/de/cau/cs/kieler/sccharts/test/simulation/SCChartsAbortRegionSimulationExperiment.xtend
    • -0
    • +10
    /test/de.cau.cs.kieler.test.common/src/de/cau/cs/kieler/test/common/simulation/AbstractSimulationTest.xtend
2:34 pm

Alexander Schulz-Rosengarten

scg: Improved guard generation for seq. preempt. fork

Options
    • -1
    • +1
    /plugins/de.cau.cs.kieler.annotations/src/de/cau/cs/kieler/annotations/extensions/AnnotationsExtensions.xtend
    • -0
    • +12
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/extensions/SCGControlFlowExtensions.xtend
    • -46
    • +0
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/extensions/SCGSalamiForkExtensions.xtend
    • -0
    • +46
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/extensions/SCGSequentialForkExtensions.xtend
    • -23
    • +107
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/SimpleGuardExpressions.xtend
    • -1
    • +1
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/analyzer/ThreadAnalyzer.xtend
Tuesday 12 Jan
2:31 pm

Alexander Schulz-Rosengarten

scg: Fixed problem with dead guards in par-or join

Options
    • -2
    • +2
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/BasicBlockTransformation.xtend
    • -1
    • +3
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/synchronizer/ParOrSynchronizer.xtend
2:27 pm

Alexander Schulz-Rosengarten

scg: ThreadAnalyzer is now aware of preemetion by fork or join

Options
    • -1
    • +3
    /plugins/de.cau.cs.kieler.scg.klighd/src/de/cau/cs/kieler/scg/klighd/SCGraphHierarchySynthesis.xtend
    • -0
    • +4
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/SCGAnnotations.xtend
    • -6
    • +81
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/analyzer/ThreadAnalyzer.xtend
    • -3
    • +4
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/synchronizer/SynchronizerSelector.xtend
    • -6
    • +5
    /plugins/de.cau.cs.kieler.scl/src/de/cau/cs/kieler/scl/processors/transformators/SCLToSCGTransformation.xtend
11:14 am

Lena Grimm

sccharts: fixed wrong index check in method processor

Options
    • -1
    • +1
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/MethodProcessor.xtend
Monday 11 Jan
3:21 pm

Alexander Schulz-Rosengarten

sccharts: Added support for conditional and delayed termination with abort regions

Options
    • -33
    • +106
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/AbortRegion.xtend
Sunday 10 Jan
8:34 pm

Alexander Schulz-Rosengarten

sccharts+scg: Added experimental support for abort regions based on for with sequential preemtive scheduling and par-or join.

Also:

Improved preemtion keywords in sctx

Turned SuperfluosForkRemover into proper co-processor

Some minor changes in SCG processors

Options
    • -0
    • +2
    /plugins/de.cau.cs.kieler.lustre/system/de.cau.cs.kieler.lustre.c.kico
    • -41
    • +44
    /plugins/de.cau.cs.kieler.sccharts.ide/src-gen/de/cau/cs/kieler/sccharts/ide/text/contentassist/antlr/SCTXParser.java
    • -402
    • +523
    /plugins/de.cau.cs.kieler.sccharts.ide/src-gen/de/cau/cs/kieler/sccharts/ide/text/contentassist/antlr/internal/InternalSCTX.g
    • -3
    • +3
    /plugins/de.cau.cs.kieler.sccharts.ide/src-gen/de/cau/cs/kieler/sccharts/ide/text/contentassist/antlr/internal/InternalSCTX.tokens
    • -106
    • +106
    /plugins/de.cau.cs.kieler.sccharts.ide/src-gen/de/cau/cs/kieler/sccharts/ide/text/contentassist/antlr/internal/InternalSCTXLexer.java
    • -24009
    • +24477
    /plugins/de.cau.cs.kieler.sccharts.ide/src-gen/de/cau/cs/kieler/sccharts/ide/text/contentassist/antlr/internal/InternalSCTXParser.java
    • -0
    • +3
    /plugins/de.cau.cs.kieler.sccharts.ui/src-gen/de/cau/cs/kieler/sccharts/ui/text/contentassist/AbstractSCTXProposalProvider.java
    • -0
    • +3
    /plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/ControlflowRegionSynthesis.xtend
    • -0
    • +2
    /plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/styles/ColorStore.java
    • -0
    • +8
    /plugins/de.cau.cs.kieler.sccharts.ui/src/de/cau/cs/kieler/sccharts/ui/synthesis/styles/ControlflowRegionStyles.xtend
    • -0
    • +1
    /plugins/de.cau.cs.kieler.sccharts/model/sccharts.ecore
    • -0
    • +1
    /plugins/de.cau.cs.kieler.sccharts/model/sccharts.genmodel
    • binary
    /plugins/de.cau.cs.kieler.sccharts/src-gen/de/cau/cs/kieler/sccharts/text/SCTX.xtextbin
    • -126
    • +153
    /plugins/de.cau.cs.kieler.sccharts/src-gen/de/cau/cs/kieler/sccharts/text/parser/antlr/internal/InternalSCTX.g
    • -64
    • +64
    /plugins/de.cau.cs.kieler.sccharts/src-gen/de/cau/cs/kieler/sccharts/text/parser/antlr/internal/InternalSCTX.tokens
  16. … 72 more files in changeset.
10:43 am

Alexander Schulz-Rosengarten

sccharts: Added support for val operator on signals in methods

Options
    • -17
    • +20
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/Signal.xtend
Saturday 09 Jan
8:49 pm

Alexander Schulz-Rosengarten

scg: Improved compilation of methods and code generation for classes and methods

Options
    • -0
    • +8
    /plugins/de.cau.cs.kieler.kexpressions/src/de/cau/cs/kieler/kexpressions/extensions/KExpressionsValuedObjectExtensions.xtend
    • -10
    • +2
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/Reference.xtend
    • -10
    • +7
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/extensions/SCGDeclarationExtensions.xtend
    • -5
    • +50
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/extensions/SCGMethodExtensions.xtend
    • -13
    • +26
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/MethodProcessor.xtend
    • -1
    • +1
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/SimpleGuardSequentializer.xtend
    • -1
    • +1
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/SimpleGuardTransformation.xtend
    • -5
    • +47
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/codegen/c/CCodeGenerator.xtend
    • -9
    • +19
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/codegen/c/CCodeGeneratorLogicModule.xtend
    • -10
    • +23
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/codegen/c/CCodeGeneratorStructModule.xtend
    • -7
    • +12
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/codegen/c/CCodeSerializeHRExtensions.xtend
    • -0
    • +5
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/codegen/java/JavaCodeGenerator.xtend
    • -45
    • +2
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/codegen/java/JavaCodeGeneratorLogicModule.xtend
    • -1
    • +1
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/codegen/java/JavaCodeGeneratorModule.xtend
    • -22
    • +94
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/codegen/java/JavaCodeGeneratorStructModule.xtend
  16. … 3 more files in changeset.
8:12 pm

Alexander Schulz-Rosengarten

kexpressions: Removed support for upward visibility in inner classes

Options
    • -1
    • +6
    /plugins/de.cau.cs.kieler.kexpressions/src/de/cau/cs/kieler/kexpressions/kext/scoping/KExtScopeProvider.xtend
    • -1
    • +7
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/text/scoping/SCTXScopeProvider.xtend
Friday 08 Jan
5:33 pm

Alexander Schulz-Rosengarten

scg.klighd: Fixed return statement nodes

Options
    • -3
    • +2
    /plugins/de.cau.cs.kieler.scg.klighd/src/de/cau/cs/kieler/scg/klighd/SCGraphSynthesisHelper.xtend
5:23 pm

Alexander Schulz-Rosengarten

scg: Added support for inlining method calls in non-inlined method calls

Options
    • -49
    • +52
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/MethodProcessor.xtend
    • -1
    • +1
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/codegen/c/CCodeGeneratorLogicModule.xtend
1:30 pm

Alexander Schulz-Rosengarten

kepressions: Fixed reference call converter for variables that include indices

Options
    • -1
    • +4
    /plugins/de.cau.cs.kieler.kexpressions/src/de/cau/cs/kieler/kexpressions/keffects/converter/KEffectsEmissionReferenceCallConverter.xtend
11:46 am

Alexander Schulz-Rosengarten

scg: Fixed handling of method calls with method call in paramters

Options
    • -9
    • +8
    /plugins/de.cau.cs.kieler.scg/src/de/cau/cs/kieler/scg/processors/MethodProcessor.xtend
Thursday 07 Jan
7:34 pm

Alexander Schulz-Rosengarten

sccharts: Added support for initializations in classes instanciated as arrays

Options
    • -13
    • +65
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/Initialization.xtend
7:29 pm

Alexander Schulz-Rosengarten

sccharts: Added support for VO refs with sub references in pre

Options
    • -16
    • +1
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/extensions/SCChartsTransformationExtension.xtend
    • -2
    • +2
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/Abort.xtend
    • -11
    • +12
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/AbortWTO.xtend
    • -11
    • +12
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/AbortWTODeep.xtend
    • -3
    • +4
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/Pre.xtend
    • -3
    • +4
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/Termination.xtend
6:20 pm

Alexander Schulz-Rosengarten

sccharts: Fixed bindings in references to super regions

Options
    • -0
    • +1
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/Inheritance.xtend
5:14 pm

Niklas Rentz

c.sccharts: fixed faulty SSA-form for arrays.

Options
    • -2
    • +9
    /plugins/de.cau.cs.kieler.c.sccharts/src/de/cau/cs/kieler/c/sccharts/extensions/ExpressionConverterExtensions.xtend
    • -15
    • +23
    /plugins/de.cau.cs.kieler.c.sccharts/src/de/cau/cs/kieler/c/sccharts/processors/DataflowExtractor.xtend
Wednesday 06 Jan
4:32 pm

Niklas Rentz

c.sccharts: fixed cardinality and index mixup in array assignments.

Options
    • -2
    • +5
    /plugins/de.cau.cs.kieler.c.sccharts/src/de/cau/cs/kieler/c/sccharts/extensions/ExpressionConverterExtensions.xtend
10:55 am

Lena Grimm

sccharts: reference declaration variables are not added to vo store anymore

Options
    • -1
    • +4
    /plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/processors/Inheritance.xtend
10:41 am

Lena Grimm

kivis.ui: Fixed problem of disposed widget exception during simulation

Options
    • -1
    • +3
    /plugins/de.cau.cs.kieler.kivis.ui/src/de/cau/cs/kieler/kivis/ui/views/KiVisView.xtend