Continuously builds all pragmatics plug-ins upon repository changes.
Build: #2299 was successful
Job: Compile and Test was successful
Code commits
KIELER Pragmatics
-
Soeren Domroes bbeced556bb40fc313a9bce5fd470cba3ae21fc4
Pull request #75: Separate ui and ide
Merge in KIELER/pragmatics from sdo/separateUIAndIde to master
* commit 'ec2d57a3c1255822ff26caabfdff95971e728810':
graphs.klighd.ui: Sorted dependencies.
targetplatform: Use KlighD nightly, added klighd.ide feature.
graphs.klighd.ui: Corrected plugin name.
Added graphs.klighd.ui to separate ui and ide. -
Soeren Domroes ec2d57a3c1255822ff26caabfdff95971e728810
graphs.klighd.ui: Sorted dependencies.
-
Soeren Domroes 92fae8f1010ef1962dea9bc965702cf4b628a7f1
targetplatform: Use KlighD nightly, added klighd.ide feature.
-
Soeren Domroes 8c39266f7163f683c7eb91baf91a855e00005c28
graphs.klighd.ui: Corrected plugin name.
- plugins/de.cau.cs.kieler.graphs.klighd.ui/META-INF/MANIFEST.MF (version 8c39266f7163f683c7eb91baf91a855e00005c28) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd.ui/src/de/cau/cs/kieler/graphs/klighd/ui/GraphsPlugin.java (version 8c39266f7163f683c7eb91baf91a855e00005c28) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd.ui/src/de/cau/cs/kieler/graphs/klighd/ui/OpenGraphDiagramHandler.java (version 8c39266f7163f683c7eb91baf91a855e00005c28) (diffs)
-
Soeren Domroes f2717bac8d20119c51ec136e6692709ef4072ab3
Added graphs.klighd.ui to separate ui and ide.
- plugins/de.cau.cs.kieler.graphs.klighd.ui/.checkstyle (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd.ui/.classpath (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd.ui/.project (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd.ui/.settings/org.eclipse.jdt.core.prefs (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd.ui/.settings/org.eclipse.jdt.ui.prefs (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd.ui/META-INF/MANIFEST.MF (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd.ui/about.html (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd.ui/build.properties (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd.ui/plugin.xml (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd.ui/pom.xml (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd.ui/src/de/cau/cs/kieler/graphs/klighd/ui/GraphUpdateController.java (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd.ui/src/de/cau/cs/kieler/graphs/klighd/ui/GraphsPlugin.java (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd.ui/src/de/cau/cs/kieler/graphs/klighd/ui/OpenGraphDiagramHandler.java (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd.ui/src/de/cau/cs/kieler/graphs/klighd/ui/SupportedGraphFormatPropertyTester.java (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd/META-INF/MANIFEST.MF (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd/plugin.xml (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd/src/de/cau/cs/kieler/graphs/klighd/GraphUpdateController.java (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd/src/de/cau/cs/kieler/graphs/klighd/GraphsPlugin.java (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd/src/de/cau/cs/kieler/graphs/klighd/OpenGraphDiagramHandler.java (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
- plugins/de.cau.cs.kieler.graphs.klighd/src/de/cau/cs/kieler/graphs/klighd/SupportedGraphFormatPropertyTester.java (version f2717bac8d20119c51ec136e6692709ef4072ab3) (diffs)
Models Repository
-
Reinhard von Hanxleden 3027b46e341367ee077c2ad7628d12fd7d3f8482
another model for Marc
-
Reinhard von Hanxleden c77a49d161860222adef1af4ef98f524f81ea7a9
added example for Marc Pouzet
-
Reinhard von Hanxleden 0a4100035814113a1093b76c5e954f3477a17280
merged Merge branch 'master' of ssh://git.rtsys.informatik.uni-kiel.de:7999/kieler/models
-
Reinhard von Hanxleden fb6f05193078db74deffdd6f7f9fba9c5f0837e9 m
misc edits
- sccharts/dataflow/DF-0160.sctx (version fb6f05193078db74deffdd6f7f9fba9c5f0837e9) (diffs)
- sccharts/papers/fdl18/periods_region.sctx (version fb6f05193078db74deffdd6f7f9fba9c5f0837e9) (diffs)
- sccharts/sccharts-rvh/mindstorms/Linefollower.sctx (version fb6f05193078db74deffdd6f7f9fba9c5f0837e9) (diffs)
- sccharts/sccharts-rvh/motor.sctx (version fb6f05193078db74deffdd6f7f9fba9c5f0837e9) (diffs)
- sccharts/sccharts-rvh/pouzet/seqAbort.sctx (version fb6f05193078db74deffdd6f7f9fba9c5f0837e9) (diffs)
- sccharts/sccharts-rvh/timer.sctx (version fb6f05193078db74deffdd6f7f9fba9c5f0837e9) (diffs)
- sccharts/simulation-tests/legacy/07-abo.sctx (version fb6f05193078db74deffdd6f7f9fba9c5f0837e9) (diffs)
-
Alexander Schulz-Rosengarten 1015073090375783901d78160c0dde127e244d7c
sccharts: Fixed statebased benchmarks configuration
-
Alexander Schulz-Rosengarten 02d5fcb1e7337eca46c629c2a5098480d24d3a11
sccharts+esterel: Added configuration for benchmarks
-
Alexander Schulz-Rosengarten 2aa8eab53e1bffe97396664bb676470f1a3664d1
lustre: Added benchmark configuration
-
Alexander Schulz-Rosengarten 27f26bc8c881d05abf2901558c87d7c5a2a48fd7
lustre: Fixed stopwatch trace
-
Reinhard von Hanxleden 5bfb44a324ee575422e1737b09cc85fbbabedb3b m
Line Follower with compilation problem after changing console output (text = ...)
