source: CIVL/mods/dev.civl.com/doc/graffle/civlOverview.graffle@ 1aaefd4

main test-branch
Last change on this file since 1aaefd4 was aad342c, checked in by Stephen Siegel <siegel@…>, 3 years ago

Performing huge refactor to incorporate ABC, GMC, and SARL into CIVL repo and use Java modules.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@5664 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 32.6 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>{256.87412147305429, 220.58020232098895}</string>
74 <string>{276.62735655333489, 220.43218568219135}</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>{{195.375, 204.34397411346436}, {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>{307.89975898816306, 237.78093557397133}</string>
348 <string>{308.15631303606773, 253.62509063843186}</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>{330.49319969500647, 237.45421722020427}</string>
385 <string>{357.88940779141495, 257.39108561293727}</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>{286.95000505360866, 237.59613010358319}</string>
422 <string>{258.87923886236035, 260.38354580619773}</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>{{279.375, 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>OrthogonalBarAutomatic</key>
550 <true/>
551 <key>OrthogonalBarPoint</key>
552 <string>{0, 0}</string>
553 <key>OrthogonalBarPosition</key>
554 <real>17.214082717895508</real>
555 <key>Points</key>
556 <array>
557 <string>{525.02301777999617, 152.9638780088828}</string>
558 <string>{504.8158968543255, 203.19204399282756}</string>
559 </array>
560 <key>Style</key>
561 <dict>
562 <key>stroke</key>
563 <dict>
564 <key>HeadArrow</key>
565 <string>FilledArrow</string>
566 <key>HeadScale</key>
567 <real>0.5</real>
568 <key>Legacy</key>
569 <true/>
570 <key>LineType</key>
571 <integer>2</integer>
572 <key>TailArrow</key>
573 <string>0</string>
574 </dict>
575 </dict>
576 <key>Tail</key>
577 <dict>
578 <key>ID</key>
579 <integer>148</integer>
580 </dict>
581 </dict>
582 <dict>
583 <key>Class</key>
584 <string>LineGraphic</string>
585 <key>Head</key>
586 <dict>
587 <key>ID</key>
588 <integer>147</integer>
589 </dict>
590 <key>ID</key>
591 <integer>159</integer>
592 <key>Points</key>
593 <array>
594 <string>{370.25, 139.24998947887397}</string>
595 <string>{392, 139.24998947887397}</string>
596 </array>
597 <key>Style</key>
598 <dict>
599 <key>stroke</key>
600 <dict>
601 <key>HeadArrow</key>
602 <string>FilledArrow</string>
603 <key>HeadScale</key>
604 <real>0.5</real>
605 <key>Legacy</key>
606 <true/>
607 <key>LineType</key>
608 <integer>1</integer>
609 <key>TailArrow</key>
610 <string>0</string>
611 </dict>
612 </dict>
613 <key>Tail</key>
614 <dict>
615 <key>ID</key>
616 <integer>135</integer>
617 </dict>
618 </dict>
619 <dict>
620 <key>Bounds</key>
621 <string>{{512.5, 117.50000953674316}, {39.5, 35}}</string>
622 <key>Class</key>
623 <string>ShapedGraphic</string>
624 <key>FontInfo</key>
625 <dict>
626 <key>Font</key>
627 <string>Helvetica-Bold</string>
628 <key>Size</key>
629 <real>12</real>
630 </dict>
631 <key>ID</key>
632 <integer>148</integer>
633 <key>Shape</key>
634 <string>Rectangle</string>
635 <key>Style</key>
636 <dict>
637 <key>fill</key>
638 <dict>
639 <key>Color</key>
640 <dict>
641 <key>b</key>
642 <string>0.901961</string>
643 <key>g</key>
644 <string>0.901961</string>
645 <key>r</key>
646 <string>0.901961</string>
647 </dict>
648 </dict>
649 <key>shadow</key>
650 <dict>
651 <key>Draws</key>
652 <string>NO</string>
653 </dict>
654 </dict>
655 <key>Text</key>
656 <dict>
657 <key>Text</key>
658 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
659\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
660{\colortbl;\red255\green255\blue255;}
661\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
662
663\f0\fs24 \cf0 CIVL
664\b\fs20 AST}</string>
665 </dict>
666 </dict>
667 <dict>
668 <key>Bounds</key>
669 <string>{{392.5, 95.249982833862305}, {105, 88}}</string>
670 <key>Class</key>
671 <string>ShapedGraphic</string>
672 <key>ID</key>
673 <integer>147</integer>
674 <key>Shape</key>
675 <string>RoundRect</string>
676 <key>Style</key>
677 <dict>
678 <key>fill</key>
679 <dict>
680 <key>Color</key>
681 <dict>
682 <key>b</key>
683 <string>0.679018</string>
684 <key>g</key>
685 <string>0.909892</string>
686 <key>r</key>
687 <string>1</string>
688 </dict>
689 </dict>
690 <key>shadow</key>
691 <dict>
692 <key>Draws</key>
693 <string>NO</string>
694 </dict>
695 </dict>
696 <key>Text</key>
697 <dict>
698 <key>Text</key>
699 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
700\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;\f1\fswiss\fcharset0 Helvetica-Light;\f2\fnil\fcharset0 STIXGeneral-Regular;
701}
702{\colortbl;\red255\green255\blue255;}
703\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
704
705\f0\fs24 \cf0 CIVL\
706transformers\
707\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
708
709\f1\i\fs18 \cf0 CUDA
710\f2\i0 \uc0\u8594
711\f1\i CIVL-C
712\f0\i0 \
713
714\f1\i OpenMP
715\f2\i0 \uc0\u8594
716\f1\i CIVL-C
717\f0\i0 \
718
719\f1\i Pthreads
720\f2\i0 \uc0\u8594
721\f1\i CIVL-C
722\f0\i0 \
723
724\f1\i MPI
725\f2\i0 \uc0\u8594
726\f1\i CIVL-C}</string>
727 </dict>
728 </dict>
729 <dict>
730 <key>Class</key>
731 <string>LineGraphic</string>
732 <key>Head</key>
733 <dict>
734 <key>ID</key>
735 <integer>140</integer>
736 </dict>
737 <key>ID</key>
738 <integer>144</integer>
739 <key>Points</key>
740 <array>
741 <string>{358.37501228968597, 220.5300175727823}</string>
742 <string>{338.62211036437083, 220.39139807087741}</string>
743 </array>
744 <key>Style</key>
745 <dict>
746 <key>stroke</key>
747 <dict>
748 <key>HeadArrow</key>
749 <string>FilledArrow</string>
750 <key>HeadScale</key>
751 <real>0.5</real>
752 <key>Legacy</key>
753 <true/>
754 <key>LineType</key>
755 <integer>1</integer>
756 <key>TailArrow</key>
757 <string>0</string>
758 </dict>
759 </dict>
760 <key>Tail</key>
761 <dict>
762 <key>ID</key>
763 <integer>142</integer>
764 </dict>
765 </dict>
766 <dict>
767 <key>Class</key>
768 <string>LineGraphic</string>
769 <key>Head</key>
770 <dict>
771 <key>ID</key>
772 <integer>142</integer>
773 </dict>
774 <key>ID</key>
775 <integer>143</integer>
776 <key>Points</key>
777 <array>
778 <string>{452.12730553552302, 220.15310834634323}</string>
779 <string>{438.87491305029249, 220.0617439948025}</string>
780 </array>
781 <key>Style</key>
782 <dict>
783 <key>stroke</key>
784 <dict>
785 <key>HeadArrow</key>
786 <string>FilledArrow</string>
787 <key>HeadScale</key>
788 <real>0.5</real>
789 <key>Legacy</key>
790 <true/>
791 <key>LineType</key>
792 <integer>1</integer>
793 <key>TailArrow</key>
794 <string>0</string>
795 </dict>
796 </dict>
797 <key>Tail</key>
798 <dict>
799 <key>ID</key>
800 <integer>141</integer>
801 </dict>
802 </dict>
803 <dict>
804 <key>Bounds</key>
805 <string>{{358.875, 210.68747901916504}, {79.5, 20.25}}</string>
806 <key>Class</key>
807 <string>ShapedGraphic</string>
808 <key>FontInfo</key>
809 <dict>
810 <key>Font</key>
811 <string>Helvetica-Bold</string>
812 <key>Size</key>
813 <real>12</real>
814 </dict>
815 <key>ID</key>
816 <integer>142</integer>
817 <key>Shape</key>
818 <string>Rectangle</string>
819 <key>Style</key>
820 <dict>
821 <key>fill</key>
822 <dict>
823 <key>Color</key>
824 <dict>
825 <key>b</key>
826 <string>0.901961</string>
827 <key>g</key>
828 <string>0.901961</string>
829 <key>r</key>
830 <string>0.901961</string>
831 </dict>
832 </dict>
833 <key>shadow</key>
834 <dict>
835 <key>Draws</key>
836 <string>NO</string>
837 </dict>
838 </dict>
839 <key>Text</key>
840 <dict>
841 <key>Text</key>
842 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
843\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
844{\colortbl;\red255\green255\blue255;}
845\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
846
847\f0\fs24 \cf0 CIVL
848\b\fs20 model}</string>
849 </dict>
850 </dict>
851 <dict>
852 <key>Bounds</key>
853 <string>{{452.625, 203.65600109100342}, {90.5, 33.625}}</string>
854 <key>Class</key>
855 <string>ShapedGraphic</string>
856 <key>ID</key>
857 <integer>141</integer>
858 <key>Shape</key>
859 <string>RoundRect</string>
860 <key>Style</key>
861 <dict>
862 <key>fill</key>
863 <dict>
864 <key>Color</key>
865 <dict>
866 <key>b</key>
867 <string>0.679018</string>
868 <key>g</key>
869 <string>0.909892</string>
870 <key>r</key>
871 <string>1</string>
872 </dict>
873 </dict>
874 <key>shadow</key>
875 <dict>
876 <key>Draws</key>
877 <string>NO</string>
878 </dict>
879 </dict>
880 <key>Text</key>
881 <dict>
882 <key>Pad</key>
883 <integer>0</integer>
884 <key>Text</key>
885 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
886\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
887{\colortbl;\red255\green255\blue255;}
888\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
889
890\f0\fs24 \cf0 CIVL\
891model builder}</string>
892 </dict>
893 </dict>
894 <dict>
895 <key>Bounds</key>
896 <string>{{277.125, 204.34397411346436}, {61, 32.937026977539062}}</string>
897 <key>Class</key>
898 <string>ShapedGraphic</string>
899 <key>ID</key>
900 <integer>140</integer>
901 <key>Shape</key>
902 <string>RoundRect</string>
903 <key>Style</key>
904 <dict>
905 <key>fill</key>
906 <dict>
907 <key>Color</key>
908 <dict>
909 <key>b</key>
910 <string>0.679018</string>
911 <key>g</key>
912 <string>0.909892</string>
913 <key>r</key>
914 <string>1</string>
915 </dict>
916 </dict>
917 <key>shadow</key>
918 <dict>
919 <key>Draws</key>
920 <string>NO</string>
921 </dict>
922 </dict>
923 <key>Text</key>
924 <dict>
925 <key>Text</key>
926 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
927\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
928{\colortbl;\red255\green255\blue255;}
929\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
930
931\f0\fs24 \cf0 CIVL\
932verifier}</string>
933 </dict>
934 </dict>
935 <dict>
936 <key>Class</key>
937 <string>LineGraphic</string>
938 <key>Head</key>
939 <dict>
940 <key>ID</key>
941 <integer>148</integer>
942 </dict>
943 <key>ID</key>
944 <integer>139</integer>
945 <key>Points</key>
946 <array>
947 <string>{497.97389053238811, 136.70138175529618}</string>
948 <string>{512.00064124510175, 136.02654757498723}</string>
949 </array>
950 <key>Style</key>
951 <dict>
952 <key>stroke</key>
953 <dict>
954 <key>HeadArrow</key>
955 <string>FilledArrow</string>
956 <key>HeadScale</key>
957 <real>0.5</real>
958 <key>Legacy</key>
959 <true/>
960 <key>LineType</key>
961 <integer>1</integer>
962 <key>TailArrow</key>
963 <string>0</string>
964 </dict>
965 </dict>
966 <key>Tail</key>
967 <dict>
968 <key>ID</key>
969 <integer>147</integer>
970 </dict>
971 </dict>
972 <dict>
973 <key>Class</key>
974 <string>LineGraphic</string>
975 <key>Head</key>
976 <dict>
977 <key>ID</key>
978 <integer>135</integer>
979 </dict>
980 <key>ID</key>
981 <integer>158</integer>
982 <key>Points</key>
983 <array>
984 <string>{310.24741454020074, 138.68889503572797}</string>
985 <string>{323.75005825702397, 138.89504108846194}</string>
986 </array>
987 <key>Style</key>
988 <dict>
989 <key>stroke</key>
990 <dict>
991 <key>HeadArrow</key>
992 <string>FilledArrow</string>
993 <key>HeadScale</key>
994 <real>0.5</real>
995 <key>Legacy</key>
996 <true/>
997 <key>LineType</key>
998 <integer>1</integer>
999 <key>TailArrow</key>
1000 <string>0</string>
1001 </dict>
1002 </dict>
1003 <key>Tail</key>
1004 <dict>
1005 <key>ID</key>
1006 <integer>156</integer>
1007 </dict>
1008 </dict>
1009 <dict>
1010 <key>Class</key>
1011 <string>LineGraphic</string>
1012 <key>Head</key>
1013 <dict>
1014 <key>ID</key>
1015 <integer>156</integer>
1016 </dict>
1017 <key>ID</key>
1018 <integer>157</integer>
1019 <key>Points</key>
1020 <array>
1021 <string>{236.49999999390758, 138.25681869842316}</string>
1022 <string>{252.75000170325202, 138.2612057426465}</string>
1023 </array>
1024 <key>Style</key>
1025 <dict>
1026 <key>stroke</key>
1027 <dict>
1028 <key>HeadArrow</key>
1029 <string>FilledArrow</string>
1030 <key>HeadScale</key>
1031 <real>0.5</real>
1032 <key>Legacy</key>
1033 <true/>
1034 <key>LineType</key>
1035 <integer>1</integer>
1036 <key>TailArrow</key>
1037 <string>0</string>
1038 </dict>
1039 </dict>
1040 <key>Tail</key>
1041 <dict>
1042 <key>ID</key>
1043 <integer>136</integer>
1044 </dict>
1045 </dict>
1046 <dict>
1047 <key>Bounds</key>
1048 <string>{{186.5, 101.50000953674316}, {49.5, 73.499984741210938}}</string>
1049 <key>Class</key>
1050 <string>ShapedGraphic</string>
1051 <key>ID</key>
1052 <integer>136</integer>
1053 <key>Shape</key>
1054 <string>NoteShape</string>
1055 <key>Style</key>
1056 <dict>
1057 <key>fill</key>
1058 <dict>
1059 <key>Color</key>
1060 <dict>
1061 <key>b</key>
1062 <string>0.901961</string>
1063 <key>g</key>
1064 <string>0.901961</string>
1065 <key>r</key>
1066 <string>0.901961</string>
1067 </dict>
1068 </dict>
1069 <key>shadow</key>
1070 <dict>
1071 <key>Draws</key>
1072 <string>NO</string>
1073 </dict>
1074 </dict>
1075 <key>Text</key>
1076 <dict>
1077 <key>Pad</key>
1078 <integer>1</integer>
1079 <key>Text</key>
1080 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
1081\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1082{\colortbl;\red255\green255\blue255;}
1083\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1084
1085\f0\b\fs20 \cf0 source
1086\fs24 \
1087\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1088
1089\b0\fs18 \cf0 C or CIVL-C with MPI, CUDA, OpenMP, Pthreads}</string>
1090 </dict>
1091 </dict>
1092 <dict>
1093 <key>Bounds</key>
1094 <string>{{324.25, 117.5000057220459}, {45.5, 43.499988555908203}}</string>
1095 <key>Class</key>
1096 <string>ShapedGraphic</string>
1097 <key>FontInfo</key>
1098 <dict>
1099 <key>Font</key>
1100 <string>Helvetica-Bold</string>
1101 <key>Size</key>
1102 <real>12</real>
1103 </dict>
1104 <key>ID</key>
1105 <integer>135</integer>
1106 <key>Shape</key>
1107 <string>Rectangle</string>
1108 <key>Style</key>
1109 <dict>
1110 <key>fill</key>
1111 <dict>
1112 <key>Color</key>
1113 <dict>
1114 <key>b</key>
1115 <string>0.901961</string>
1116 <key>g</key>
1117 <string>0.901961</string>
1118 <key>r</key>
1119 <string>0.901961</string>
1120 </dict>
1121 </dict>
1122 <key>shadow</key>
1123 <dict>
1124 <key>Draws</key>
1125 <string>NO</string>
1126 </dict>
1127 </dict>
1128 <key>Text</key>
1129 <dict>
1130 <key>Text</key>
1131 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
1132\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1133{\colortbl;\red255\green255\blue255;}
1134\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1135
1136\f0\fs24 \cf0 ABC
1137\b\fs20 AST }</string>
1138 </dict>
1139 </dict>
1140 <dict>
1141 <key>Bounds</key>
1142 <string>{{253.25, 120.7500057220459}, {56.5, 35}}</string>
1143 <key>Class</key>
1144 <string>ShapedGraphic</string>
1145 <key>ID</key>
1146 <integer>156</integer>
1147 <key>Shape</key>
1148 <string>RoundRect</string>
1149 <key>Style</key>
1150 <dict>
1151 <key>fill</key>
1152 <dict>
1153 <key>Color</key>
1154 <dict>
1155 <key>b</key>
1156 <string>0.679018</string>
1157 <key>g</key>
1158 <string>0.909892</string>
1159 <key>r</key>
1160 <string>1</string>
1161 </dict>
1162 </dict>
1163 <key>shadow</key>
1164 <dict>
1165 <key>Draws</key>
1166 <string>NO</string>
1167 </dict>
1168 </dict>
1169 <key>Text</key>
1170 <dict>
1171 <key>Text</key>
1172 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
1173\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;}
1174{\colortbl;\red255\green255\blue255;}
1175\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc
1176
1177\f0\fs24 \cf0 ABC\
1178parser}</string>
1179 </dict>
1180 </dict>
1181 <dict>
1182 <key>Bounds</key>
1183 <string>{{243, 91}, {259, 96.5}}</string>
1184 <key>Class</key>
1185 <string>ShapedGraphic</string>
1186 <key>ID</key>
1187 <integer>133</integer>
1188 <key>Shape</key>
1189 <string>Rectangle</string>
1190 <key>Style</key>
1191 <dict>
1192 <key>fill</key>
1193 <dict>
1194 <key>Color</key>
1195 <dict>
1196 <key>b</key>
1197 <string>0.901961</string>
1198 <key>g</key>
1199 <string>0.901961</string>
1200 <key>r</key>
1201 <string>0.901961</string>
1202 </dict>
1203 <key>Draws</key>
1204 <string>NO</string>
1205 </dict>
1206 <key>shadow</key>
1207 <dict>
1208 <key>Draws</key>
1209 <string>NO</string>
1210 </dict>
1211 </dict>
1212 <key>Text</key>
1213 <dict>
1214 <key>Align</key>
1215 <integer>0</integer>
1216 <key>Pad</key>
1217 <integer>2</integer>
1218 <key>Text</key>
1219 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
1220\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica-Light;}
1221{\colortbl;\red255\green255\blue255;}
1222\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural
1223
1224\f0\i\fs20 \cf0 Parser + Transformers}</string>
1225 <key>VerticalPad</key>
1226 <integer>1</integer>
1227 </dict>
1228 <key>TextPlacement</key>
1229 <integer>0</integer>
1230 <key>Wrap</key>
1231 <string>NO</string>
1232 </dict>
1233 <dict>
1234 <key>Bounds</key>
1235 <string>{{186.5, 198.5}, {365.5, 118}}</string>
1236 <key>Class</key>
1237 <string>ShapedGraphic</string>
1238 <key>ID</key>
1239 <integer>132</integer>
1240 <key>Shape</key>
1241 <string>Rectangle</string>
1242 <key>Style</key>
1243 <dict>
1244 <key>fill</key>
1245 <dict>
1246 <key>Color</key>
1247 <dict>
1248 <key>b</key>
1249 <string>0.901961</string>
1250 <key>g</key>
1251 <string>0.901961</string>
1252 <key>r</key>
1253 <string>0.901961</string>
1254 </dict>
1255 <key>Draws</key>
1256 <string>NO</string>
1257 </dict>
1258 <key>shadow</key>
1259 <dict>
1260 <key>Draws</key>
1261 <string>NO</string>
1262 </dict>
1263 </dict>
1264 <key>Text</key>
1265 <dict>
1266 <key>Align</key>
1267 <integer>2</integer>
1268 <key>Pad</key>
1269 <integer>2</integer>
1270 <key>Text</key>
1271 <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
1272\cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica-Light;}
1273{\colortbl;\red255\green255\blue255;}
1274\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qr
1275
1276\f0\i\fs20 \cf0 Model builder + Verifier }</string>
1277 <key>VerticalPad</key>
1278 <integer>3</integer>
1279 </dict>
1280 <key>TextPlacement</key>
1281 <integer>2</integer>
1282 <key>Wrap</key>
1283 <string>NO</string>
1284 </dict>
1285 </array>
1286 <key>GridInfo</key>
1287 <dict/>
1288 <key>GuidesLocked</key>
1289 <string>NO</string>
1290 <key>GuidesVisible</key>
1291 <string>YES</string>
1292 <key>HPages</key>
1293 <integer>1</integer>
1294 <key>ImageCounter</key>
1295 <integer>1</integer>
1296 <key>KeepToScale</key>
1297 <false/>
1298 <key>Layers</key>
1299 <array>
1300 <dict>
1301 <key>Lock</key>
1302 <string>NO</string>
1303 <key>Name</key>
1304 <string>Layer 1</string>
1305 <key>Print</key>
1306 <string>YES</string>
1307 <key>View</key>
1308 <string>YES</string>
1309 </dict>
1310 </array>
1311 <key>LayoutInfo</key>
1312 <dict>
1313 <key>Animate</key>
1314 <string>NO</string>
1315 <key>circoMinDist</key>
1316 <real>18</real>
1317 <key>circoSeparation</key>
1318 <real>0.0</real>
1319 <key>layoutEngine</key>
1320 <string>dot</string>
1321 <key>neatoSeparation</key>
1322 <real>0.0</real>
1323 <key>twopiSeparation</key>
1324 <real>0.0</real>
1325 </dict>
1326 <key>LinksVisible</key>
1327 <string>NO</string>
1328 <key>MagnetsVisible</key>
1329 <string>NO</string>
1330 <key>MasterSheets</key>
1331 <array/>
1332 <key>ModificationDate</key>
1333 <string>2015-07-23 15:14:08 +0000</string>
1334 <key>Modifier</key>
1335 <string>Manchun Zheng</string>
1336 <key>NotesVisible</key>
1337 <string>NO</string>
1338 <key>Orientation</key>
1339 <integer>2</integer>
1340 <key>OriginVisible</key>
1341 <string>NO</string>
1342 <key>PageBreaks</key>
1343 <string>YES</string>
1344 <key>PrintInfo</key>
1345 <dict>
1346 <key>NSBottomMargin</key>
1347 <array>
1348 <string>float</string>
1349 <string>41</string>
1350 </array>
1351 <key>NSHorizonalPagination</key>
1352 <array>
1353 <string>coded</string>
1354 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string>
1355 </array>
1356 <key>NSLeftMargin</key>
1357 <array>
1358 <string>float</string>
1359 <string>18</string>
1360 </array>
1361 <key>NSOrientation</key>
1362 <array>
1363 <string>coded</string>
1364 <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwGG</string>
1365 </array>
1366 <key>NSPaperSize</key>
1367 <array>
1368 <string>size</string>
1369 <string>{792, 612.00002479553223}</string>
1370 </array>
1371 <key>NSPrintReverseOrientation</key>
1372 <array>
1373 <string>int</string>
1374 <string>0</string>
1375 </array>
1376 <key>NSRightMargin</key>
1377 <array>
1378 <string>float</string>
1379 <string>18</string>
1380 </array>
1381 <key>NSTopMargin</key>
1382 <array>
1383 <string>float</string>
1384 <string>18</string>
1385 </array>
1386 </dict>
1387 <key>PrintOnePage</key>
1388 <false/>
1389 <key>ReadOnly</key>
1390 <string>NO</string>
1391 <key>RowAlign</key>
1392 <integer>1</integer>
1393 <key>RowSpacing</key>
1394 <real>36</real>
1395 <key>SheetTitle</key>
1396 <string>Canvas 1</string>
1397 <key>SmartAlignmentGuidesActive</key>
1398 <string>YES</string>
1399 <key>SmartDistanceGuidesActive</key>
1400 <string>YES</string>
1401 <key>UniqueID</key>
1402 <integer>1</integer>
1403 <key>UseEntirePage</key>
1404 <false/>
1405 <key>VPages</key>
1406 <integer>1</integer>
1407 <key>WindowInfo</key>
1408 <dict>
1409 <key>CurrentSheet</key>
1410 <integer>0</integer>
1411 <key>ExpandedCanvases</key>
1412 <array>
1413 <dict>
1414 <key>name</key>
1415 <string>Canvas 1</string>
1416 </dict>
1417 </array>
1418 <key>Frame</key>
1419 <string>{{232, 81}, {1789, 1247}}</string>
1420 <key>ListView</key>
1421 <true/>
1422 <key>OutlineWidth</key>
1423 <integer>142</integer>
1424 <key>RightSidebar</key>
1425 <true/>
1426 <key>ShowRuler</key>
1427 <true/>
1428 <key>Sidebar</key>
1429 <true/>
1430 <key>SidebarWidth</key>
1431 <integer>120</integer>
1432 <key>VisibleRegion</key>
1433 <string>{{0, 0}, {755.5, 554}}</string>
1434 <key>Zoom</key>
1435 <real>2</real>
1436 <key>ZoomValues</key>
1437 <array>
1438 <array>
1439 <string>Canvas 1</string>
1440 <real>2</real>
1441 <real>1</real>
1442 </array>
1443 </array>
1444 </dict>
1445</dict>
1446</plist>
Note: See TracBrowser for help on using the repository browser.