KIELER
  1. KIELER

semantics

Public
  1. KIELER
  2. semantics

Commits

AuthorCommitMessageCommit dateIssues
Steven SmythSteven Smyth
ab003965f6cMMerge remote-tracking branch 'origin/master' into ssm/master
Steven SmythSteven Smyth
b7447b41656kico: fixed resource naming if resource is a file and not platform
Steven SmythSteven Smyth
bdd4abd3eb2codegen: adapted code generators to naming changes KISEMA-1383KISEMA-1383
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
a1aa9ecef30build: More output from eclipse ui script
Steven SmythSteven Smyth
4eea1c026d6kico.codegen: code generator modules can now have custom namesKISEMA-1383KISEMA-1383
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
3057606a3fbMMerge branch 'als/build'
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
525757093eaMMerge remote-tracking branch 'origin/master' into als/master
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
515763e89ddMMerge branch 'master' into als/build
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
5b46c03ed8bbuild: The eclipse ui script now only produces output on stdout
Steven SmythSteven Smyth
376f4148e43scg: fixed nondeterministic NPE in scheduler caused by SDJ KISEMA-1384KISEMA-1384
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
fb9f6eec0b6MMerge remote-tracking branch 'origin/master' into als/master
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
63e36d91fafesterel.compiler: Added check for ESTEREL environment variable
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
568e62c23d4build: Changed output streams of eclipse-ui test script
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
b8c56f6fa8cbuild: Fixed imports in dependency check script
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
f908ced9da7sccharts.ui: Fixed starting of validation when editor opens
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
421007e5820build: Added build script that can check requirements on non-eclipse-uiplugins
Steven SmythSteven Smyth
fdad9fb6358kico: old sc syntax re-enabled by default (changeable via property)KISEMA-1369KISEMA-1369
Steven SmythSteven Smyth
4980223b367sccharts: added validator warning for old rel write syntax KISEMA-1369KISEMA-1369
Steven SmythSteven Smyth
2d63f6d23b2kico: dependency analysis by default does not recognize old syntaxanymore KISEMA-1369KISEMA-1369
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
d8060794e85sccharts: Added optimization from termination into complex final states- Now more models can be accepted
Steven SmythSteven Smyth
3ab11d59fd3sccharts.ui: fixed NPE if present annotations have no name (such ascomment annotations)
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
e9a9b9be755sccharts: Added delay handling in terminations according to KISEMA-1314KISEMA-1314
Steven SmythSteven Smyth
6fe1769393bsccharts.ui: cleaned up AnnotateDependencyHandler
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
8c8eef72edfsccharts.test: Added filter for serialization test
Steven SmythSteven Smyth
9a67c92cd5dMMerge remote-tracking branch 'origin/master' into ssm/master
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
2098db5dad7sccharts.legacy: Added conversion of old relative writes to new sytanx
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
2f6ade7337eesterel.test: Berry compiler tests are skipped if compiler is notavailable
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
bd82eaeea16esterel.compieler: Removed compiler until license questions are resolved
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
ee140b9d099MMerge remote-tracking branch 'origin/master' into als/masterConflicts: plugins/de.cau.cs.kieler.sccharts/src/de/cau/cs/kieler/sccharts/text/serializer/SCTXSemanticSequencer.xtend
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
8c095e15992sccharts: Fixed serialization of transition propabilities
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
5edd1de47a7sccharts.test: Added test for serializer
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
3def4da6260sccharts: Updated transient value service- TagAnnotation is now no longer suppressed
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
dcc3f3d7e99sccharts: Fixed wrong serialization of for
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
3776ff062e2annotations: Serializer now omits quotes if allowed
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
994b7dcea07scchart: Serializer now uses preferred version of transition order- Same goes for regions - Still considers user choice if available - KISEMA-1382KISEMA-1382
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
a08c49f3b39sccharts: Added custom sequencer for regions to prefer curly brackets- KISEMA-1382KISEMA-1382
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
6074c6a9e26sccharts: Added curly bracket syntax for dataflow regions- Adapted formatter - Regenerated grammar - Precondition for KISEMA-1382KISEMA-1382
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
daffc67bf3ckeffects: Fixed problem with new emission rules in KTrace.- Regenerated all depending grammars - KISEMA-1376KISEMA-1376
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
fed370ddc2csccharts: Adapted sequencer to new recommended transition keyword order- KISEMA-1382KISEMA-1382
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
9bc9c4e50a4sccharts.legacy: Added conversion from double to float.KISEMA-1365KISEMA-1365
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
dd18299f732kexpression: Fixed parsing of Ref.CallEffects with empty parameters- Regenerated all depending grammars - KISEMA-1376KISEMA-1376
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
11b277368a6sccharts: Removed legacy transtion type support
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
de4a789a2c9MMerge pull request #151 in KIELER/semantics from nre/scgSynthesisFix to master* commit '3d9b57a73727662e2ec5bd745cd65b6699746eca': scg.klighd: corrected controlflow thickness usages to use float value
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
41cc01b392esccharts: Fixed wrong serialization of for
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
c26b220c4e2annotations: Serializer now omits quotes if allowed
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
61da31796d9scchart: Serializer now uses preferred version of transition order- Same goes for regions - Still considers user choice if available - KISEMA-1382KISEMA-1382
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
b092c863b77sccharts: Added custom sequencer for regions to prefer curly brackets- KISEMA-1382KISEMA-1382
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
cfb4a71d30fsccharts: Added curly bracket syntax for dataflow regions- Adapted formatter - Regenerated grammar - Precondition for KISEMA-1382KISEMA-1382
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
1336519cb83keffects: Fixed problem with new emission rules in KTrace.- Regenerated all depending grammars - KISEMA-1376KISEMA-1376
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
74b686f25a4sccharts: Adapted sequencer to new recommended transition keyword order- KISEMA-1382KISEMA-1382