KIELER
  1. KIELER

semantics

Public
AuthorCommitMessageCommit dateIssues
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
5181d8f46b0MMerge branch 'als/lustre'
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
16c40d1a5calustre: Added separate property for lustre compiler options
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
ea997b1622bMPull request #288: lustre: Improved state detection for lustre simulation code generation.Merge in KIELER/semantics from als/lustre to master * commit 'e5fbb2f2eabf8dfbd3d04e902a1078eb62b73682': lustre: Improved state detection for lustre simulation code generation.
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
e5fbb2f2eablustre: Improved state detection for lustre simulation code generation.Now only reports concerning the main node are considered.
Soeren DomroesAlexander Schulz-RosengartenSoeren Domroes
f29aa85437eMPull request #287: kicool.ide: Check for NPE of exception.Merge in KIELER/semantics from sdo/CompilationErrorNPEFix to master * commit 'd67e517ae6204a76bd251c3535ac53939af4497e': kicool.ide: Check for NPE of exception.
Soeren DomroesSoeren Domroes
d67e517ae62kicool.ide: Check for NPE of exception.Signed-off-by: Soeren Domroes <sdo@informatik.uni-kiel.de>
Niklas RentzAlexander Schulz-RosengartenNiklas Rentz
896733e0bd9MPull request #284: simulation: changed trace loading/saving to happen on the server instead of on the clientMerge in KIELER/semantics from nre/tracesOnServer to master * commit 'a146cdb35e404d81fd2ab4997d8825db72f17f76': simulation.ide: decode URIs properly. simulation: changed trace loading/saving to happen on the server instead of on the client.
Niklas RentzAlexander Schulz-RosengartenNiklas Rentz
09e39fd2a61MPull request #286: SCCharts synthesis: reconfigured node titlesMerge in KIELER/semantics from nre/nodeTitles to master * commit 'dc83098889b731e1626cad08c67e781dc1e09edc': sccharts.ui: reconfigured node titles to be the entire title renderings and not only their KTexts.
Niklas RentzNiklas Rentz
a146cdb35e4simulation.ide: decode URIs properly.
Steven SmythAlexander Schulz-RosengartenSteven Smyth
1e7f804212bMPull request #285: sccharts dataflow: added semicolon as sequential operator to dataflowMerge in KIELER/semantics from ssm/seqdf to master * commit '1ef0101f99a18a223ae9bc853fb4498fc4f2f9a8': sccharts dataflow: added semicolon as sequential operator to dataflow
Niklas RentzNiklas Rentz
dc83098889bsccharts.ui: reconfigured node titles to be the entire title renderingsand not only their KTexts.
Steven SmythSteven Smyth
1ef0101f99asccharts dataflow: added semicolon as sequential operator to dataflow
Soeren DomroesAlexander Schulz-RosengartenSoeren Domroes
bfa2ded2a40MPull request #283: language.server: Add stacktrace to error message.Merge in KIELER/semantics from sdo/StacktraceOnCompilationException to master * commit '91dc620517ccaf124dd04bd8100286f78b3afeb8': language.server: Add stacktrace to error message.
Niklas RentzNiklas Rentz
699512b5ecdsimulation: changed trace loading/saving to happen on the server insteadof on the client.
Soeren DomroesSoeren Domroes
91dc620517clanguage.server: Add stacktrace to error message.Signed-off-by: Soeren Domroes <sdo@informatik.uni-kiel.de>
Niklas RentzAlexander Schulz-RosengartenNiklas Rentz
16f06be9ae6MPull request #282: Support for loading/saving traces in the LSMerge in KIELER/semantics from nre/traces to master * commit 'd3adf778be9745e8f04c5c637df17e15277b685f': simulation: added trace mismatch details to notification. simulation.ide: show TraceFinishedEvent and TraceMismatchEvent. simulation: fixed storing trace to string simulation: complete messaging for loading/saving traces, behavior not complete yet. simulation: load KTrace file
David WolffAlexander Schulz-RosengartenDavid Wolff
9bc30bf0f7eMPull request #257: Add node title property for macro state labelsMerge in KIELER/semantics from dwo/googleMapsForModels to master * commit '2f22b369114e87026df26e91c103009ed03ae9a8': Sort KlighdProperties import Add node title property for macro state labels
Niklas RentzNiklas Rentz
d3adf778be9MMerge remote-tracking branch 'origin/master' into nre/tracesConflicts: plugins/de.cau.cs.kieler.simulation.ide/src/de/cau/cs/kieler/simulation/ide/language/server/SimulationCommandExtension.xtend
Lena GrimmLena Grimm
ffdcccf3ec2simulation.ide: added command for starting simulation visualization server
Lena GrimmLena Grimm
3bad014a761simulation.ide: added missing jetty dependencies for language server
Soeren DomroesAlexander Schulz-RosengartenSoeren Domroes
06fa495bc2cMPull request #278: Sdo/AddIndexToCompilationSnapshotMerge in KIELER/semantics from sdo/AddIndexToCompilationSnapshot to master * commit '607082b48e9efd1c123a270a52f1ec721b2f3138': kicool.ide: LS: Add index to snapshot description.
Soeren DomroesAlexander Schulz-RosengartenSoeren Domroes
71e42071e49MPull request #277: language.server: Register language extensions on start.Merge in KIELER/semantics from sdo/RegisterLSLanguagesOnStart to master * commit 'f01c160034263a470d7a72f332b5c66bc6bcd372': language.server: Explain side effect of RegLSContrib getter. language.server: Register language extensions on start.
Soeren DomroesSoeren Domroes
f01c1600342language.server: Explain side effect of RegLSContrib getter.Signed-off-by: Soeren Domroes <sdo@informatik.uni-kiel.de>
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
fbe545c3f5cMPull request #281: KISEMA-1613Merge in KIELER/semantics from als/issues to master * commit '24fa8490c72f06c4d2b2da0fb70df272afc16555': sccharts: Fixed termination of final states with only entry actions. KISEMA-1613KISEMA-1613
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
24fa8490c72sccharts: Fixed termination of final states with only entry actions.KISEMA-1613KISEMA-1613
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
3d34a5511c7MMerge remote-tracking branch 'origin/master' into als/master
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
e2dc3f5dcadtest: Excluded large models from CI test
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
24e4ecbc457sccharts: Improved error message
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
846015d4164sccharts: Improved error message
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
e27bb1cc2a0MPull request #280: SCCharts Model Data AnalyzerMerge in KIELER/semantics from als/master to master * commit '34c82a836e9e46f8732ce3fd50df30d8b90e2c78': sccharts: Extended analyzer for basic model statistics in SCCharts sccharts: Added analyzer for basic model statistics in SCCharts kexpressions: Moved extension functions for IO build: Fixed Python 3 compatibility issue in uber jar script
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
34c82a836e9sccharts: Extended analyzer for basic model statistics in SCCharts
Niklas RentzNiklas Rentz
ce829cf20a9simulation: added trace mismatch details to notification.
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
19d9a9cb4a8sccharts: Added analyzer for basic model statistics in SCCharts
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
bcd47150c96kexpressions: Moved extension functions for IO
Niklas RentzNiklas Rentz
eea1809b4a0simulation.ide: show TraceFinishedEvent and TraceMismatchEvent.
Niklas RentzNiklas Rentz
41db79e76acsimulation: fixed storing trace to string
Niklas RentzNiklas Rentz
cb8c8e83633simulation: complete messaging for loading/saving traces, behavior notcomplete yet.
Niklas RentzNiklas Rentz
7c00a876d40simulation: load KTrace file
Soeren DomroesSoeren Domroes
607082b48e9kicool.ide: LS: Add index to snapshot description.Signed-off-by: Soeren Domroes <sdo@informatik.uni-kiel.de>
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
594a89bb7abbuild: Fixed Python 3 compatibility issue in uber jar script
Soeren DomroesSoeren Domroes
fb3d570af1blanguage.server: Register language extensions on start.Signed-off-by: Soeren Domroes <sdo@informatik.uni-kiel.de>
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.