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 114 ID 131 OrthogonalBarAutomatic OrthogonalBarPoint {0, 0} OrthogonalBarPosition 4.8052892684936523 Points {282.23942109723197, 136.66040922149458} {299.75, 133.0000057220459} {309.53078530474352, 137.55266407522072} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 2 TailArrow 0 Tail ID 123 Class LineGraphic Head ID 120 ID 130 OrthogonalBarAutomatic OrthogonalBarPoint {0, 0} OrthogonalBarPosition -1 Points {87.256235116341315, 73.70553345712193} {76, 75.500005722045898} {78.5, 140.5000057220459} {93.007570292474881, 140.87612791481376} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 2 TailArrow 0 Tail ID 108 Bounds {{229.25, 124.7500057220459}, {52.5, 35}} Class ShapedGraphic FontInfo Font Helvetica-Bold Size 12 ID 123 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 {{93.5, 98.250005722045898}, {105, 88}} Class ShapedGraphic ID 120 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 118 ID 119 Points {371.91763653235427, 78.341973253515718} {394.55555839727464, 90.009645933697442} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 113 Bounds {{395, 48.000007250165027}, {74.5, 122.875}} Class ShapedGraphic FontInfo Font Helvetica-Bold Size 12 ID 118 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 113 ID 117 Points {345.00001850464349, 97.750005700141543} {345.00001850464349, 81.437035777727573} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 115 Class LineGraphic Head ID 115 ID 116 Points {344.99999220959006, 136.7500057220459} {344.99999220959006, 119.0000057220459} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 114 Bounds {{305.25, 98.250005722045898}, {79.5, 20.25}} Class ShapedGraphic FontInfo Font Helvetica-Bold Size 12 ID 115 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 {{299.75, 137.2500057220459}, {90.5, 33.625}} Class ShapedGraphic ID 114 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 {{314.50000625277067, 48.000008778284155}, {61, 32.937026977539062}} Class ShapedGraphic ID 113 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 123 ID 112 Points {198.9999999999998, 142.24999350932308} {228.75, 142.24999350932308} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 120 Class LineGraphic Head ID 108 ID 111 Points {145.0173696686696, 68.635682754115081} {133.74960989214853, 69.081048731176864} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 107 Class LineGraphic Head ID 107 ID 110 Points {227.75005990341162, 68.315707855785348} {202.49746898510514, 67.934252866080584} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 109 Bounds {{228.25000286102295, 32}, {56.5, 73.499984741210938}} Class ShapedGraphic ID 109 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 {{87.75, 52.500005722045898}, {45.5, 35}} Class ShapedGraphic FontInfo Font Helvetica-Bold Size 12 ID 108 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 {{145.5, 50.000005722045898}, {56.5, 35}} Class ShapedGraphic ID 107 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 {{70, 32.000005722045898}, {148, 162}} Class ShapedGraphic ID 106 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 {{293, 32.000005722045898}, {184, 162}} Class ShapedGraphic ID 105 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 18:39:13 +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 {{784, 108}, {1789, 1247}} ListView OutlineWidth 142 RightSidebar ShowRuler Sidebar SidebarWidth 120 VisibleRegion {{0, 0}, {755.5, 554}} Zoom 2 ZoomValues Canvas 1 2 1