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 LineGraphic Head ID 140 ID 182 Points {260.99999999999744, 219.65647153867351} {280.75000000000409, 219.65647153867351} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow FilledArrow TailScale 0.5 Tail ID 181 Bounds {{199.5, 203.18797302246094}, {61, 32.937026977539062}} Class ShapedGraphic ID 181 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 SARL} Class Group Graphics Bounds {{368.5, 276.43798542022705}, {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 {{362.625, 270.18798542022705}, {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 {{357.875, 265.281494140625}, {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 {{353.5, 261.68797302246094}, {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 {{348.5, 257.68701934814453}, {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 {311.50462381415207, 236.62494775512499} {311.25878966334437, 253.62507857870918} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 140 Class LineGraphic Head ID 180 ID 171 Points {332.95961818670281, 236.43521253253186} {359.43334726959432, 257.37832631863853} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 140 Class LineGraphic Head ID 162 ID 164 Points {290.31805009544797, 236.43319836449754} {259.21105210936645, 260.78343920384401} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 140 Bounds {{204.75, 251.43797302246094}, {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 {{283.5, 254.12500762939453}, {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 {501.98821436593454, 161.25000180695923} {501.96153300013805, 202.00000125461668} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 148 Class LineGraphic Head ID 147 ID 159 Points {321.75, 143.24998947887397} {343.5, 143.24998947887397} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 135 Bounds {{475.75, 125.75000190734863}, {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 {{344, 99.249982833862305}, {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 {362.49999999999994, 219.65649545673614} {342.74999999999841, 219.65649545673614} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 142 Class LineGraphic Head ID 142 ID 143 Points {456.25058225487243, 219.47105707738615} {442.99999700174038, 219.51698059237154} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 141 Bounds {{363, 209.53147792816162}, {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 {{456.75, 202.5}, {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 {{281.25, 203.18797302246094}, {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 {449.49999999999869, 143.24999797815818} {475.25, 143.24999797815818} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 147 Class LineGraphic Head ID 135 ID 158 Points {261.74741454020074, 142.68889503572797} {275.25005825702397, 142.89504108846194} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 156 Class LineGraphic Head ID 156 ID 157 Points {186.99995528266325, 142.86537919811428} {204.25198467903209, 142.63458722032135} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 136 Bounds {{130, 106.4999942779541}, {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 {{275.75, 121.5000057220459}, {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 {{204.75, 124.7500057220459}, {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 {{193, 95}, {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 {{193, 198.5}, {359, 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 21:23:59 +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, 88}, {1789, 1247}} ListView OutlineWidth 142 RightSidebar ShowRuler Sidebar SidebarWidth 120 VisibleRegion {{0, 0}, {755.5, 554}} Zoom 2 ZoomValues Canvas 1 2 1