KIELER
  1. KIELER

semantics

Public
AuthorCommitMessageCommit dateIssues
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
47a50154bf5MMerge 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
Kolja StrohmKolja Strohm
cc45111c671MMerge branch 'master' into kolja/arrayInit
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
188cd995840MMerge 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
Kolja StrohmKolja Strohm
10f3a91a1bdMMerge branch 'master' into kolja/master# Conflicts: # plugins/de.cau.cs.kieler.kicool.ui/src/de/cau/cs/kieler/kicool/ui/view/SystemSelectionManager.xtend
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
d456688b0ccMMerge branch 'als/issues'
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
faa3a45feb4kico: Improved logging for setup of external compilers
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
2105238a698MMerge 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-1427KISEMA-1427
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
02e5aa5c5ebkico: Locating project systems is now performed in jobPrevents boot slow down and UI freeze when large projects are open
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
0ee87fdb412kico: Fixed FNFExeception for system files not located directly inworkspace
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
1a2bc994e00esterel: New attempt to fix esterel compiler for mac.KISEMA-1427KISEMA-1427
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
1fc703b9ddfMMerge 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.
Kolja StrohmKolja Strohm
fff720c0f7falso support other assignment operators
Kolja StrohmKolja Strohm
987758f5aabmove ArrayInitialisation processor before the user schedul processor
Kolja StrohmKolja Strohm
480123547a8write traces to files witch contain negative numbers inside of arrays isnow possible
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
b46fc34d020MMerge remote-tracking branch 'origin/master' into als/issues
Kolja StrohmKolja Strohm
92372c75271add a processor that translates array initialisations like y[1] = {1,2,3} into different assignments
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
46fff526b2bsccharts: Added usage of SDs in timed automata to support hierarchyFixed KISEMA-1413KISEMA-1413
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
c49197b7cddsccharts: Added support for integer types as clocks
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
37add0e410abuild: Removed lejos dependency. KISEMA-1489lejos IDE is no longer included in the semantics product.KISEMA-1489
Kolja StrohmKolja Strohm
8f171ae581fregenerate some xtext grammars
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
09ac56be78cMMerge pull request #197 in KIELER/semantics from nbw/dependencies_gitignore to master* commit 'efb3cdde687400585805948088c34bb5b506100c': Git: Ignore dependencies.txt from git
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
44c699683c8MMerge pull request #196 in KIELER/semantics from nbw/ExtractEMFCompareTracingTree to master* commit 'd2f3076e2b3c1b52017bc415651dceed8f42f258': kitt.tracing: Moved EMF compare based code to .ide plugin
Kolja StrohmKolja Strohm
db7a56f11b5labels of variables are now also shown in dataflow diagrams
Kolja StrohmKolja Strohm
277e8ece63bProject systems now stay selected when changing the edited file
Steven SmythSteven Smyth
ae456b5347dMMerge branch 'master' of ssh://git@git.rtsys.informatik.uni-kiel.de:7999/kieler/semantics.git
Steven SmythSteven Smyth
c3a883de30ascg: added scg analyzer for valued objects
Steven SmythSteven Smyth
4f818a2c67aMMerge 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
Steven SmythSteven Smyth
e4813c436a7scg: added scg complexity analyzer
Kolja StrohmKolja Strohm
52c1db92b55added labels to valued objects and show them instead of there names whenthey are set
Kolja StrohmKolja Strohm
0b4ceaf17a0fixed null pointer exception if a source has no next nodes
Kolja StrohmKolja Strohm
7368ce836c0MMerge remote-tracking branch 'origin/master' into kolja/master
Kolja StrohmKolja Strohm
f05d37d2695fixed endless loop if there is an instantaneous cicle in the scg graph
Kolja StrohmKolja Strohm
6fe3ad2d98duse an iterative algorithm to determine the thread types of SCG paths
Steven SmythSteven Smyth
f72aaf8e7cfMMerge 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
Steven SmythSteven Smyth
32ce422c2d2MMerge pull request #201 in KIELER/semantics from lgr/lustre to master* commit 'b90ae799b70f54f87a450f1a5886677b7885bba7': lustre: improved clock consistency checks during validation lustre: simplified naming resulting from transition lustre: improved assertion transformation
Lena GrimmLena Grimm
b90ae799b70MMerge branch 'master' into lgr/lustre
Lena GrimmLena Grimm
b7b1ebe604dlustre: 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
Kolja StrohmKolja Strohm
0bde5945623add an option to hide declarations that are not input or outputdeclarations
Kolja StrohmKolja Strohm
70739b4b69drefresh project and compiler selection view when systems are installed
Steven SmythSteven Smyth
0597a2d9b8bMMerge 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...
Lena GrimmLena Grimm
aeaed3e117blustre: simplified naming resulting from transition
Kolja StrohmKolja Strohm
5eb421c9447install systems dialog is now working
Lena GrimmLena Grimm
58384903ac3lustre: 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
Nis WechselbergNis Wechselberg
efb3cdde687Git: 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.
Nis WechselbergNis Wechselberg
d2f3076e2b3kitt.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>
Kolja StrohmKolja Strohm
5cba5aa9307show an example dialog from the eclipse documentation
Kolja StrohmKolja Strohm
22eeecd21c4search also in sub directories for project systems
Kolja StrohmKolja Strohm
100b8b6aa9fchanged the behavior of the open System button to open the real systemfile if the selected system is a System that belongs to a project
Kolja StrohmKolja Strohm
993c6505986removed old developer buttons
Kolja StrohmKolja Strohm
5f52bf14385fixed null pointer exception if a file is opened that does not belong ona project