Changeset 1694

Timestamp:

Feb 15, 2012, 9:30:08 AM (7 years ago)

Author:

tranquil

Message:

indexed labels branch

Location:

Deliverables

Files:

• D2.1/report.log (modified) (5 diffs)
• D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/README (modified) (1 diff)
• D5.1-5.3/indexed-labels-cost-20120213.tar.gz (added)

Deliverables/D2.1/report.log

@@ -1 @@
-This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.5.2)  4 MAY 2011 16:43
+This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.12.11)  26 JAN 2012 18:29
 entering extended mode
  %&-line parsing enabled.
@@ -6 +6 @@
 LaTeX2e <2009/09/24>
 Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
-yphenation, loaded.
+yphenation, french, basque, italian, loaded.
 (/usr/share/texmf-texlive/tex/latex/base/article.cls
 Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
@@ -106 +106 @@
 (etexcmds)             In the latter case, load this package earlier.
 )
-(/etc/texmf/tex/latex/config/hyperref.cfg
+(/usr/share/texmf-texlive/tex/latex/latexconfig/hyperref.cfg
 File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
 )
@@ -416 +416 @@
 LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 538.
 LaTeX Font Info:    ... okay on input line 538.
- (/usr/share/texmf/tex/context/base/supp-pdf.mkii
+ (/usr/share/texmf-texlive/tex/context/base/supp-pdf.mkii
 [Loading MPS to PDF converter (version 2006.09.02).]
 \scratchcounter=\count119
@@ -782 +782 @@
  ) 
 Here is how much of TeX's memory you used:
- 8519 strings out of 495061
- 110759 string characters out of 1182622
+ 8519 strings out of 495021
+ 110821 string characters out of 1180925
  247727 words of memory out of 3000000
- 11290 multiletter control sequences out of 15000+50000
+ 11300 multiletter control sequences out of 15000+50000
  28130 words of font info for 114 fonts, out of 3000000 for 9000
  28 hyphenation exceptions out of 8191

Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/README

@@ -3 +3 @@
 
 This is a Frama-C plug-in that makes the synthesis of the results of the CerCo
-compiler.
+compiler. Notice that this is a preliminary version, that does not support
+nested loops yet.
 
  Requirements