Merge pull request #205 in KIELER/semantics from kolja/arrayInit to master* commit 'cc45111c671d975ed50f037536f9d70e64701138':
also support other assignment operators
move ArrayInitialisation processor before the user schedul processor
write traces to files witch contain negative numbers inside of arrays is now possible
add a processor that translates array initialisations like y[1] = {1,2,3} into different assignments
Merge pull request #203 in KIELER/semantics from kolja/master to master* commit '10f3a91a1bd898cc7692397166fa56c78cee4408':
regenerate some xtext grammars
labels of variables are now also shown in dataflow diagrams
Project systems now stay selected when changing the edited file
added labels to valued objects and show them instead of there names when they are set
Merge pull request #206 in KIELER/semantics from als/issues to master* commit '02e5aa5c5eb4b5d27e417963b89e8c2c9e38416f':
kico: Locating project systems is now performed in job
kico: Fixed FNFExeception for system files not located directly in workspace
esterel: New attempt to fix esterel compiler for mac. KISEMA-1427
Merge pull request #204 in KIELER/semantics from als/issues to master* commit 'b46fc34d02061d5f6fce36805664d186f2cd3d48':
sccharts: Added usage of SDs in timed automata to support hierarchy
sccharts: Added support for integer types as clocks
sccharts: Fixed NPE when checking hierarchy for timed automata.
Merge pull request #197 in KIELER/semantics from nbw/dependencies_gitignore to master* commit 'efb3cdde687400585805948088c34bb5b506100c':
Git: Ignore dependencies.txt from git
Merge pull request #196 in KIELER/semantics from nbw/ExtractEMFCompareTracingTree to master* commit 'd2f3076e2b3c1b52017bc415651dceed8f42f258':
kitt.tracing: Moved EMF compare based code to .ide plugin
Merge pull request #202 in KIELER/semantics from kolja/master to master* commit '0b4ceaf17a06227d45a7b67952ba3a9ca48b150f':
fixed null pointer exception if a source has no next nodes
fixed endless loop if there is an instantaneous cicle in the scg graph
use an iterative algorithm to determine the thread types of SCG paths
Merge pull request #200 in KIELER/semantics from kolja/master to master* commit '0bde5945623826cc121c25a577d798f92bce70b0':
add an option to hide declarations that are not input or output declarations
refresh project and compiler selection view when systems are installed
lustre: improved clock consistency checks during validation- clocks of expressions are evaluated and compared to the clock of the variable
- variable usage is evaluated and a warning is displayed for unused variables
Merge pull request #199 in KIELER/semantics from kolja/master to master* commit '5eb421c9447bc45e299a5e6c17711cf73481bbc3':
install systems dialog is now working
show an example dialog from the eclipse documentation
search also in sub directories for project systems
changed the behavior of the open System button to open the real system file if the selected system is a System that belongs to a project
removed old developer buttons
fixed null pointer exc...
lustre: improved assertion transformation- problems during transformation of assertion do not cause the entire
scc synthesis to stop
- displays an error for which assertion the problem occured
Git: Ignore dependencies.txt from gitThe maven dependency analysis generates a dependencies.txt for each
plugin, these are then recognized as files in git, leaving the
repository in a dirty state.
kitt.tracing: Moved EMF compare based code to .ide pluginThe (rarely used) code for comparing Tracing Trees requires EMF compare
but no source for EMF compare is available in maven repositories. By
moving the code to .ide plugin, the core components can be built without
problematic dependencies.
Signed-off-by: Nis Wechselberg <wechselberg.nisboerge@scheidt-bachmann-st.de>
Alexander Schulz-Rosengarten
Kolja Strohm
Steven Smyth
Lena Grimm
Nis Wechselberg