source: CIVL/doc/graffle/civlOverview.graffle@ 6a8da77

1.23 2.0 acw/focus-triggers main test-branch
Last change on this file since 6a8da77 was eceacf8, checked in by Manchun Zheng <zmanchun@…>, 11 years ago

improved the civl verify figure

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@2455 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 30.6 KB
RevLine 
[d04e4b0]1<?xml version="1.0" encoding="UTF-8"?>
2<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
3<plist version="1.0">
4<dict>
5 <key>ActiveLayerIndex</key>
6 <integer>0</integer>
7 <key>ApplicationVersion</key>
8 <array>
9 <string>com.omnigroup.OmniGraffle</string>
10 <string>139.18.0.187838</string>
11 </array>
12 <key>AutoAdjust</key>
13 <true/>
14 <key>BackgroundGraphic</key>
15 <dict>
16 <key>Bounds</key>
17 <string>{{0, 0}, {756, 553.00002479553223}}</string>
18 <key>Class</key>
19 <string>SolidGraphic</string>
20 <key>FontInfo</key>
21 <dict>
22 <key>Font</key>
23 <string>Helvetica</string>
24 <key>Size</key>
25 <real>12</real>
26 </dict>
27 <key>ID</key>
28 <integer>2</integer>
29 <key>Style</key>
30 <dict>
31 <key>shadow</key>
32 <dict>
33 <key>Draws</key>
34 <string>NO</string>
35 </dict>
36 <key>stroke</key>
37 <dict>
38 <key>Draws</key>
39 <string>NO</string>
40 </dict>
41 </dict>
42 </dict>
43 <key>BaseZoom</key>
44 <integer>0</integer>
45 <key>CanvasOrigin</key>
46 <string>{0, 0}</string>
47 <key>ColumnAlign</key>
48 <integer>1</integer>
49 <key>ColumnSpacing</key>
50 <real>36</real>
51 <key>CreationDate</key>
52 <string>2015-07-16 14:07:19 +0000</string>
53 <key>Creator</key>
54 <string>Manchun Zheng</string>
55 <key>DisplayScale</key>
56 <string>1 0/72 in = 1.0000 in</string>
57 <key>GraphDocumentVersion</key>
58 <integer>8</integer>
59 <key>GraphicsList</key>
60 <array>
[eceacf8]61 <dict>
62 <key>Class</key>
63 <string>Group</string>
64 <key>Graphics</key>
65 <array>
66 <dict>
67 <key>Bounds</key>
68 <string>{{253, 239.93798542022705}, {67.25, 35}}</string>
69 <key>Class</key>
70 <string>ShapedGraphic</string>
71 <key>ID</key>
72 <integer>176</integer>
73 <key>Shape</key>
74 <string>NoteShape</string>
75 <key>Style</key>
76 <dict>
77 <key>fill</key>
78 <dict>
79 <key>Color</key>
80 <dict>
81 <key>b</key>
82 <string>0.901961</string>
83 <key>g</key>
84 <string>0.901961</string>
85 <key>r</key>
86 <string>0.901961</string>
87 </dict>
88 </dict>
89 <key>shadow</key>
90 <dict>
91 <key>Draws</key>
92 <string>NO</string>
93 </dict>
94 </dict>
95 <key>Text</key>
96 <dict>
97 <key>Pad</key>
98 <integer>2</integer>
99 <key>Text</key>
100 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
101\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;\f1\fswiss\fcharset0 Helvetica-Light;}
102{\colortbl;\red255\green255\blue255;}
103\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
104
105\f0\b\fs20 \cf0 trace files
106\fs24 \
107\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
108
109\f1\b0\fs18 \cf0 - each violation}</string>
110 </dict>
111 </dict>
112 <dict>
113 <key>Bounds</key>
114 <string>{{247.125, 233.68798542022705}, {67.25, 35}}</string>
115 <key>Class</key>
116 <string>ShapedGraphic</string>
117 <key>ID</key>
118 <integer>177</integer>
119 <key>Shape</key>
120 <string>NoteShape</string>
121 <key>Style</key>
122 <dict>
123 <key>fill</key>
124 <dict>
125 <key>Color</key>
126 <dict>
127 <key>b</key>
128 <string>0.901961</string>
129 <key>g</key>
130 <string>0.901961</string>
131 <key>r</key>
132 <string>0.901961</string>
133 </dict>
134 </dict>
135 <key>shadow</key>
136 <dict>
137 <key>Draws</key>
138 <string>NO</string>
139 </dict>
140 </dict>
141 <key>Text</key>
142 <dict>
143 <key>Pad</key>
144 <integer>2</integer>
145 </dict>
146 </dict>
147 <dict>
148 <key>Bounds</key>
149 <string>{{242.375, 228.781494140625}, {67.25, 35}}</string>
150 <key>Class</key>
151 <string>ShapedGraphic</string>
152 <key>ID</key>
153 <integer>178</integer>
154 <key>Shape</key>
155 <string>NoteShape</string>
156 <key>Style</key>
157 <dict>
158 <key>fill</key>
159 <dict>
160 <key>Color</key>
161 <dict>
162 <key>b</key>
163 <string>0.901961</string>
164 <key>g</key>
165 <string>0.901961</string>
166 <key>r</key>
167 <string>0.901961</string>
168 </dict>
169 </dict>
170 <key>shadow</key>
171 <dict>
172 <key>Draws</key>
173 <string>NO</string>
174 </dict>
175 </dict>
176 <key>Text</key>
177 <dict>
178 <key>Pad</key>
179 <integer>2</integer>
180 </dict>
181 </dict>
182 <dict>
183 <key>Bounds</key>
184 <string>{{238, 225.18797302246094}, {67.25, 35}}</string>
185 <key>Class</key>
186 <string>ShapedGraphic</string>
187 <key>ID</key>
188 <integer>179</integer>
189 <key>Shape</key>
190 <string>NoteShape</string>
191 <key>Style</key>
192 <dict>
193 <key>fill</key>
194 <dict>
195 <key>Color</key>
196 <dict>
197 <key>b</key>
198 <string>0.901961</string>
199 <key>g</key>
200 <string>0.901961</string>
201 <key>r</key>
202 <string>0.901961</string>
203 </dict>
204 </dict>
205 <key>shadow</key>
206 <dict>
207 <key>Draws</key>
208 <string>NO</string>
209 </dict>
210 </dict>
211 <key>Text</key>
212 <dict>
213 <key>Pad</key>
214 <integer>2</integer>
215 </dict>
216 </dict>
217 <dict>
218 <key>Bounds</key>
219 <string>{{233, 221.18701934814453}, {67.25, 35}}</string>
220 <key>Class</key>
221 <string>ShapedGraphic</string>
222 <key>ID</key>
223 <integer>180</integer>
224 <key>Shape</key>
225 <string>NoteShape</string>
226 <key>Style</key>
227 <dict>
228 <key>fill</key>
229 <dict>
230 <key>Color</key>
231 <dict>
232 <key>b</key>
233 <string>0.901961</string>
234 <key>g</key>
235 <string>0.901961</string>
236 <key>r</key>
237 <string>0.901961</string>
238 </dict>
239 </dict>
240 <key>shadow</key>
241 <dict>
242 <key>Draws</key>
243 <string>NO</string>
244 </dict>
245 </dict>
246 <key>Text</key>
247 <dict>
248 <key>Pad</key>
249 <integer>2</integer>
250 </dict>
251 </dict>
252 </array>
253 <key>ID</key>
254 <integer>175</integer>
255 </dict>
[d04e4b0]256 <dict>
257 <key>Class</key>
258 <string>LineGraphic</string>
259 <key>Head</key>
260 <dict>
261 <key>ID</key>
[eceacf8]262 <integer>161</integer>
[d04e4b0]263 </dict>
264 <key>ID</key>
[eceacf8]265 <integer>166</integer>
[d04e4b0]266 <key>Points</key>
267 <array>
[eceacf8]268 <string>{190.66962536263026, 200.12461110564774}</string>
269 <string>{191.34053987973527, 217.12540252388931}</string>
[d04e4b0]270 </array>
271 <key>Style</key>
272 <dict>
273 <key>stroke</key>
274 <dict>
275 <key>HeadArrow</key>
276 <string>FilledArrow</string>
277 <key>HeadScale</key>
278 <real>0.5</real>
279 <key>Legacy</key>
280 <true/>
281 <key>LineType</key>
[8680645]282 <integer>1</integer>
[8dfa2d5a]283 <key>TailArrow</key>
284 <string>0</string>
285 </dict>
286 </dict>
287 <key>Tail</key>
288 <dict>
289 <key>ID</key>
[eceacf8]290 <integer>140</integer>
[8dfa2d5a]291 </dict>
292 </dict>
293 <dict>
294 <key>Class</key>
295 <string>LineGraphic</string>
296 <key>Head</key>
297 <dict>
298 <key>ID</key>
[eceacf8]299 <integer>180</integer>
[8dfa2d5a]300 </dict>
301 <key>ID</key>
[eceacf8]302 <integer>171</integer>
[8dfa2d5a]303 <key>Points</key>
304 <array>
[eceacf8]305 <string>{212.90149345559851, 199.7905131300725}</string>
306 <string>{241.95719645900417, 220.89452270590508}</string>
[8dfa2d5a]307 </array>
308 <key>Style</key>
309 <dict>
310 <key>stroke</key>
311 <dict>
312 <key>HeadArrow</key>
313 <string>FilledArrow</string>
314 <key>HeadScale</key>
315 <real>0.5</real>
316 <key>Legacy</key>
317 <true/>
318 <key>LineType</key>
[8680645]319 <integer>1</integer>
[d04e4b0]320 <key>TailArrow</key>
321 <string>0</string>
322 </dict>
323 </dict>
324 <key>Tail</key>
325 <dict>
326 <key>ID</key>
[eceacf8]327 <integer>140</integer>
[d04e4b0]328 </dict>
329 </dict>
330 <dict>
331 <key>Class</key>
[eceacf8]332 <string>LineGraphic</string>
333 <key>Head</key>
[d04e4b0]334 <dict>
[eceacf8]335 <key>ID</key>
336 <integer>162</integer>
[d04e4b0]337 </dict>
338 <key>ID</key>
[eceacf8]339 <integer>164</integer>
340 <key>Points</key>
341 <array>
342 <string>{171.4084358249805, 199.96026837138965}</string>
343 <string>{146.29888285056131, 222.65526309137036}</string>
344 </array>
345 <key>Style</key>
346 <dict>
347 <key>stroke</key>
348 <dict>
349 <key>HeadArrow</key>
350 <string>FilledArrow</string>
351 <key>HeadScale</key>
352 <real>0.5</real>
353 <key>Legacy</key>
354 <true/>
355 <key>LineType</key>
356 <integer>1</integer>
357 <key>TailArrow</key>
358 <string>0</string>
359 </dict>
360 </dict>
361 <key>Tail</key>
362 <dict>
363 <key>ID</key>
364 <integer>140</integer>
365 </dict>
366 </dict>
367 <dict>
368 <key>Bounds</key>
369 <string>{{93.25, 214.93797302246094}, {56.5, 60}}</string>
370 <key>Class</key>
371 <string>ShapedGraphic</string>
372 <key>ID</key>
373 <integer>162</integer>
[d04e4b0]374 <key>Shape</key>
[eceacf8]375 <string>NoteShape</string>
[d04e4b0]376 <key>Style</key>
377 <dict>
378 <key>fill</key>
379 <dict>
380 <key>Color</key>
381 <dict>
382 <key>b</key>
383 <string>0.901961</string>
384 <key>g</key>
385 <string>0.901961</string>
386 <key>r</key>
387 <string>0.901961</string>
388 </dict>
389 </dict>
390 <key>shadow</key>
391 <dict>
392 <key>Draws</key>
393 <string>NO</string>
394 </dict>
395 </dict>
396 <key>Text</key>
397 <dict>
[eceacf8]398 <key>Pad</key>
399 <integer>2</integer>
[d04e4b0]400 <key>Text</key>
401 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
[eceacf8]402\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;\f1\fswiss\fcharset0 Helvetica-Light;}
[d04e4b0]403{\colortbl;\red255\green255\blue255;}
404\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
405
[eceacf8]406\f0\b\fs20 \cf0 stdout
407\fs24 \
408\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
409
410\f1\b0\fs18 \cf0 - Yes / No \
411- statistics (time, memory, ...)}</string>
[d04e4b0]412 </dict>
413 </dict>
414 <dict>
415 <key>Bounds</key>
[eceacf8]416 <string>{{164.25, 217.62500762939453}, {56.5, 57.312965393066406}}</string>
[d04e4b0]417 <key>Class</key>
418 <string>ShapedGraphic</string>
419 <key>ID</key>
[eceacf8]420 <integer>161</integer>
[d04e4b0]421 <key>Shape</key>
[eceacf8]422 <string>NoteShape</string>
[d04e4b0]423 <key>Style</key>
424 <dict>
425 <key>fill</key>
426 <dict>
427 <key>Color</key>
428 <dict>
429 <key>b</key>
[eceacf8]430 <string>0.901961</string>
[d04e4b0]431 <key>g</key>
[eceacf8]432 <string>0.901961</string>
[d04e4b0]433 <key>r</key>
[eceacf8]434 <string>0.901961</string>
[d04e4b0]435 </dict>
436 </dict>
437 <key>shadow</key>
438 <dict>
439 <key>Draws</key>
440 <string>NO</string>
441 </dict>
442 </dict>
443 <key>Text</key>
444 <dict>
[eceacf8]445 <key>Pad</key>
446 <integer>2</integer>
[d04e4b0]447 <key>Text</key>
448 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
[eceacf8]449\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;\f1\fswiss\fcharset0 Helvetica-Light;}
[d04e4b0]450{\colortbl;\red255\green255\blue255;}
451\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
452
[eceacf8]453\f0\b\fs20 \cf0 log file
454\fs24 \
[d04e4b0]455\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
456
[eceacf8]457\f1\b0\fs18 \cf0 - prioritized summary of violations}</string>
[d04e4b0]458 </dict>
459 </dict>
460 <dict>
461 <key>Class</key>
462 <string>LineGraphic</string>
463 <key>Head</key>
464 <dict>
465 <key>ID</key>
[eceacf8]466 <integer>141</integer>
[d04e4b0]467 </dict>
468 <key>ID</key>
[eceacf8]469 <integer>160</integer>
[d04e4b0]470 <key>Points</key>
471 <array>
[eceacf8]472 <string>{386.50001500460144, 124.75000188450613}</string>
473 <string>{386.50001500460144, 165.50000002284253}</string>
[d04e4b0]474 </array>
475 <key>Style</key>
476 <dict>
477 <key>stroke</key>
478 <dict>
479 <key>HeadArrow</key>
480 <string>FilledArrow</string>
481 <key>HeadScale</key>
482 <real>0.5</real>
483 <key>Legacy</key>
484 <true/>
485 <key>LineType</key>
486 <integer>1</integer>
487 <key>TailArrow</key>
488 <string>0</string>
489 </dict>
490 </dict>
491 <key>Tail</key>
492 <dict>
493 <key>ID</key>
[eceacf8]494 <integer>148</integer>
495 </dict>
496 </dict>
497 <dict>
498 <key>Class</key>
499 <string>LineGraphic</string>
500 <key>Head</key>
501 <dict>
502 <key>ID</key>
503 <integer>147</integer>
504 </dict>
505 <key>ID</key>
506 <integer>159</integer>
507 <key>Points</key>
508 <array>
509 <string>{210.24999997263478, 106.74325539585725}</string>
510 <string>{232.00000068959605, 106.73694592725025}</string>
511 </array>
512 <key>Style</key>
513 <dict>
514 <key>stroke</key>
515 <dict>
516 <key>HeadArrow</key>
517 <string>FilledArrow</string>
518 <key>HeadScale</key>
519 <real>0.5</real>
520 <key>Legacy</key>
521 <true/>
522 <key>LineType</key>
523 <integer>1</integer>
524 <key>TailArrow</key>
525 <string>0</string>
526 </dict>
527 </dict>
528 <key>Tail</key>
529 <dict>
530 <key>ID</key>
531 <integer>135</integer>
[d04e4b0]532 </dict>
533 </dict>
534 <dict>
535 <key>Bounds</key>
[eceacf8]536 <string>{{360.25, 89.250001907348633}, {52.5, 35}}</string>
[d04e4b0]537 <key>Class</key>
538 <string>ShapedGraphic</string>
539 <key>FontInfo</key>
540 <dict>
541 <key>Font</key>
542 <string>Helvetica-Bold</string>
543 <key>Size</key>
544 <real>12</real>
545 </dict>
546 <key>ID</key>
[eceacf8]547 <integer>148</integer>
[d04e4b0]548 <key>Shape</key>
549 <string>Rectangle</string>
550 <key>Style</key>
551 <dict>
552 <key>fill</key>
553 <dict>
554 <key>Color</key>
555 <dict>
556 <key>b</key>
557 <string>0.901961</string>
558 <key>g</key>
559 <string>0.901961</string>
560 <key>r</key>
561 <string>0.901961</string>
562 </dict>
563 </dict>
564 <key>shadow</key>
565 <dict>
566 <key>Draws</key>
567 <string>NO</string>
568 </dict>
569 </dict>
570 <key>Text</key>
571 <dict>
572 <key>Text</key>
573 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
[eceacf8]574\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
[d04e4b0]575{\colortbl;\red255\green255\blue255;}
[8dfa2d5a]576\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
577
[eceacf8]578\f0\fs24 \cf0 CIVL
579\b\fs20 AST}</string>
580 </dict>
581 </dict>
582 <dict>
583 <key>Bounds</key>
584 <string>{{232.5, 62.749982833862305}, {105, 88}}</string>
585 <key>Class</key>
586 <string>ShapedGraphic</string>
587 <key>ID</key>
588 <integer>147</integer>
589 <key>Shape</key>
590 <string>RoundRect</string>
591 <key>Style</key>
592 <dict>
593 <key>fill</key>
594 <dict>
595 <key>Color</key>
596 <dict>
597 <key>b</key>
598 <string>0.679018</string>
599 <key>g</key>
600 <string>0.909892</string>
601 <key>r</key>
602 <string>1</string>
603 </dict>
604 </dict>
605 <key>shadow</key>
606 <dict>
607 <key>Draws</key>
608 <string>NO</string>
609 </dict>
610 </dict>
611 <key>Text</key>
612 <dict>
613 <key>Text</key>
614 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
615\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;\f1\fswiss\fcharset0 Helvetica-Light;\f2\fnil\fcharset0 STIXGeneral-Regular;
616}
617{\colortbl;\red255\green255\blue255;}
618\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
[8dfa2d5a]619
[eceacf8]620\f0\fs24 \cf0 CIVL\
621transformers\
622\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
[8dfa2d5a]623
[eceacf8]624\f1\i\fs18 \cf0 CUDA
625\f2\i0 \uc0\u8594
626\f1\i CIVL-C
627\f0\i0 \
[8dfa2d5a]628
[eceacf8]629\f1\i OpenMP
630\f2\i0 \uc0\u8594
631\f1\i CIVL-C
632\f0\i0 \
[8dfa2d5a]633
[eceacf8]634\f1\i Pthreads
635\f2\i0 \uc0\u8594
636\f1\i CIVL-C
637\f0\i0 \
[8dfa2d5a]638
[eceacf8]639\f1\i MPI
640\f2\i0 \uc0\u8594
641\f1\i CIVL-C}</string>
[d04e4b0]642 </dict>
643 </dict>
644 <dict>
645 <key>Class</key>
646 <string>LineGraphic</string>
647 <key>Head</key>
648 <dict>
649 <key>ID</key>
[8680645]650 <integer>140</integer>
[d04e4b0]651 </dict>
652 <key>ID</key>
[8680645]653 <integer>144</integer>
[d04e4b0]654 <key>Points</key>
655 <array>
[eceacf8]656 <string>{246.99999999999997, 183.15649545673611}</string>
657 <string>{220.99999999999835, 183.15649545673611}</string>
[d04e4b0]658 </array>
659 <key>Style</key>
660 <dict>
661 <key>stroke</key>
662 <dict>
663 <key>HeadArrow</key>
664 <string>FilledArrow</string>
665 <key>HeadScale</key>
666 <real>0.5</real>
667 <key>Legacy</key>
668 <true/>
669 <key>LineType</key>
670 <integer>1</integer>
671 <key>TailArrow</key>
672 <string>0</string>
673 </dict>
674 </dict>
675 <key>Tail</key>
676 <dict>
677 <key>ID</key>
[8680645]678 <integer>142</integer>
[d04e4b0]679 </dict>
680 </dict>
681 <dict>
682 <key>Class</key>
683 <string>LineGraphic</string>
684 <key>Head</key>
685 <dict>
686 <key>ID</key>
[8680645]687 <integer>142</integer>
[d04e4b0]688 </dict>
689 <key>ID</key>
[8680645]690 <integer>143</integer>
[d04e4b0]691 <key>Points</key>
692 <array>
[eceacf8]693 <string>{340.7505863328476, 182.97161040710102}</string>
694 <string>{327.49999701281581, 183.01769420341756}</string>
[d04e4b0]695 </array>
696 <key>Style</key>
697 <dict>
698 <key>stroke</key>
699 <dict>
700 <key>HeadArrow</key>
701 <string>FilledArrow</string>
702 <key>HeadScale</key>
703 <real>0.5</real>
704 <key>Legacy</key>
705 <true/>
706 <key>LineType</key>
707 <integer>1</integer>
708 <key>TailArrow</key>
709 <string>0</string>
710 </dict>
711 </dict>
712 <key>Tail</key>
713 <dict>
714 <key>ID</key>
[8680645]715 <integer>141</integer>
[d04e4b0]716 </dict>
717 </dict>
718 <dict>
719 <key>Bounds</key>
[eceacf8]720 <string>{{247.5, 173.03147792816162}, {79.5, 20.25}}</string>
[d04e4b0]721 <key>Class</key>
722 <string>ShapedGraphic</string>
723 <key>FontInfo</key>
724 <dict>
725 <key>Font</key>
726 <string>Helvetica-Bold</string>
727 <key>Size</key>
728 <real>12</real>
729 </dict>
730 <key>ID</key>
[8680645]731 <integer>142</integer>
[d04e4b0]732 <key>Shape</key>
733 <string>Rectangle</string>
734 <key>Style</key>
735 <dict>
736 <key>fill</key>
737 <dict>
738 <key>Color</key>
739 <dict>
740 <key>b</key>
741 <string>0.901961</string>
742 <key>g</key>
743 <string>0.901961</string>
744 <key>r</key>
745 <string>0.901961</string>
746 </dict>
747 </dict>
748 <key>shadow</key>
749 <dict>
750 <key>Draws</key>
751 <string>NO</string>
752 </dict>
753 </dict>
754 <key>Text</key>
755 <dict>
756 <key>Text</key>
757 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
758\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
759{\colortbl;\red255\green255\blue255;}
760\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
761
762\f0\fs24 \cf0 CIVL
763\b\fs20 model}</string>
764 </dict>
765 </dict>
766 <dict>
767 <key>Bounds</key>
[eceacf8]768 <string>{{341.25, 166}, {90.5, 33.625}}</string>
[d04e4b0]769 <key>Class</key>
770 <string>ShapedGraphic</string>
771 <key>ID</key>
[8680645]772 <integer>141</integer>
[d04e4b0]773 <key>Shape</key>
774 <string>RoundRect</string>
775 <key>Style</key>
776 <dict>
777 <key>fill</key>
778 <dict>
779 <key>Color</key>
780 <dict>
781 <key>b</key>
782 <string>0.679018</string>
783 <key>g</key>
784 <string>0.909892</string>
785 <key>r</key>
786 <string>1</string>
787 </dict>
788 </dict>
789 <key>shadow</key>
790 <dict>
791 <key>Draws</key>
792 <string>NO</string>
793 </dict>
794 </dict>
795 <key>Text</key>
796 <dict>
797 <key>Pad</key>
798 <integer>0</integer>
799 <key>Text</key>
800 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
801\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
802{\colortbl;\red255\green255\blue255;}
803\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
804
805\f0\fs24 \cf0 CIVL\
806model builder}</string>
807 </dict>
808 </dict>
809 <dict>
810 <key>Bounds</key>
[eceacf8]811 <string>{{159.5, 166.68797302246094}, {61, 32.937026977539062}}</string>
[d04e4b0]812 <key>Class</key>
813 <string>ShapedGraphic</string>
814 <key>ID</key>
[8680645]815 <integer>140</integer>
[d04e4b0]816 <key>Shape</key>
817 <string>RoundRect</string>
818 <key>Style</key>
819 <dict>
820 <key>fill</key>
821 <dict>
822 <key>Color</key>
823 <dict>
824 <key>b</key>
825 <string>0.679018</string>
826 <key>g</key>
827 <string>0.909892</string>
828 <key>r</key>
829 <string>1</string>
830 </dict>
831 </dict>
832 <key>shadow</key>
833 <dict>
834 <key>Draws</key>
835 <string>NO</string>
836 </dict>
837 </dict>
838 <key>Text</key>
839 <dict>
840 <key>Text</key>
841 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
842\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
843{\colortbl;\red255\green255\blue255;}
844\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
845
846\f0\fs24 \cf0 CIVL\
847verifier}</string>
848 </dict>
849 </dict>
850 <dict>
851 <key>Class</key>
852 <string>LineGraphic</string>
853 <key>Head</key>
854 <dict>
855 <key>ID</key>
[8680645]856 <integer>148</integer>
[d04e4b0]857 </dict>
858 <key>ID</key>
[8680645]859 <integer>139</integer>
[d04e4b0]860 <key>Points</key>
861 <array>
[eceacf8]862 <string>{337.99847784959394, 107.36644918544764}</string>
863 <string>{359.75026391084907, 107.61946105933016}</string>
[d04e4b0]864 </array>
865 <key>Style</key>
866 <dict>
867 <key>stroke</key>
868 <dict>
869 <key>HeadArrow</key>
870 <string>FilledArrow</string>
871 <key>HeadScale</key>
872 <real>0.5</real>
873 <key>Legacy</key>
874 <true/>
875 <key>LineType</key>
876 <integer>1</integer>
877 <key>TailArrow</key>
878 <string>0</string>
879 </dict>
880 </dict>
881 <key>Tail</key>
882 <dict>
883 <key>ID</key>
[8680645]884 <integer>147</integer>
[d04e4b0]885 </dict>
886 </dict>
887 <dict>
888 <key>Class</key>
889 <string>LineGraphic</string>
890 <key>Head</key>
891 <dict>
892 <key>ID</key>
[8680645]893 <integer>135</integer>
[d04e4b0]894 </dict>
895 <key>ID</key>
[8680645]896 <integer>158</integer>
[d04e4b0]897 <key>Points</key>
898 <array>
[eceacf8]899 <string>{150.24741454020077, 106.18889503572797}</string>
900 <string>{163.75005825702397, 106.39504108846195}</string>
[d04e4b0]901 </array>
902 <key>Style</key>
903 <dict>
904 <key>stroke</key>
905 <dict>
906 <key>HeadArrow</key>
907 <string>FilledArrow</string>
908 <key>HeadScale</key>
909 <real>0.5</real>
910 <key>Legacy</key>
911 <true/>
912 <key>LineType</key>
913 <integer>1</integer>
914 <key>TailArrow</key>
915 <string>0</string>
916 </dict>
917 </dict>
918 <key>Tail</key>
919 <dict>
920 <key>ID</key>
[8680645]921 <integer>156</integer>
[d04e4b0]922 </dict>
923 </dict>
924 <dict>
925 <key>Class</key>
926 <string>LineGraphic</string>
927 <key>Head</key>
928 <dict>
929 <key>ID</key>
[8680645]930 <integer>156</integer>
[d04e4b0]931 </dict>
932 <key>ID</key>
[8680645]933 <integer>157</integer>
[d04e4b0]934 <key>Points</key>
935 <array>
[eceacf8]936 <string>{75.499955282663237, 106.3653791981143}</string>
937 <string>{92.751984679032105, 106.13458722032135}</string>
[d04e4b0]938 </array>
939 <key>Style</key>
940 <dict>
941 <key>stroke</key>
942 <dict>
943 <key>HeadArrow</key>
944 <string>FilledArrow</string>
945 <key>HeadScale</key>
946 <real>0.5</real>
947 <key>Legacy</key>
948 <true/>
949 <key>LineType</key>
950 <integer>1</integer>
951 <key>TailArrow</key>
952 <string>0</string>
953 </dict>
954 </dict>
955 <key>Tail</key>
956 <dict>
957 <key>ID</key>
[8680645]958 <integer>136</integer>
[d04e4b0]959 </dict>
960 </dict>
961 <dict>
962 <key>Bounds</key>
[eceacf8]963 <string>{{18.5, 69.999994277954102}, {56.5, 73.499984741210938}}</string>
[d04e4b0]964 <key>Class</key>
965 <string>ShapedGraphic</string>
966 <key>ID</key>
[8680645]967 <integer>136</integer>
[d04e4b0]968 <key>Shape</key>
969 <string>NoteShape</string>
970 <key>Style</key>
971 <dict>
972 <key>fill</key>
973 <dict>
974 <key>Color</key>
975 <dict>
976 <key>b</key>
977 <string>0.901961</string>
978 <key>g</key>
979 <string>0.901961</string>
980 <key>r</key>
981 <string>0.901961</string>
982 </dict>
983 </dict>
984 <key>shadow</key>
985 <dict>
986 <key>Draws</key>
987 <string>NO</string>
988 </dict>
989 </dict>
990 <key>Text</key>
991 <dict>
992 <key>Pad</key>
[8dfa2d5a]993 <integer>2</integer>
[d04e4b0]994 <key>Text</key>
995 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
996\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
997{\colortbl;\red255\green255\blue255;}
998\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
999
1000\f0\b\fs20 \cf0 source
1001\fs24 \
1002\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1003
1004\b0\fs18 \cf0 C or CIVL-C with MPI, CUDA, OpenMP, Pthreads}</string>
1005 </dict>
1006 </dict>
1007 <dict>
1008 <key>Bounds</key>
[eceacf8]1009 <string>{{164.25, 85.000005722045898}, {45.5, 43.499988555908203}}</string>
[d04e4b0]1010 <key>Class</key>
1011 <string>ShapedGraphic</string>
1012 <key>FontInfo</key>
1013 <dict>
1014 <key>Font</key>
1015 <string>Helvetica-Bold</string>
1016 <key>Size</key>
1017 <real>12</real>
1018 </dict>
1019 <key>ID</key>
[8680645]1020 <integer>135</integer>
[d04e4b0]1021 <key>Shape</key>
1022 <string>Rectangle</string>
1023 <key>Style</key>
1024 <dict>
1025 <key>fill</key>
1026 <dict>
1027 <key>Color</key>
1028 <dict>
1029 <key>b</key>
1030 <string>0.901961</string>
1031 <key>g</key>
1032 <string>0.901961</string>
1033 <key>r</key>
1034 <string>0.901961</string>
1035 </dict>
1036 </dict>
1037 <key>shadow</key>
1038 <dict>
1039 <key>Draws</key>
1040 <string>NO</string>
1041 </dict>
1042 </dict>
1043 <key>Text</key>
1044 <dict>
1045 <key>Text</key>
1046 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
1047\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1048{\colortbl;\red255\green255\blue255;}
1049\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1050
1051\f0\fs24 \cf0 ABC
1052\b\fs20 AST }</string>
1053 </dict>
1054 </dict>
1055 <dict>
1056 <key>Bounds</key>
[eceacf8]1057 <string>{{93.25, 88.250005722045898}, {56.5, 35}}</string>
[d04e4b0]1058 <key>Class</key>
1059 <string>ShapedGraphic</string>
1060 <key>ID</key>
[8680645]1061 <integer>156</integer>
[d04e4b0]1062 <key>Shape</key>
1063 <string>RoundRect</string>
1064 <key>Style</key>
1065 <dict>
1066 <key>fill</key>
1067 <dict>
1068 <key>Color</key>
1069 <dict>
1070 <key>b</key>
1071 <string>0.679018</string>
1072 <key>g</key>
1073 <string>0.909892</string>
1074 <key>r</key>
1075 <string>1</string>
1076 </dict>
1077 </dict>
1078 <key>shadow</key>
1079 <dict>
1080 <key>Draws</key>
1081 <string>NO</string>
1082 </dict>
1083 </dict>
1084 <key>Text</key>
1085 <dict>
1086 <key>Text</key>
1087 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
1088\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1089{\colortbl;\red255\green255\blue255;}
1090\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1091
1092\f0\fs24 \cf0 ABC\
1093parser}</string>
1094 </dict>
1095 </dict>
1096 <dict>
1097 <key>Bounds</key>
[eceacf8]1098 <string>{{81.5, 58.5}, {263, 96.5}}</string>
[d04e4b0]1099 <key>Class</key>
1100 <string>ShapedGraphic</string>
1101 <key>ID</key>
[8680645]1102 <integer>133</integer>
[d04e4b0]1103 <key>Shape</key>
1104 <string>Rectangle</string>
1105 <key>Style</key>
1106 <dict>
1107 <key>fill</key>
1108 <dict>
1109 <key>Color</key>
1110 <dict>
1111 <key>b</key>
1112 <string>0.901961</string>
1113 <key>g</key>
1114 <string>0.901961</string>
1115 <key>r</key>
1116 <string>0.901961</string>
1117 </dict>
1118 <key>Draws</key>
1119 <string>NO</string>
1120 </dict>
1121 <key>shadow</key>
1122 <dict>
1123 <key>Draws</key>
1124 <string>NO</string>
1125 </dict>
1126 </dict>
1127 <key>Text</key>
1128 <dict>
1129 <key>Align</key>
1130 <integer>0</integer>
1131 <key>Pad</key>
1132 <integer>2</integer>
1133 <key>Text</key>
1134 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
1135\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica-Light;}
1136{\colortbl;\red255\green255\blue255;}
1137\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
1138
1139\f0\i\fs20 \cf0 Parser + Transformers}</string>
1140 <key>VerticalPad</key>
1141 <integer>1</integer>
1142 </dict>
1143 <key>TextPlacement</key>
1144 <integer>0</integer>
1145 <key>Wrap</key>
1146 <string>NO</string>
1147 </dict>
1148 <dict>
1149 <key>Bounds</key>
[eceacf8]1150 <string>{{81.5, 162}, {354.5, 118}}</string>
[d04e4b0]1151 <key>Class</key>
1152 <string>ShapedGraphic</string>
1153 <key>ID</key>
[8680645]1154 <integer>132</integer>
[d04e4b0]1155 <key>Shape</key>
1156 <string>Rectangle</string>
1157 <key>Style</key>
1158 <dict>
1159 <key>fill</key>
1160 <dict>
1161 <key>Color</key>
1162 <dict>
1163 <key>b</key>
1164 <string>0.901961</string>
1165 <key>g</key>
1166 <string>0.901961</string>
1167 <key>r</key>
1168 <string>0.901961</string>
1169 </dict>
1170 <key>Draws</key>
1171 <string>NO</string>
1172 </dict>
1173 <key>shadow</key>
1174 <dict>
1175 <key>Draws</key>
1176 <string>NO</string>
1177 </dict>
1178 </dict>
1179 <key>Text</key>
1180 <dict>
1181 <key>Align</key>
[eceacf8]1182 <integer>2</integer>
[d04e4b0]1183 <key>Pad</key>
1184 <integer>2</integer>
1185 <key>Text</key>
1186 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
1187\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica-Light;}
1188{\colortbl;\red255\green255\blue255;}
[eceacf8]1189\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qr
[d04e4b0]1190
1191\f0\i\fs20 \cf0 Model builder + Verifier}</string>
1192 <key>VerticalPad</key>
1193 <integer>3</integer>
1194 </dict>
1195 <key>TextPlacement</key>
1196 <integer>2</integer>
1197 <key>Wrap</key>
1198 <string>NO</string>
1199 </dict>
1200 </array>
1201 <key>GridInfo</key>
1202 <dict/>
1203 <key>GuidesLocked</key>
1204 <string>NO</string>
1205 <key>GuidesVisible</key>
1206 <string>YES</string>
1207 <key>HPages</key>
1208 <integer>1</integer>
1209 <key>ImageCounter</key>
1210 <integer>1</integer>
1211 <key>KeepToScale</key>
1212 <false/>
1213 <key>Layers</key>
1214 <array>
1215 <dict>
1216 <key>Lock</key>
1217 <string>NO</string>
1218 <key>Name</key>
1219 <string>Layer 1</string>
1220 <key>Print</key>
1221 <string>YES</string>
1222 <key>View</key>
1223 <string>YES</string>
1224 </dict>
1225 </array>
1226 <key>LayoutInfo</key>
1227 <dict>
1228 <key>Animate</key>
1229 <string>NO</string>
1230 <key>circoMinDist</key>
1231 <real>18</real>
1232 <key>circoSeparation</key>
1233 <real>0.0</real>
1234 <key>layoutEngine</key>
1235 <string>dot</string>
1236 <key>neatoSeparation</key>
1237 <real>0.0</real>
1238 <key>twopiSeparation</key>
1239 <real>0.0</real>
1240 </dict>
1241 <key>LinksVisible</key>
1242 <string>NO</string>
1243 <key>MagnetsVisible</key>
1244 <string>NO</string>
1245 <key>MasterSheets</key>
1246 <array/>
1247 <key>ModificationDate</key>
[eceacf8]1248 <string>2015-07-22 20:33:51 +0000</string>
[d04e4b0]1249 <key>Modifier</key>
1250 <string>Manchun Zheng</string>
1251 <key>NotesVisible</key>
1252 <string>NO</string>
1253 <key>Orientation</key>
1254 <integer>2</integer>
1255 <key>OriginVisible</key>
1256 <string>NO</string>
1257 <key>PageBreaks</key>
1258 <string>YES</string>
1259 <key>PrintInfo</key>
1260 <dict>
1261 <key>NSBottomMargin</key>
1262 <array>
1263 <string>float</string>
1264 <string>41</string>
1265 </array>
1266 <key>NSHorizonalPagination</key>
1267 <array>
1268 <string>coded</string>
1269 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
1270 </array>
1271 <key>NSLeftMargin</key>
1272 <array>
1273 <string>float</string>
1274 <string>18</string>
1275 </array>
1276 <key>NSOrientation</key>
1277 <array>
1278 <string>coded</string>
1279 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwGG</string>
1280 </array>
1281 <key>NSPaperSize</key>
1282 <array>
1283 <string>size</string>
1284 <string>{792, 612.00002479553223}</string>
1285 </array>
1286 <key>NSPrintReverseOrientation</key>
1287 <array>
1288 <string>int</string>
1289 <string>0</string>
1290 </array>
1291 <key>NSRightMargin</key>
1292 <array>
1293 <string>float</string>
1294 <string>18</string>
1295 </array>
1296 <key>NSTopMargin</key>
1297 <array>
1298 <string>float</string>
1299 <string>18</string>
1300 </array>
1301 </dict>
1302 <key>PrintOnePage</key>
1303 <false/>
1304 <key>ReadOnly</key>
1305 <string>NO</string>
1306 <key>RowAlign</key>
1307 <integer>1</integer>
1308 <key>RowSpacing</key>
1309 <real>36</real>
1310 <key>SheetTitle</key>
1311 <string>Canvas 1</string>
1312 <key>SmartAlignmentGuidesActive</key>
1313 <string>YES</string>
1314 <key>SmartDistanceGuidesActive</key>
1315 <string>YES</string>
1316 <key>UniqueID</key>
1317 <integer>1</integer>
1318 <key>UseEntirePage</key>
1319 <false/>
1320 <key>VPages</key>
1321 <integer>1</integer>
1322 <key>WindowInfo</key>
1323 <dict>
1324 <key>CurrentSheet</key>
1325 <integer>0</integer>
1326 <key>ExpandedCanvases</key>
1327 <array>
1328 <dict>
1329 <key>name</key>
1330 <string>Canvas 1</string>
1331 </dict>
1332 </array>
1333 <key>Frame</key>
[eceacf8]1334 <string>{{695, 36}, {1789, 1247}}</string>
[d04e4b0]1335 <key>ListView</key>
1336 <true/>
1337 <key>OutlineWidth</key>
1338 <integer>142</integer>
1339 <key>RightSidebar</key>
1340 <true/>
1341 <key>ShowRuler</key>
1342 <true/>
1343 <key>Sidebar</key>
1344 <true/>
1345 <key>SidebarWidth</key>
1346 <integer>120</integer>
1347 <key>VisibleRegion</key>
[8dfa2d5a]1348 <string>{{0, 0}, {755.5, 554}}</string>
[d04e4b0]1349 <key>Zoom</key>
1350 <real>2</real>
1351 <key>ZoomValues</key>
1352 <array>
1353 <array>
1354 <string>Canvas 1</string>
1355 <real>2</real>
1356 <real>1</real>
1357 </array>
1358 </array>
1359 </dict>
1360</dict>
1361</plist>
Note: See TracBrowser for help on using the repository browser.