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 141 ID 160 Points {332.74998491378187, 178.29220389592237} {348.75292764958738, 178.16788828473346} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 148 Class LineGraphic Head ID 147 ID 159 Points {229.65183607568395, 123.44923615839933} {224.47114350959683, 134.05078672978428} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 135 Bounds {{279.75, 161.0000057220459}, {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 {{150.25, 134.5000171661377}, {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 145 ID 146 Points {421.77908788815802, 108.31272412291159} {448.30126480329079, 121.34742857011426} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 140 Bounds {{448.75, 78.437512972210925}, {74.5, 122.875}} Class ShapedGraphic FontInfo Font Helvetica-Bold Size 12 ID 145 Shape Rectangle 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 result \b0 \ \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural \i \cf0 stdout \f1 \ \i0\fs18 - Yes / No \ - statistics (time, memory, ...) \f0\fs20 \ \i log files\ \f1\i0\fs18 - summary of violations \f0\fs20 \ \i trace files\ \f1\i0\fs18 - each violation} TextPlacement 0 Class LineGraphic Head ID 140 ID 144 Points {394.50001728668377, 125.562266356438} {394.50001728668377, 111.87454147122359} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 142 Class LineGraphic Head ID 142 ID 143 Points {394.5000091962242, 160.5000114440918} {394.5000091962242, 146.81226634979248} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 141 Bounds {{354.75, 126.06226634979248}, {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 {{349.25, 161.0000114440918}, {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 {{364.00000625277067, 78.437514500330053}, {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 {255.74999999999974, 178.50002206621144} {279.25, 178.50002206621144} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 147 Class LineGraphic Head ID 135 ID 158 Points {203.74741454020074, 100.68890647982082} {217.25005825702397, 100.8950525325553} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 156 Class LineGraphic Head ID 156 ID 157 Points {128.99995528266325, 100.86539064220652} {146.25198467903209, 100.63459866441386} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 136 Bounds {{72, 64.500005722045898}, {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 {{217.75, 79.500017166137695}, {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 {{146.75, 82.750017166137695}, {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 {{135.75, 64.000005722045898}, {134.5, 162}} 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 {{339.25, 63.500011444091797}, {190, 162}} 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 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 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:11:30 +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 {{787, 62}, {1789, 1247}} ListView OutlineWidth 142 RightSidebar ShowRuler Sidebar SidebarWidth 120 VisibleRegion {{0, 0}, {755.5, 554}} Zoom 2 ZoomValues Canvas 1 2 1