source: Deliverables/D2.1/report.log @ 1661

Last change on this file since 1661 was 1462, checked in by ayache, 8 years ago

Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been updated accordingly.

File size: 29.3 KB
Line 
1This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.5.2)  4 MAY 2011 16:43
2entering extended mode
3 %&-line parsing enabled.
4**report.tex
5(./report.tex
6LaTeX2e <2009/09/24>
7Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
8yphenation, loaded.
9(/usr/share/texmf-texlive/tex/latex/base/article.cls
10Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
11(/usr/share/texmf-texlive/tex/latex/base/size11.clo
12File: size11.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
13)
14\c@part=\count79
15\c@section=\count80
16\c@subsection=\count81
17\c@subsubsection=\count82
18\c@paragraph=\count83
19\c@subparagraph=\count84
20\c@figure=\count85
21\c@table=\count86
22\abovecaptionskip=\skip41
23\belowcaptionskip=\skip42
24\bibindent=\dimen102
25) (../style/cerco.sty
26CerCo-specific declarations and macros
27(/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty
28Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
29
30(/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty
31Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
32\KV@toks@=\toks14
33)
34(/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty
35Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
36
37(/usr/share/texmf-texlive/tex/latex/graphics/trig.sty
38Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
39)
40(/etc/texmf/tex/latex/config/graphics.cfg
41File: graphics.cfg 2009/08/28 v1.8 graphics configuration of TeX Live
42)
43Package graphics Info: Driver file: pdftex.def on input line 91.
44
45(/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def
46File: pdftex.def 2010/03/12 v0.04p Graphics/color for pdfTeX
47\Gread@gobject=\count87
48))
49\Gin@req@height=\dimen103
50\Gin@req@width=\dimen104
51)
52(/usr/share/texmf-texlive/tex/latex/base/latexsym.sty
53Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
54\symlasy=\mathgroup4
55LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
56(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 47.
57)
58(/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty
59Package: amssymb 2009/06/22 v3.00
60
61(/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty
62Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support
63\@emptytoks=\toks15
64\symAMSa=\mathgroup5
65\symAMSb=\mathgroup6
66LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
67(Font)                  U/euf/m/n --> U/euf/b/n on input line 96.
68))
69(/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty
70Package: hyperref 2009/10/09 v6.79a Hypertext links for LaTeX
71
72(/usr/share/texmf-texlive/tex/generic/oberdiek/ifpdf.sty
73Package: ifpdf 2009/04/10 v2.0 Provides the ifpdf switch (HO)
74Package ifpdf Info: pdfTeX in pdf mode detected.
75)
76(/usr/share/texmf-texlive/tex/generic/oberdiek/ifvtex.sty
77Package: ifvtex 2008/11/04 v1.4 Switches for detecting VTeX and its modes (HO)
78Package ifvtex Info: VTeX not detected.
79)
80(/usr/share/texmf-texlive/tex/generic/ifxetex/ifxetex.sty
81Package: ifxetex 2009/01/23 v0.5 Provides ifxetex conditional
82)
83(/usr/share/texmf-texlive/tex/latex/oberdiek/hycolor.sty
84Package: hycolor 2009/10/02 v1.5 Code for color options of hyperref/bookmark (H
85O)
86
87(/usr/share/texmf-texlive/tex/latex/oberdiek/xcolor-patch.sty
88Package: xcolor-patch 2009/10/02 xcolor patch
89))
90\@linkdim=\dimen105
91\Hy@linkcounter=\count88
92\Hy@pagecounter=\count89
93
94(/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def
95File: pd1enc.def 2009/10/09 v6.79a Hyperref: PDFDocEncoding definition (HO)
96)
97(/usr/share/texmf-texlive/tex/generic/oberdiek/etexcmds.sty
98Package: etexcmds 2007/12/12 v1.2 Prefix for e-TeX command names (HO)
99
100(/usr/share/texmf-texlive/tex/generic/oberdiek/infwarerr.sty
101Package: infwarerr 2007/09/09 v1.2 Providing info/warning/message (HO)
102)
103Package etexcmds Info: Could not find \expanded.
104(etexcmds)             That can mean that you are not using pdfTeX 1.50 or
105(etexcmds)             that some package has redefined \expanded.
106(etexcmds)             In the latter case, load this package earlier.
107)
108(/etc/texmf/tex/latex/config/hyperref.cfg
109File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
110)
111(/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty
112Package: kvoptions 2009/08/13 v3.4 Keyval support for LaTeX options (HO)
113
114(/usr/share/texmf-texlive/tex/generic/oberdiek/kvsetkeys.sty
115Package: kvsetkeys 2009/07/30 v1.5 Key value parser with default handler suppor
116t (HO)
117))
118Package hyperref Info: Option `bookmarks' set `true' on input line 2864.
119Package hyperref Info: Option `colorlinks' set `true' on input line 2864.
120
121
122Package hyperref Warning: Option `pagecolor' is not available anymore.
123
124Package hyperref Info: Option `breaklinks' set `true' on input line 2864.
125Package hyperref Info: Option `bookmarksopen' set `true' on input line 2864.
126Package hyperref Info: Hyper figures OFF on input line 2975.
127Package hyperref Info: Link nesting OFF on input line 2980.
128Package hyperref Info: Hyper index ON on input line 2983.
129Package hyperref Info: Plain pages OFF on input line 2990.
130Package hyperref Info: Backreferencing OFF on input line 2995.
131Implicit mode ON; LaTeX internals redefined
132Package hyperref Info: Bookmarks ON on input line 3191.
133(/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty
134\Urlmuskip=\muskip10
135Package: url 2006/04/12  ver 3.3  Verb mode for urls, etc.
136)
137LaTeX Info: Redefining \url on input line 3428.
138
139(/usr/share/texmf-texlive/tex/generic/oberdiek/bitset.sty
140Package: bitset 2007/09/28 v1.0 Data type bit set (HO)
141
142(/usr/share/texmf-texlive/tex/generic/oberdiek/intcalc.sty
143Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO)
144)
145(/usr/share/texmf-texlive/tex/generic/oberdiek/bigintcalc.sty
146Package: bigintcalc 2007/11/11 v1.1 Expandable big integer calculations (HO)
147
148(/usr/share/texmf-texlive/tex/generic/oberdiek/pdftexcmds.sty
149Package: pdftexcmds 2009/09/23 v0.6 LuaTeX support for pdfTeX utility functions
150 (HO)
151
152(/usr/share/texmf-texlive/tex/generic/oberdiek/ifluatex.sty
153Package: ifluatex 2009/04/17 v1.2 Provides the ifluatex switch (HO)
154Package ifluatex Info: LuaTeX not detected.
155)
156(/usr/share/texmf-texlive/tex/generic/oberdiek/ltxcmds.sty
157Package: ltxcmds 2009/08/05 v1.0 Some LaTeX kernel commands for general use (HO
158)
159)
160Package pdftexcmds Info: LuaTeX not detected.
161Package pdftexcmds Info: \pdf@primitive is available.
162Package pdftexcmds Info: \pdf@ifprimitive is available.
163)))
164\Fld@menulength=\count90
165\Field@Width=\dimen106
166\Fld@charsize=\dimen107
167\Field@toks=\toks16
168Package hyperref Info: Hyper figures OFF on input line 4377.
169Package hyperref Info: Link nesting OFF on input line 4382.
170Package hyperref Info: Hyper index ON on input line 4385.
171Package hyperref Info: backreferencing OFF on input line 4392.
172Package hyperref Info: Link coloring ON on input line 4395.
173Package hyperref Info: Link coloring with OCG OFF on input line 4402.
174Package hyperref Info: PDF/A mode OFF on input line 4407.
175
176(/usr/share/texmf-texlive/tex/generic/oberdiek/atbegshi.sty
177Package: atbegshi 2008/07/31 v1.9 At begin shipout hook (HO)
178)
179\Hy@abspage=\count91
180\c@Item=\count92
181\c@Hfootnote=\count93
182)
183*hyperref using default driver hpdftex*
184(/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def
185File: hpdftex.def 2009/10/09 v6.79a Hyperref driver for pdfTeX
186\Fld@listcount=\count94
187)
188(/usr/share/texmf-texlive/tex/latex/base/alltt.sty
189Package: alltt 1997/06/16 v2.0g defines alltt environment
190))
191(/usr/share/texmf-texlive/tex/latex/base/inputenc.sty
192Package: inputenc 2008/03/30 v1.1d Input encoding file
193\inpenc@prehook=\toks17
194\inpenc@posthook=\toks18
195
196(/usr/share/texmf-texlive/tex/latex/base/latin1.def
197File: latin1.def 2008/03/30 v1.1d Input encoding file
198))
199(/usr/share/texmf-texlive/tex/generic/babel/babel.sty
200Package: babel 2008/07/06 v3.8l The Babel package
201
202(/usr/share/texmf-texlive/tex/generic/babel/english.ldf
203Language: english 2005/03/30 v3.3o English support from the babel system
204
205(/usr/share/texmf-texlive/tex/generic/babel/babel.def
206File: babel.def 2008/07/06 v3.8l Babel common definitions
207\babel@savecnt=\count95
208\U@D=\dimen108
209)
210\l@british = a dialect from \language\l@english
211\l@UKenglish = a dialect from \language\l@english
212\l@canadian = a dialect from \language\l@american
213\l@australian = a dialect from \language\l@british
214\l@newzealand = a dialect from \language\l@british
215))
216(/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty
217Package: amsmath 2000/07/18 v2.13 AMS math features
218\@mathmargin=\skip43
219
220For additional information on amsmath, use the `?' option.
221(/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
222Package: amstext 2000/06/29 v2.01
223
224(/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty
225File: amsgen.sty 1999/11/30 v2.0
226\@emptytoks=\toks19
227\ex@=\dimen109
228))
229(/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty
230Package: amsbsy 1999/11/29 v1.2d
231\pmbraise@=\dimen110
232)
233(/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty
234Package: amsopn 1999/12/14 v2.01 operator names
235)
236\inf@bad=\count96
237LaTeX Info: Redefining \frac on input line 211.
238\uproot@=\count97
239\leftroot@=\count98
240LaTeX Info: Redefining \overline on input line 307.
241\classnum@=\count99
242\DOTSCASE@=\count100
243LaTeX Info: Redefining \ldots on input line 379.
244LaTeX Info: Redefining \dots on input line 382.
245LaTeX Info: Redefining \cdots on input line 467.
246\Mathstrutbox@=\box26
247\strutbox@=\box27
248\big@size=\dimen111
249LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
250LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
251\macc@depth=\count101
252\c@MaxMatrixCols=\count102
253\dotsspace@=\muskip11
254\c@parentequation=\count103
255\dspbrk@lvl=\count104
256\tag@help=\toks20
257\row@=\count105
258\column@=\count106
259\maxfields@=\count107
260\andhelp@=\toks21
261\eqnshift@=\dimen112
262\alignsep@=\dimen113
263\tagshift@=\dimen114
264\tagwidth@=\dimen115
265\totwidth@=\dimen116
266\lineht@=\dimen117
267\@envbody=\toks22
268\multlinegap=\skip44
269\multlinetaggap=\skip45
270\mathdisplay@stack=\toks23
271LaTeX Info: Redefining \[ on input line 2666.
272LaTeX Info: Redefining \] on input line 2667.
273)
274(/usr/share/texmf-texlive/tex/latex/tools/xspace.sty
275Package: xspace 2006/05/08 v1.12 Space after command names (DPC,MH)
276)
277(/usr/share/texmf-texlive/tex/generic/xypic/xy.sty
278(/usr/share/texmf-texlive/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes,
279docmode, (/usr/share/texmf-texlive/tex/generic/xypic/xyrecat.tex)
280(/usr/share/texmf-texlive/tex/generic/xypic/xyidioms.tex)
281
282 Xy-pic version 3.7 <1999/02/16>
283 Copyright (c) 1991-1998 by Kristoffer H. Rose <krisrose@ens-lyon.fr>
284 Xy-pic is free software: see the User's Guide for details.
285
286Loading kernel: messages; fonts; allocations: state,
287\X@c=\dimen118
288\Y@c=\dimen119
289\U@c=\dimen120
290\D@c=\dimen121
291\L@c=\dimen122
292\R@c=\dimen123
293\Edge@c=\toks24
294\X@p=\dimen124
295\Y@p=\dimen125
296\U@p=\dimen126
297\D@p=\dimen127
298\L@p=\dimen128
299\R@p=\dimen129
300\Edge@p=\toks25
301\X@origin=\dimen130
302\Y@origin=\dimen131
303\X@xbase=\dimen132
304\Y@xbase=\dimen133
305\X@ybase=\dimen134
306\Y@ybase=\dimen135
307\X@min=\dimen136
308\Y@min=\dimen137
309\X@max=\dimen138
310\Y@max=\dimen139
311\lastobjectbox@=\box28
312\zerodotbox@=\box29
313\almostz@=\dimen140
314 direction,
315\d@X=\dimen141
316\d@Y=\dimen142
317\K@=\count108
318\KK@=\count109
319\Direction=\count110
320\K@dXdY=\dimen143
321\K@dYdX=\dimen144
322\xyread@=\read1
323\xywrite@=\write3
324\csp@=\count111
325\quotPTK@=\dimen145
326
327utility macros; pictures: \xy, positions,
328\swaptoks@@=\toks26
329\connectobjectbox@@=\box30
330 objects,
331\styletoks@=\toks27
332 decorations;
333kernel objects: directionals, circles, text; options; algorithms: directions,
334edges, connections;  Xy-pic loaded)
335Package: xy 1999/02/16 Xy-pic version 3.7
336
337(/usr/share/texmf-texlive/tex/generic/xypic/xyall.tex
338 Xy-pic option: All features v.3.3
339(/usr/share/texmf-texlive/tex/generic/xypic/xycurve.tex
340 Xy-pic option: Curve and Spline extension v.3.7 curve,
341\crv@cnt@=\count112
342\crvpts@=\toks28
343\splinebox@=\box31
344\splineval@=\dimen146
345\splinedepth@=\dimen147
346\splinetol@=\dimen148
347\splinelength@=\dimen149
348 circles,
349\L@=\dimen150
350 loaded)
351(/usr/share/texmf-texlive/tex/generic/xypic/xyframe.tex
352 Xy-pic option: Frame and Bracket extension v.3.7 loaded)
353(/usr/share/texmf-texlive/tex/generic/xypic/xycmtip.tex
354 Xy-pic option: Computer Modern tip extension v.3.3
355(/usr/share/texmf-texlive/tex/generic/xypic/xytips.tex
356 Xy-pic option: More Tips extension v.3.3 loaded) loaded)
357(/usr/share/texmf-texlive/tex/generic/xypic/xyline.tex
358 Xy-pic option: Line styles extension v.3.6
359\xylinethick@=\dimen151
360 loaded)
361(/usr/share/texmf-texlive/tex/generic/xypic/xyrotate.tex
362 Xy-pic option: Rotate and Scale extension v.3.3 loaded)
363(/usr/share/texmf-texlive/tex/generic/xypic/xycolor.tex
364 Xy-pic option: Colour extension v.3.3 loaded)
365(/usr/share/texmf-texlive/tex/generic/xypic/xymatrix.tex
366 Xy-pic option: Matrix feature v.3.4
367\Row=\count113
368\Col=\count114
369\queue@=\toks29
370\queue@@=\toks30
371\qcount@=\count115
372\qcount@@=\count116
373\matrixsize@=\count117
374 loaded)
375(/usr/share/texmf-texlive/tex/generic/xypic/xyarrow.tex
376 Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded)
377(/usr/share/texmf-texlive/tex/generic/xypic/xygraph.tex
378 Xy-pic option: Graph feature v.3.7 loaded) loaded))
379(/usr/share/texmf-texlive/tex/latex/graphics/color.sty
380Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC)
381
382(/etc/texmf/tex/latex/config/color.cfg
383File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
384)
385Package color Info: Driver file: pdftex.def on input line 130.
386)
387(/usr/share/texmf-texlive/tex/latex/tools/array.sty
388Package: array 2008/09/09 v2.4c Tabular extension package (FMi)
389\col@sep=\dimen152
390\extrarowheight=\dimen153
391\NC@list=\toks31
392\extratabsurround=\skip46
393\backup@length=\skip47
394)
395\c@theorem=\count118
396
397
398LaTeX Warning: Unused global option(s):
399    [epsf,a4wide].
400
401(./report.aux)
402\openout1 = `report.aux'.
403
404LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 538.
405LaTeX Font Info:    ... okay on input line 538.
406LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 538.
407LaTeX Font Info:    ... okay on input line 538.
408LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 538.
409LaTeX Font Info:    ... okay on input line 538.
410LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 538.
411LaTeX Font Info:    ... okay on input line 538.
412LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 538.
413LaTeX Font Info:    ... okay on input line 538.
414LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 538.
415LaTeX Font Info:    ... okay on input line 538.
416LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 538.
417LaTeX Font Info:    ... okay on input line 538.
418 (/usr/share/texmf/tex/context/base/supp-pdf.mkii
419[Loading MPS to PDF converter (version 2006.09.02).]
420\scratchcounter=\count119
421\scratchdimen=\dimen154
422\scratchbox=\box32
423\nofMPsegments=\count120
424\nofMParguments=\count121
425\everyMPshowfont=\toks32
426\MPscratchCnt=\count122
427\MPscratchDim=\dimen155
428\MPnumerator=\count123
429\everyMPtoPDFconversion=\toks33
430)
431Package hyperref Info: Link coloring ON on input line 538.
432 (/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty
433Package: nameref 2007/05/29 v2.31 Cross-referencing by name of section
434
435(/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty
436Package: refcount 2008/08/11 v3.1 Data extraction from references (HO)
437)
438\c@section@level=\count124
439)
440LaTeX Info: Redefining \ref on input line 538.
441LaTeX Info: Redefining \pageref on input line 538.
442 (./report.out)
443(./report.out)
444\@outlinefile=\write4
445\openout4 = `report.out'.
446
447\AtBeginShipoutBox=\box33
448 <../style/cerco_logo.png, id=283, 804.00375pt x 213.79875pt>
449File: ../style/cerco_logo.png Graphic file (type png)
450
451<use ../style/cerco_logo.png>
452LaTeX Font Info:    Try loading font information for U+lasy on input line 548.
453 (/usr/share/texmf-texlive/tex/latex/base/ulasy.fd
454File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
455)
456LaTeX Font Info:    Try loading font information for U+msa on input line 548.
457 (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd
458File: umsa.fd 2009/06/22 v3.00 AMS symbols A
459)
460LaTeX Font Info:    Try loading font information for U+msb on input line 548.
461
462(/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd
463File: umsb.fd 2009/06/22 v3.00 AMS symbols B
464)
465Overfull \hbox (17.0pt too wide) in paragraph at lines 546--549
466[]$[]$
467 []
468
469
470Underfull \hbox (badness 10000) in paragraph at lines 577--581
471
472 []
473
474[1
475
476{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} <../style/cerco_logo.png>]
477[2
478
479] (./report.toc [3])
480\tf@toc=\write5
481\openout5 = `report.toc'.
482
483 [4] (./text.tex
484LaTeX Font Info:    Try loading font information for OMS+cmr on input line 54.
485
486(/usr/share/texmf-texlive/tex/latex/base/omscmr.fd
487File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
488)
489LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <10.95> not available
490(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 54.
491 [5] <xymatrix 4x2 239>
492[6] <xymatrix 4x3 421>
493Overfull \hbox (3.0225pt too wide) detected at line 219
494[]
495 []
496
497[7] <xymatrix 3x1 96> [8] [9] [10]
498
499Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
500(hyperref)                removing `math shift' on input line 676.
501
502
503Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
504(hyperref)                removing `math shift' on input line 676.
505
506
507Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
508(hyperref)                removing `math shift' on input line 676.
509
510
511Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
512(hyperref)                removing `math shift' on input line 676.
513
514[11] [12]
515
516Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
517(hyperref)                removing `math shift' on input line 843.
518
519
520Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
521(hyperref)                removing `math shift' on input line 843.
522
523
524Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
525(hyperref)                removing `math shift' on input line 910.
526
527
528Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
529(hyperref)                removing `math shift' on input line 910.
530
531
532Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
533(hyperref)                removing `math shift' on input line 910.
534
535
536Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
537(hyperref)                removing `math shift' on input line 910.
538
539[13] <xymatrix 3x2 231> [14]
540
541Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
542(hyperref)                removing `math shift' on input line 1057.
543
544
545Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
546(hyperref)                removing `math shift' on input line 1057.
547
548
549Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
550(hyperref)                removing `math shift' on input line 1057.
551
552
553Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
554(hyperref)                removing `math shift' on input line 1057.
555
556[15]
557
558Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
559(hyperref)                removing `math shift' on input line 1198.
560
561
562Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
563(hyperref)                removing `math shift' on input line 1198.
564
565[16]
566
567Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
568(hyperref)                removing `math shift' on input line 1329.
569
570
571Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
572(hyperref)                removing `math shift' on input line 1329.
573
574[17]
575
576Package array Warning: Column M is already defined on input line 1383.
577
578<xymatrix 3x3 413>
579Overfull \hbox (15.98283pt too wide) detected at line 1423
580[]
581 []
582
583
584Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
585(hyperref)                removing `math shift' on input line 1429.
586
587
588Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
589(hyperref)                removing `math shift' on input line 1429.
590
591[18]
592
593Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
594(hyperref)                removing `math shift' on input line 1512.
595
596
597Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
598(hyperref)                removing `math shift' on input line 1512.
599
600[19]
601
602Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
603(hyperref)                removing `math shift' on input line 1574.
604
605
606Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
607(hyperref)                removing `math shift' on input line 1574.
608
609
610Overfull \hbox (6.32399pt too wide) in paragraph at lines 1651--1655
611[]\OT1/cmr/m/it/10.95 Let $\OML/cmm/m/it/10.95 S$ \OT1/cmr/m/it/10.95 be an $[]
612[]$ com-mand. If $\OT1/cmr/m/n/10.95 (\OMS/cmsy/m/n/10.95 I\OT1/cmr/m/n/10.95 (
613\OML/cmm/m/it/10.95 S\OT1/cmr/m/n/10.95 )\OML/cmm/m/it/10.95 ; s\OT1/cmr/m/n/10
614.95 [\OML/cmm/m/it/10.95 c=[]\OT1/cmr/m/n/10.95 ]) \OMS/cmsy/m/n/10.95 + \OML/c
615mm/m/it/10.95 s[]\OT1/cmr/m/n/10.95 [\OML/cmm/m/it/10.95 c \OT1/cmr/m/n/10.95 +
616 \OML/cmm/m/it/10.95 ^^N=[]\OT1/cmr/m/n/10.95 ]$ \OT1/cmr/m/it/10.95 then $\OMS
617/cmsy/m/n/10.95 9 \OML/cmm/m/it/10.95 ^^U  ^^T\OT1/cmr/m/n/10.95 (\OML/cmm/m/it
618/10.95 ^^U\OT1/cmr/m/n/10.95 ) =
619 []
620
621[20] [21]
622
623Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
624(hyperref)                removing `math shift' on input line 1889.
625
626
627Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
628(hyperref)                removing `math shift' on input line 1889.
629
630[22]
631
632Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
633(hyperref)                removing `math shift' on input line 1895.
634
635
636Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
637(hyperref)                removing `math shift' on input line 1895.
638
639
640Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
641(hyperref)                removing `math shift' on input line 1962.
642
643
644Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
645(hyperref)                removing `math shift' on input line 1962.
646
647
648Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
649(hyperref)                removing `math shift' on input line 2019.
650
651
652Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
653(hyperref)                removing `math shift' on input line 2019.
654
655[23] [24] [25]
656
657Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
658(hyperref)                removing `math shift' on input line 2145.
659
660
661Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
662(hyperref)                removing `math shift' on input line 2145.
663
664[26]
665
666Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
667(hyperref)                removing `math shift' on input line 2237.
668
669
670Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
671(hyperref)                removing `math shift' on input line 2237.
672
673[27] [28]
674
675Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
676(hyperref)                removing `math shift' on input line 2349.
677
678
679Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
680(hyperref)                removing `math shift' on input line 2349.
681
682
683Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
684(hyperref)                removing `math shift' on input line 2433.
685
686
687Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
688(hyperref)                removing `math shift' on input line 2433.
689
690[29]
691
692Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
693(hyperref)                removing `math shift' on input line 2502.
694
695
696Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
697(hyperref)                removing `math shift' on input line 2502.
698
699
700Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
701(hyperref)                removing `math shift' on input line 2566.
702
703
704Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
705(hyperref)                removing `math shift' on input line 2566.
706
707[30]
708Underfull \hbox (badness 10000) in paragraph at lines 2580--2581
709
710 []
711
712
713Underfull \hbox (badness 10000) in paragraph at lines 2582--2584
714
715 []
716
717
718Underfull \hbox (badness 10000) in paragraph at lines 2585--2589
719
720 []
721
722
723Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
724(hyperref)                removing `math shift' on input line 2601.
725
726
727Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
728(hyperref)                removing `math shift' on input line 2601.
729
730
731Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
732(hyperref)                removing `math shift' on input line 2601.
733
734
735Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
736(hyperref)                removing `math shift' on input line 2601.
737
738[31]
739
740Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
741(hyperref)                removing `math shift' on input line 2615.
742
743
744Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
745(hyperref)                removing `math shift' on input line 2615.
746
747[32]
748LaTeX Font Info:    Try loading font information for OMS+cmtt on input line 271
7499.
750LaTeX Font Info:    No file OMScmtt.fd. on input line 2719.
751
752
753LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined
754(Font)              using `OMS/cmsy/m/n' instead
755(Font)              for symbol `textbraceleft' on input line 2719.
756
757[33] [34] [35]
758Underfull \hbox (badness 10000) in paragraph at lines 2979--2983
759[]\OT1/cmr/m/n/9 Certified Com-plex-ity (Project de-scrip-tion).  ICT-2007.8.0
760FET Open, Grant 243881.
761 []
762
763[36]
764Underfull \hbox (badness 10000) in paragraph at lines 3037--3040
765[]\OT1/cmr/m/n/9 F. Pot-tier.  Com-pi-la-tion (INF 564), []Ecole Poly-tech-niqu
766e, 2009-2010.
767 []
768
769[37]
770
771Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
772(hyperref)                removing `math shift' on input line 3053.
773
774
775Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
776(hyperref)                removing `math shift' on input line 3053.
777
778[38] [39] [40] [41] [42]) [43] (./report.aux)
779
780LaTeX Font Warning: Some font shapes were not available, defaults substituted.
781
782 )
783Here is how much of TeX's memory you used:
784 8519 strings out of 495061
785 110759 string characters out of 1182622
786 247727 words of memory out of 3000000
787 11290 multiletter control sequences out of 15000+50000
788 28130 words of font info for 114 fonts, out of 3000000 for 9000
789 28 hyphenation exceptions out of 8191
790 45i,22n,39p,274b,821s stack positions out of 5000i,500n,10000p,200000b,50000s
791</usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmbx10.pfb></usr/sha
792re/texmf-texlive/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texmf-te
793xlive/fonts/type1/public/amsfonts/cm/cmbx6.pfb></usr/share/texmf-texlive/fonts/
794type1/public/amsfonts/cm/cmbx8.pfb></usr/share/texmf-texlive/fonts/type1/public
795/amsfonts/cm/cmbx9.pfb></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm
796/cmcsc10.pfb></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmex10.pf
797b></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cmextra/cmex9.pfb></usr
798/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texm
799f-texlive/fonts/type1/public/amsfonts/cm/cmmi12.pfb></usr/share/texmf-texlive/f
800onts/type1/public/amsfonts/cm/cmmi5.pfb></usr/share/texmf-texlive/fonts/type1/p
801ublic/amsfonts/cm/cmmi6.pfb></usr/share/texmf-texlive/fonts/type1/public/amsfon
802ts/cm/cmmi8.pfb></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmmi9.
803pfb></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/sh
804are/texmf-texlive/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texmf-te
805xlive/fonts/type1/public/amsfonts/cm/cmr17.pfb></usr/share/texmf-texlive/fonts/
806type1/public/amsfonts/cm/cmr5.pfb></usr/share/texmf-texlive/fonts/type1/public/
807amsfonts/cm/cmr6.pfb></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/c
808mr8.pfb></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmr9.pfb></usr
809/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmsl10.pfb></usr/share/texm
810f-texlive/fonts/type1/public/amsfonts/cm/cmss10.pfb></usr/share/texmf-texlive/f
811onts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texmf-texlive/fonts/type1/
812public/amsfonts/cm/cmss8.pfb></usr/share/texmf-texlive/fonts/type1/public/amsfo
813nts/cm/cmss9.pfb></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmsy1
8140.pfb></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmsy5.pfb></usr/
815share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmsy6.pfb></usr/share/texmf-
816texlive/fonts/type1/public/amsfonts/cm/cmsy8.pfb></usr/share/texmf-texlive/font
817s/type1/public/amsfonts/cm/cmsy9.pfb></usr/share/texmf-texlive/fonts/type1/publ
818ic/amsfonts/cm/cmti10.pfb></usr/share/texmf-texlive/fonts/type1/public/amsfonts
819/cm/cmti7.pfb></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmti8.pf
820b></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmti9.pfb></usr/shar
821e/texmf-texlive/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texmf-tex
822live/fonts/type1/public/amsfonts/cm/cmtt9.pfb></usr/share/texmf-texlive/fonts/t
823ype1/public/amsfonts/latxfont/lasy10.pfb></usr/share/texmf-texlive/fonts/type1/
824public/amsfonts/latxfont/lasy9.pfb></usr/share/texmf-texlive/fonts/type1/public
825/xypic/xyatip10.pfb></usr/share/texmf-texlive/fonts/type1/public/xypic/xybtip10
826.pfb>
827Output written on report.pdf (43 pages, 868174 bytes).
828PDF statistics:
829 960 PDF objects out of 1000 (max. 8388607)
830 211 named destinations out of 1000 (max. 500000)
831 566 words of extra memory for PDF output out of 10000 (max. 10000000)
832
Note: See TracBrowser for help on using the repository browser.