source: CIVL/doc/graffle/civlOverview.graffle@ 859c407

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

added SARL to civl overview

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