Changes for page PLDI'14 Artifact on SCCharts
Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -156,14 +156,10 @@ 156 156 157 157 [[image:attach:kieler25.png]] 158 158 159 -When opening the S file (abo.normalized.seq.s) this already is very c like code :159 +When opening the S file (abo.normalized.seq.s) this already is very c like code. Selecting Generate SC 160 160 161 - [[image:attach:kieler26.png]]161 + 162 162 163 -Selecting Generate SC will produce a C file: 164 - 165 -[[image:attach:kieler27.png]][[image:attach:kieler28.png]] 166 - 167 167 168 168 169 169
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -86517 311 +8651729 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/86517 31/PLDI'14 Artifact on SCCharts1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651729/PLDI'14 Artifact on SCCharts