correctness-model/writeup/paper.blg

   1 This is BibTeX, Version 0.99d (TeX Live 2013/Debian)
   2 Capacity: max_strings=35307, hash_size=35307, hash_prime=30011
   3 The top-level auxiliary file: paper.aux
   4 The style file: abbrv.bst
   5 Database file #1: confstrs-long.bib
   6 Database file #2: paper.bib
   7 Warning--to sort, need author or key in cpp11spec
   8 Warning--to sort, need author or key in c11spec
   9 You've used 14 entries,
  10             2118 wiz_defined-function locations,
  11             816 strings with 16605 characters,
  12 and the built_in function-call counts, 3810 in all, are:
  13 = -- 331
  14 > -- 190
  15 < -- 0
  16 + -- 76
  17 - -- 62
  18 * -- 224
  19 := -- 631
  20 add.period$ -- 38
  21 call.type$ -- 14
  22 change.case$ -- 73
  23 chr.to.int$ -- 0
  24 cite$ -- 16
  25 duplicate$ -- 158
  26 empty$ -- 358
  27 format.name$ -- 62
  28 if$ -- 806
  29 int.to.chr$ -- 0
  30 int.to.str$ -- 14
  31 missing$ -- 10
  32 newline$ -- 69
  33 num.names$ -- 24
  34 pop$ -- 115
  35 preamble$ -- 1
  36 purify$ -- 59
  37 quote$ -- 0
  38 skip$ -- 108
  39 stack$ -- 0
  40 substring$ -- 116
  41 swap$ -- 21
  42 text.length$ -- 0
  43 text.prefix$ -- 0
  44 top$ -- 0
  45 type$ -- 56
  46 warning$ -- 2
  47 while$ -- 27
  48 width$ -- 16
  49 write$ -- 133
  50 (There were 2 warnings)