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 {256.87412147305429, 220.58020232098895} {276.62735655333489, 220.43218568219135} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow FilledArrow TailScale 0.5 Tail ID 181 Bounds {{195.375, 204.34397411346436}, {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 {307.89975898816306, 237.78093557397133} {308.15631303606773, 253.62509063843186} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 140 Class LineGraphic Head ID 180 ID 171 Points {330.49319969500647, 237.45421722020427} {357.88940779141495, 257.39108561293727} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 140 Class LineGraphic Head ID 162 ID 164 Points {286.95000505360866, 237.59613010358319} {258.87923886236035, 260.38354580619773} 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 {{279.375, 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 OrthogonalBarAutomatic OrthogonalBarPoint {0, 0} OrthogonalBarPosition 17.214082717895508 Points {525.02301777999617, 152.9638780088828} {504.8158968543255, 203.19204399282756} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 2 TailArrow 0 Tail ID 148 Class LineGraphic Head ID 147 ID 159 Points {370.25, 139.24998947887397} {392, 139.24998947887397} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 135 Bounds {{512.5, 117.50000953674316}, {39.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 {{392.5, 95.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 {358.37501228968597, 220.5300175727823} {338.62211036437083, 220.39139807087741} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 142 Class LineGraphic Head ID 142 ID 143 Points {452.12730553552302, 220.15310834634323} {438.87491305029249, 220.0617439948025} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 141 Bounds {{358.875, 210.68747901916504}, {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 {{452.625, 203.65600109100342}, {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 {{277.125, 204.34397411346436}, {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 {497.97389053238811, 136.70138175529618} {512.00064124510175, 136.02654757498723} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 147 Class LineGraphic Head ID 135 ID 158 Points {310.24741454020074, 138.68889503572797} {323.75005825702397, 138.89504108846194} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 156 Class LineGraphic Head ID 156 ID 157 Points {236.49999999390758, 138.25681869842316} {252.75000170325202, 138.2612057426465} Style stroke HeadArrow FilledArrow HeadScale 0.5 Legacy LineType 1 TailArrow 0 Tail ID 136 Bounds {{186.5, 101.50000953674316}, {49.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 1 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 {{324.25, 117.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 {{253.25, 120.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 {{243, 91}, {259, 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 {{186.5, 198.5}, {365.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-23 15:14:08 +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 {{232, 81}, {1789, 1247}} ListView OutlineWidth 142 RightSidebar ShowRuler Sidebar SidebarWidth 120 VisibleRegion {{0, 0}, {755.5, 554}} Zoom 2 ZoomValues Canvas 1 2 1