Browse files

My report.

  • Loading branch information...
mythmon committed Feb 7, 2012
1 parent 0899d32 commit ebb3c234861ae1c85a71dc770e2bc4427288e3f0
@@ -0,0 +1,17 @@
+m2.pdf: m2.tex main.png boolean.png number.png whitespace.png
+ @pdflatex m2.tex
+main.png: main.gv
+ @dot main.gv -Tpng > main.png
+boolean.png: boolean.gv
+ @dot boolean.gv -Tpng > boolean.png
+number.png: number.gv
+ @dot number.gv -Tpng > number.png
+string.png: string.gv
+ @dot string.gv -Tpng > string.png
+whitespace.png: whitespace.gv
+ @dot whitespace.gv -Tpng > whitespace.png
@@ -1,4 +1,5 @@
digraph NFA {
+ rankdir=LR
subgraph cluster_string {
@@ -8,5 +9,6 @@ digraph NFA {
b0 -> b1
b1 -> b2 [label="true"]
+ b1 -> b2 [label="false"]
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@@ -0,0 +1,9 @@
+\@writefile{toc}{\contentsline {subsection}{Milestone Questions}{1}}
+\@writefile{toc}{\contentsline {subsection}{Specification}{1}}
+\@writefile{toc}{\contentsline {subsection}{Processing}{1}}
+\@writefile{toc}{\contentsline {subsection}{Testing}{2}}
+\@writefile{toc}{\contentsline {subsection}{Retrospective}{2}}
@@ -0,0 +1,305 @@
+This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2012/dev/Arch Linux) (format=pdflatex 2011.10.18) 6 FEB 2012 21:14
+entering extended mode
+ restricted \write18 enabled.
+ %&-line parsing enabled.
+LaTeX2e <2009/09/24>
+Babel <v3.8l> and hyphenation patterns for english, dumylang, nohyphenation, ge
+rman-x-2009-06-19, ngerman-x-2009-06-19, afrikaans, ancientgreek, ibycus, arabi
+c, armenian, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danis
+h, dutch, ukenglish, usenglishmax, esperanto, estonian, ethiopic, farsi, finnis
+h, french, galician, german, ngerman, swissgerman, monogreek, greek, hungarian,
+ icelandic, assamese, bengali, gujarati, hindi, kannada, malayalam, marathi, or
+iya, panjabi, tamil, telugu, indonesian, interlingua, irish, italian, kurmanji,
+ lao, latin, latvian, lithuanian, mongolian, mongolianlmc, bokmal, nynorsk, pol
+ish, portuguese, romanian, russian, sanskrit, serbian, serbianc, slovak, sloven
+ian, spanish, swedish, turkish, turkmen, ukrainian, uppersorbian, welsh, loaded
+Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
+File: size12.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
+Package: geometry 2010/09/12 v5.6 Page Geometry
+Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
+Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
+Package ifpdf Info: pdfTeX in PDF mode is detected.
+Package: ifvtex 2010/03/01 v1.5 Switches for detecting VTeX and its modes (HO)
+Package ifvtex Info: VTeX not detected.
+Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
+LaTeX Warning: You have requested release `2011/06/27' of LaTeX,
+ but only release `2009/09/24' is available.
+Package: lastpage 2011/09/01 v1.2k Refers to last page's name (HMM; JPG)
+) (/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty
+Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
+Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
+Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
+File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live
+Package graphics Info: Driver file: pdftex.def on input line 91.
+File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX
+Package: infwarerr 2010/04/08 v1.3 Providing info/warning/message (HO)
+Package: ltxcmds 2011/04/18 v1.20 LaTeX kernel commands for general use (HO)
+File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz)
+File: listings.cfg 2007/02/22 1.4 listings configuration
+Package: listings 2007/02/22 1.4 (Carsten Heinz)
+File: lstlang1.sty 2004/09/05 1.3 listings language file
+) (./m2.aux)
+\openout1 = `m2.aux'.
+LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 28.
+LaTeX Font Info: ... okay on input line 28.
+LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 28.
+LaTeX Font Info: ... okay on input line 28.
+LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 28.
+LaTeX Font Info: ... okay on input line 28.
+LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 28.
+LaTeX Font Info: ... okay on input line 28.
+LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 28.
+LaTeX Font Info: ... okay on input line 28.
+LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 28.
+LaTeX Font Info: ... okay on input line 28.
+*geometry* driver: auto-detecting
+*geometry* detected driver: pdftex
+*geometry* verbose mode - [ preamble ] result:
+* driver: pdftex
+* paper: <default>
+* layout: <same size as paper>
+* layoutoffset:(h,v)=(0.0pt,0.0pt)
+* modes:
+* h-part:(L,W,R)=(72.26999pt, 469.75502pt, 72.26999pt)
+* v-part:(T,H,B)=(72.26999pt, 650.43001pt, 72.26999pt)
+* \paperwidth=614.295pt
+* \paperheight=794.96999pt
+* \textwidth=469.75502pt
+* \textheight=650.43001pt
+* \oddsidemargin=0.0pt
+* \evensidemargin=0.0pt
+* \topmargin=-37.0pt
+* \headheight=12.0pt
+* \headsep=25.0pt
+* \topskip=12.0pt
+* \footskip=30.0pt
+* \marginparwidth=44.0pt
+* \marginparsep=10.0pt
+* \columnsep=10.0pt
+* \skip\footins=10.8pt plus 4.0pt minus 2.0pt
+* \hoffset=0.0pt
+* \voffset=0.0pt
+* \mag=1000
+* \@twocolumnfalse
+* \@twosidefalse
+* \@mparswitchfalse
+* \@reversemarginfalse
+* (1in=72.27pt=25.4mm, 1cm=28.453pt)
+Package lastpage Info: Please have a look at the pageslts package at
+(lastpage) macros/latex/contrib/pageslts/
+(lastpage) or
+(lastpage) install/macros/latex/contrib/
+(lastpage) ! on input line 28.
+[Loading MPS to PDF converter (version 2006.09.02).]
+) (/usr/share/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
+Package: pdftexcmds 2011/04/22 v0.16 Utilities of pdfTeX for LuaTeX (HO)
+Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
+Package ifluatex Info: LuaTeX not detected.
+Package pdftexcmds Info: LuaTeX not detected.
+Package pdftexcmds Info: \pdf@primitive is available.
+Package pdftexcmds Info: \pdf@ifprimitive is available.
+Package pdftexcmds Info: \pdfdraftmode found.
+Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf
+Package: grfext 2010/08/19 v1.1 Managing graphics extensions (HO)
+Package: kvdefinekeys 2011/04/07 v1.3 Defining keys (HO)
+Package: kvoptions 2010/12/23 v3.10 Keyval support for LaTeX options (HO)
+Package: kvsetkeys 2011/04/07 v1.13 Key value parser (HO)
+Package: etexcmds 2011/02/16 v1.5 Prefix for e-TeX command names (HO)
+Package etexcmds Info: Could not find \expanded.
+(etexcmds) That can mean that you are not using pdfTeX 1.50 or
+(etexcmds) that some package has redefined \expanded.
+(etexcmds) In the latter case, load this package earlier.
+Package grfext Info: Graphics extension search list:
+(grfext) [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE
+(grfext) \AppendGraphicsExtensions on input line 452.
+File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
+<main.png, id=1, 623.32875pt x 675.52374pt>
+File: main.png Graphic file (type png)
+ <use main.png>
+Package pdftex.def Info: main.png used on input line 31.
+(pdftex.def) Requested size: 200.05896pt x 216.81pt.
+<number.png, id=2, 318.18875pt x 1010.77625pt>
+File: number.png Graphic file (type png)
+ <use number.png>
+Package pdftex.def Info: number.png used on input line 32.
+(pdftex.def) Requested size: 91.0003pt x 289.07999pt.
+<boolean.png, id=3, 401.5pt x 179.67125pt>
+File: boolean.png Graphic file (type png)
+ <use boolean.png>
+Package pdftex.def Info: boolean.png used on input line 34.
+(pdftex.def) Requested size: 161.49773pt x 72.26999pt.
+<whitespace.png, id=4, 358.33875pt x 176.66pt>
+File: whitespace.png Graphic file (type png)
+ <use whitespace.png>
+Package pdftex.def Info: whitespace.png used on input line 35.
+(pdftex.def) Requested size: 146.59177pt x 72.26999pt.
+Package Fancyhdr Warning: \headheight is too small (12.0pt):
+ Make it at least 14.49998pt.
+ We now make it that large for the rest of the document.
+ This may cause the page layout to be inconsistent, however.
+ <./main.png> <./number.png> <./boolean.png> <./whitespace.png>]
+AED: lastpage setting LastPage
+[2] (./m2.aux) )
+Here is how much of TeX's memory you used:
+ 3316 strings out of 493633
+ 47245 string characters out of 3148831
+ 129579 words of memory out of 3000000
+ 6598 multiletter control sequences out of 15000+200000
+ 4543 words of font info for 17 fonts, out of 3000000 for 9000
+ 831 hyphenation exceptions out of 8191
+ 38i,10n,43p,235b,219s stack positions out of 5000i,500n,10000p,200000b,50000s
+Output written on m2.pdf (2 pages, 110275 bytes).
+PDF statistics:
+ 23 PDF objects out of 1000 (max. 8388607)
+ 12 compressed objects within 1 object stream
+ 0 named destinations out of 1000 (max. 500000)
+ 21 words of extra memory for PDF output out of 10000 (max. 10000000)
Binary file not shown.
Oops, something went wrong.

0 comments on commit ebb3c23

Please sign in to comment.