6a4c4088ee39de585eee5b63d6de42d85c909255
[cdsspec-compiler.git] / 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)