ActiveLayerIndex 0 ApplicationVersion com.omnigroup.OmniGraffle 139.18.0.187838 AutoAdjust BackgroundGraphic Bounds {{0, 0}, {756, 553.00002479553223}} Class SolidGraphic FontInfo Font Helvetica Size 12 ID 2 Style shadow Draws NO stroke Draws NO BaseZoom 0 CanvasOrigin {0, 0} ColumnAlign 1 ColumnSpacing 36 CreationDate 2015-07-16 14:07:19 +0000 Creator Manchun Zheng DisplayScale 1 0/72 in = 1.0000 in GraphDocumentVersion 8 GraphicsList Class Group Graphics Bounds {{253, 239.93798542022705}, {67.25, 35}} Class ShapedGraphic ID 176 Shape NoteShape Style fill Color b 0.901961 g 0.901961 r 0.901961 shadow Draws NO Text Pad 2 Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;\f1\fswiss\fcharset0 Helvetica-Light;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\b\fs20 \cf0 trace files \fs24 \ \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural \f1\b0\fs18 \cf0 - each violation} Bounds {{247.125, 233.68798542022705}, {67.25, 35}} Class ShapedGraphic ID 177 Shape NoteShape Style fill Color b 0.901961 g 0.901961 r 0.901961 shadow Draws NO Text Pad 2 Bounds {{242.375, 228.781494140625}, {67.25, 35}} Class ShapedGraphic ID 178 Shape NoteShape Style fill Color b 0.901961 g 0.901961 r 0.901961 shadow Draws NO Text Pad 2 Bounds {{238, 225.18797302246094}, {67.25, 35}} Class ShapedGraphic ID 179 Shape NoteShape Style fill Color b 0.901961 g 0.901961 r 0.901961 shadow Draws NO Text Pad 2 Bounds {{233, 221.18701934814453}, {67.25, 35}} Class ShapedGraphic ID 180 Shape NoteShape Style fill Color b 0.901961 g 0.901961 r 0.901961 shadow Draws NO Text Pad 2 ID 175 Class LineGraphic Head ID 161 ID 166 Points {190.66962536263026, 200.12461110564774} {191.34053987973527, 217.12540252388931} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 140 Class LineGraphic Head ID 180 ID 171 Points {212.90149345559851, 199.7905131300725} {241.95719645900417, 220.89452270590508} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 140 Class LineGraphic Head ID 162 ID 164 Points {171.4084358249805, 199.96026837138965} {146.29888285056131, 222.65526309137036} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 140 Bounds {{93.25, 214.93797302246094}, {56.5, 60}} Class ShapedGraphic ID 162 Shape NoteShape Style fill Color b 0.901961 g 0.901961 r 0.901961 shadow Draws NO Text Pad 2 Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;\f1\fswiss\fcharset0 Helvetica-Light;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\b\fs20 \cf0 stdout \fs24 \ \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural \f1\b0\fs18 \cf0 - Yes / No \ - statistics (time, memory, ...)} Bounds {{164.25, 217.62500762939453}, {56.5, 57.312965393066406}} Class ShapedGraphic ID 161 Shape NoteShape Style fill Color b 0.901961 g 0.901961 r 0.901961 shadow Draws NO Text Pad 2 Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;\f1\fswiss\fcharset0 Helvetica-Light;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\b\fs20 \cf0 log file \fs24 \ \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural \f1\b0\fs18 \cf0 - prioritized summary of violations} Class LineGraphic Head ID 141 ID 160 Points {386.50001500460144, 124.75000188450613} {386.50001500460144, 165.50000002284253} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 148 Class LineGraphic Head ID 147 ID 159 Points {210.24999997263478, 106.74325539585725} {232.00000068959605, 106.73694592725025} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 135 Bounds {{360.25, 89.250001907348633}, {52.5, 35}} Class ShapedGraphic FontInfo Font Helvetica-Bold Size 12 ID 148 Shape Rectangle Style fill Color b 0.901961 g 0.901961 r 0.901961 shadow Draws NO Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 CIVL \b\fs20 AST} Bounds {{232.5, 62.749982833862305}, {105, 88}} Class ShapedGraphic ID 147 Shape RoundRect Style fill Color b 0.679018 g 0.909892 r 1 shadow Draws NO Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;\f1\fswiss\fcharset0 Helvetica-Light;\f2\fnil\fcharset0 STIXGeneral-Regular; } {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 CIVL\ transformers\ \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural \f1\i\fs18 \cf0 CUDA \f2\i0 \uc0\u8594 \f1\i CIVL-C \f0\i0 \ \f1\i OpenMP \f2\i0 \uc0\u8594 \f1\i CIVL-C \f0\i0 \ \f1\i Pthreads \f2\i0 \uc0\u8594 \f1\i CIVL-C \f0\i0 \ \f1\i MPI \f2\i0 \uc0\u8594 \f1\i CIVL-C} Class LineGraphic Head ID 140 ID 144 Points {246.99999999999997, 183.15649545673611} {220.99999999999835, 183.15649545673611} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 142 Class LineGraphic Head ID 142 ID 143 Points {340.7505863328476, 182.97161040710102} {327.49999701281581, 183.01769420341756} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 141 Bounds {{247.5, 173.03147792816162}, {79.5, 20.25}} Class ShapedGraphic FontInfo Font Helvetica-Bold Size 12 ID 142 Shape Rectangle Style fill Color b 0.901961 g 0.901961 r 0.901961 shadow Draws NO Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 CIVL \b\fs20 model} Bounds {{341.25, 166}, {90.5, 33.625}} Class ShapedGraphic ID 141 Shape RoundRect Style fill Color b 0.679018 g 0.909892 r 1 shadow Draws NO Text Pad 0 Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 CIVL\ model builder} Bounds {{159.5, 166.68797302246094}, {61, 32.937026977539062}} Class ShapedGraphic ID 140 Shape RoundRect Style fill Color b 0.679018 g 0.909892 r 1 shadow Draws NO Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 CIVL\ verifier} Class LineGraphic Head ID 148 ID 139 Points {337.99847784959394, 107.36644918544764} {359.75026391084907, 107.61946105933016} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 147 Class LineGraphic Head ID 135 ID 158 Points {150.24741454020077, 106.18889503572797} {163.75005825702397, 106.39504108846195} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 156 Class LineGraphic Head ID 156 ID 157 Points {75.499955282663237, 106.3653791981143} {92.751984679032105, 106.13458722032135} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 136 Bounds {{18.5, 69.999994277954102}, {56.5, 73.499984741210938}} Class ShapedGraphic ID 136 Shape NoteShape Style fill Color b 0.901961 g 0.901961 r 0.901961 shadow Draws NO Text Pad 2 Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\b\fs20 \cf0 source \fs24 \ \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \b0\fs18 \cf0 C or CIVL-C with MPI, CUDA, OpenMP, Pthreads} Bounds {{164.25, 85.000005722045898}, {45.5, 43.499988555908203}} Class ShapedGraphic FontInfo Font Helvetica-Bold Size 12 ID 135 Shape Rectangle Style fill Color b 0.901961 g 0.901961 r 0.901961 shadow Draws NO Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 ABC \b\fs20 AST } Bounds {{93.25, 88.250005722045898}, {56.5, 35}} Class ShapedGraphic ID 156 Shape RoundRect Style fill Color b 0.679018 g 0.909892 r 1 shadow Draws NO Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 ABC\ parser} Bounds {{81.5, 58.5}, {263, 96.5}} Class ShapedGraphic ID 133 Shape Rectangle Style fill Color b 0.901961 g 0.901961 r 0.901961 Draws NO shadow Draws NO Text Align 0 Pad 2 Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica-Light;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural \f0\i\fs20 \cf0 Parser + Transformers} VerticalPad 1 TextPlacement 0 Wrap NO Bounds {{81.5, 162}, {354.5, 118}} Class ShapedGraphic ID 132 Shape Rectangle Style fill Color b 0.901961 g 0.901961 r 0.901961 Draws NO shadow Draws NO Text Align 2 Pad 2 Text {\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica-Light;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qr \f0\i\fs20 \cf0 Model builder + Verifier} VerticalPad 3 TextPlacement 2 Wrap NO GridInfo GuidesLocked NO GuidesVisible YES HPages 1 ImageCounter 1 KeepToScale Layers Lock NO Name Layer 1 Print YES View YES LayoutInfo Animate NO circoMinDist 18 circoSeparation 0.0 layoutEngine dot neatoSeparation 0.0 twopiSeparation 0.0 LinksVisible NO MagnetsVisible NO MasterSheets ModificationDate 2015-07-22 20:33:51 +0000 Modifier Manchun Zheng NotesVisible NO Orientation 2 OriginVisible NO PageBreaks YES PrintInfo NSBottomMargin float 41 NSHorizonalPagination coded BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG NSLeftMargin float 18 NSOrientation coded BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwGG NSPaperSize size {792, 612.00002479553223} NSPrintReverseOrientation int 0 NSRightMargin float 18 NSTopMargin float 18 PrintOnePage ReadOnly NO RowAlign 1 RowSpacing 36 SheetTitle Canvas 1 SmartAlignmentGuidesActive YES SmartDistanceGuidesActive YES UniqueID 1 UseEntirePage VPages 1 WindowInfo CurrentSheet 0 ExpandedCanvases name Canvas 1 Frame {{695, 36}, {1789, 1247}} ListView OutlineWidth 142 RightSidebar ShowRuler Sidebar SidebarWidth 120 VisibleRegion {{0, 0}, {755.5, 554}} Zoom 2 ZoomValues Canvas 1 2 1