KIELER
  1. KIELER

semantics

Public
AuthorCommitMessageCommit dateIssues
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
6277acf9dd2MMerge remote-tracking branch 'origin/als/oo'
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
8a2a6cd8d8fcli: Sources given as directories will now retain their sub-directory structure when the output destination is also a directory.Added creation of parent directories when creating files.
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
4398bc29843kicodia: Added error reporting for exceptions in synthesis
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
78ae98d432bkicodia: Added error reporting for exceptions in synthesis
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
c4853c9d3e1MPull request #276: New OO FeaturesMerge in KIELER/semantics from als/oo to master * commit '0b26fc24ba960e6a36db6e44bf32eb8e893ef583': sccharts: Added general class diagram style synthesis for SCCharts kexpressions: Included null value in regular set of expression values. sccharts: Added support for method signaling and state access in methods scchart: Fixed synthesis for host enums sccharts: Fixed method call valida...
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
0b26fc24ba9MMerge remote-tracking branch 'origin/master' into als/oo
Bennet BlessmannAlexander Schulz-RosengartenBennet Blessmann
f307bc3aa83MPull request #273: add a launch configuration for the language serverMerge in KIELER/semantics from ben_mip/dev to master * commit '77bc48b9ee0dee12764c927130d417f33b9b2842': lustre.ui, scl.ui: migrated synthesis registration to KLighD startup hooks available for extension point and Java service registration. launch: configured launch configurations for KIELER and the LS (with and without KLighD in the workspace) remove some ui plugin dependencies remov...
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
0fe2c1ba704sccharts: Added general class diagram style synthesis for SCCharts
Soeren DomroesAlexander Schulz-RosengartenSoeren Domroes
a1499e9ff36MPull request #275: Initial state model orderMerge in KIELER/semantics from sdo/initialStateModelOrder to master * commit 'e1350824d882023ca93f0118b28db2422c89bcca': scccharts.ui: Corrected model order recognition for initial state. sccharts.ui: Initial state is not FIRST if not first in model.
Soeren DomroesSoeren Domroes
e1350824d88scccharts.ui: Corrected model order recognition for initial state.Signed-off-by: Soeren Domroes <sdo@informatik.uni-kiel.de>
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
a45fbb36eb1MMerge remote-tracking branch 'origin/master' into als/oo
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
c213bf774bckexpressions: Included null value in regular set of expression values.Adjusted initialization transformation to initialize strings with null.
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
91488433144sccharts: Added support for method signaling and state access in methods
Soeren DomroesSoeren Domroes
eba61f83b20sccharts.ui: Initial state is not FIRST if not first in model.Signed-off-by: Soeren Domroes <sdo@informatik.uni-kiel.de>
Niklas RentzNiklas Rentz
77bc48b9ee0lustre.ui, scl.ui: migrated synthesis registration to KLighD startuphooks available for extension point and Java service registration.
Niklas RentzNiklas Rentz
6430296cf39launch: configured launch configurations for KIELER and the LS (with andwithout KLighD in the workspace)
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
5a178b1152cscchart: Fixed synthesis for host enums
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
13be09748a2sccharts: Fixed method call validation for policy regions
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
2e435be23b4cli.test: Adjusted workaround for initialization side-effects on tests
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
164c4e87946tests: Added workaround for errors caused by new explicit initializationof variables
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
a067bfa928esccharts: Added new input ref declaration.Added subtyping for related bindings and support for binding to the scchart itself (this). Also added computed vector values.
Bennet BleßmannBennet Bleßmann
9523099542bremove some ui plugin dependencies
Bennet BleßmannBennet Bleßmann
7170d1c0f46remove piccolo plugin dependencies
Bennet BleßmannBennet Bleßmann
1dc310ce41dremove test plugin dependencies
Bennet BleßmannBennet Bleßmann
a18e603834badd launch config for KIELER
Bennet BleßmannBennet Bleßmann
0a1b7a0fe54rename launch config for language server
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
eea34d44330simulation: Improved memory usage of benchmarks
Bennet BleßmannBennet Bleßmann
036aa27251aadd a launch configuration for the language server
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
d511e6c8464sccharts: Fixed access visibility problem with sccharts-based classeswith regions
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
93f112e3c15esterel: Fixed serialization problem in Esterel SSC compilation
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
5e67872f269sccharts: Fixed initialization of host classes.
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
5df447321f3sccharts: Fixed bug with initialization of inputs and host classes
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
8ae9d0447e5MMerge remote-tracking branch 'origin/master' into als/ooConflicts: plugins/de.cau.cs.kieler.esterel.ide/src-gen/de/cau/cs/kieler/esterel/ide/contentassist/antlr/internal/InternalEsterelParser.java plugins/de.cau.cs.kieler.esterel/src-gen/de/cau/cs/kieler/esterel/parser/antlr/internal/InternalEsterelParser.java
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
a97457eac5akexpressions: Fixed grammar decision error related to annotations inenums
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
c7640fb5a39sccharts: Excluded generated variables from automatic implicitinitialization.
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
1ee795351besccharts: Improved initialization for classes.Also added support for vector assignments to arrays in methods.
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
6b343ef1269kexpressions: Added checks for struct structure
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
1de9db2c7d0sccharts: Initialization transformation will now also perform implicit initialization.Can be turned off via property.
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
9984f568edfkexpressions: Introduced undefined access modifier state for variables
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
c704fb157dekexpressions: Improved dependency analysis for class members
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
1d7527aaf75sccharts: Added dedicated keyword for referenced SCCharts with modulecall semantics (call by value binding).
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
ad6b749c613*: Set compliance level for all emf generated code to Java 11
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
628336f6067kexpression: Added extension for checking access modifier ondeclarations
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
3a3437b8c65MPull request #272: Enums and OO ImprovementsMerge in KIELER/semantics from als/oo to master * commit '2870ca03e55572cc1af0c02e96c3dd618d2692db': sccharts: Adjusted static access keyword into more expressive one. scg: Added pragma for adding hostcode inside the generated java class. kexpressions, sccharts: Added support and transformation for enums. sccharts: Adjusted naming of inherited private fields sccharts: Fixed recently ...
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
2870ca03e55sccharts: Adjusted static access keyword into more expressive one.
Bennet BlessmannAlexander Schulz-RosengartenBennet Blessmann
79bbb9a6021MPull request #270: Ben mip/devMerge in KIELER/semantics from ben_mip/dev to master * commit 'a9098aaff9b998d2883b7bc46e49fa5b221488f8': properly set IS_NODE_TITLE property Sort KlighdProperties import Add node title property for macro state labels
Soeren DomroesAlexander Schulz-RosengartenSoeren Domroes
55f8dbdf776MPull request #271: sccharts.ui: Remove ellipsis if no priority is available.Merge in KIELER/semantics from sdo/priorityLabelEllipsis to master * commit '91d88825fcdb759c23b7a1b65b0294deb5c9f1c4': sccharts.ui: Remove ellipsis if no priority is available.
Soeren DomroesSoeren Domroes
91d88825fcdsccharts.ui: Remove ellipsis if no priority is available.
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
dae0c1a6638scg: Added pragma for adding hostcode inside the generated java class.
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
aa34eaac001MMerge remote-tracking branch 'origin/master' into als/ooConflicts: plugins/de.cau.cs.kieler.kicool/src/de/cau/cs/kieler/kicool/compilation/VariableStore.xtend plugins/de.cau.cs.kieler.sccharts.ide/src-gen/de/cau/cs/kieler/sccharts/ide/text/contentassist/antlr/internal/InternalSCTX.tokens plugins/de.cau.cs.kieler.sccharts.ide/src-gen/de/cau/cs/kieler/sccharts/ide/text/contentassist/antlr/internal/InternalSCTXLexer.java plugins/de.cau.cs.kieler.sc...