Skip to Content

Changes for page Examples (sct)

Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
From version 11.1
edited by Alexander Schulz-Rosengarten
on 2014/08/13 11:21
Change comment: Activated SCCharts code highlighting
To version 10.1
edited by cmot
on 2014/07/06 23:06
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.als
1 +XWiki.cmot
Content
... ... @@ -25,7 +25,7 @@
25 25  [[image:attach:PLDI'14 Artifact on SCCharts@shifter3.png]]
26 26  )))|(% colspan="1" %)(% colspan="1" %)
27 27  (((
28 -{{code title="shifter3.sct" language="sct"}}
28 +{{code title="shifter3.sct"}}
29 29  scchart shifter3 {
30 30   input signal int I = 1;
31 31   signal int S0;
... ... @@ -51,7 +51,7 @@
51 51  [[image:attach:PLDI'14 Artifact on SCCharts@reincarnation.png]]
52 52  )))|(% colspan="1" %)(% colspan="1" %)
53 53  (((
54 -{{code title="reincarnation.sct" language="sct"}}
54 +{{code title="reincarnation.sct"}}
55 55  scchart reincarnation {
56 56   input signal A;
57 57   output signal gotS;
... ... @@ -81,7 +81,7 @@
81 81  [[image:attach:PLDI'14 Artifact on SCCharts@cabin.png]]
82 82  )))|(% colspan="1" %)(% colspan="1" %)
83 83  (((
84 -{{code title="cabin.sct" language="sct"}}
84 +{{code title="cabin.sct"}}
85 85  scchart Cabin {
86 86   input signal Stop;
87 87   input signal CabinStopped;
... ... @@ -129,7 +129,7 @@
129 129  [[image:attach:PLDI'14 Artifact on SCCharts@reactor-control.png]]
130 130  )))|(% colspan="1" %)(% colspan="1" %)
131 131  (((
132 -{{code title="reactor-control.sct" language="sct"}}
132 +{{code title="reactor-control.sct"}}
133 133  scchart Module_ReactorControl {
134 134   output signal PullOutRods;
135 135   output signal PushInRods;
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -12288417
1 +9471668
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/12288417/Examples
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471668/Examples