Changeset 1694
- Timestamp:
- Feb 15, 2012, 9:30:08 AM (6 years ago)
- Location:
- Deliverables
- Files:
-
- 1 added
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D2.1/report.log
r1462 r1694 1 This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011. 5.2) 4 MAY 2011 16:431 This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.12.11) 26 JAN 2012 18:29 2 2 entering extended mode 3 3 %&-line parsing enabled. … … 6 6 LaTeX2e <2009/09/24> 7 7 Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh 8 yphenation, loaded.8 yphenation, french, basque, italian, loaded. 9 9 (/usr/share/texmf-texlive/tex/latex/base/article.cls 10 10 Document Class: article 2007/10/19 v1.4h Standard LaTeX document class … … 106 106 (etexcmds) In the latter case, load this package earlier. 107 107 ) 108 (/ etc/texmf/tex/latex/config/hyperref.cfg108 (/usr/share/texmf-texlive/tex/latex/latexconfig/hyperref.cfg 109 109 File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive 110 110 ) … … 416 416 LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 538. 417 417 LaTeX Font Info: ... okay on input line 538. 418 (/usr/share/texmf /tex/context/base/supp-pdf.mkii418 (/usr/share/texmf-texlive/tex/context/base/supp-pdf.mkii 419 419 [Loading MPS to PDF converter (version 2006.09.02).] 420 420 \scratchcounter=\count119 … … 782 782 ) 783 783 Here is how much of TeX's memory you used: 784 8519 strings out of 4950 61785 110 759 string characters out of 1182622784 8519 strings out of 495021 785 110821 string characters out of 1180925 786 786 247727 words of memory out of 3000000 787 11 290 multiletter control sequences out of 15000+50000787 11300 multiletter control sequences out of 15000+50000 788 788 28130 words of font info for 114 fonts, out of 3000000 for 9000 789 789 28 hyphenation exceptions out of 8191 -
Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/README
r1462 r1694 3 3 4 4 This is a Frama-C plug-in that makes the synthesis of the results of the CerCo 5 compiler. 5 compiler. Notice that this is a preliminary version, that does not support 6 nested loops yet. 6 7 7 8 Requirements
Note: See TracChangeset
for help on using the changeset viewer.