72 lines
2.0 KiB
Plaintext
72 lines
2.0 KiB
Plaintext
This is BibTeX, Version 0.99d (TeX Live 2023/Debian)
|
|
Capacity: max_strings=200000, hash_size=200000, hash_prime=170003
|
|
The top-level auxiliary file: main.aux
|
|
The style file: ieeetr.bst
|
|
Database file #1: references.bib
|
|
Warning--entry type for "gentillon_westinghouse_1999" isn't style-file defined
|
|
--line 32 of file references.bib
|
|
Warning--entry type for "operator_statistics" isn't style-file defined
|
|
--line 45 of file references.bib
|
|
Warning--entry type for "10CFR50.54" isn't style-file defined
|
|
--line 59 of file references.bib
|
|
Warning--entry type for "guernic_reachability_2009" isn't style-file defined
|
|
--line 221 of file references.bib
|
|
Warning--empty author in WRPS.Description
|
|
Warning--empty year in WRPS.Description
|
|
Warning--empty journal in hogberg_root_2013
|
|
Warning--empty year in hogberg_root_2013
|
|
Warning--empty journal in zhang_analysis_2025
|
|
Warning--empty year in zhang_analysis_2025
|
|
Warning--empty year in katis_capture_2022
|
|
Warning--empty year in baier_principles_2008
|
|
Warning--empty year in meyer_strix_2018
|
|
Warning--empty journal in branicky_multiple_1998
|
|
Warning--empty year in branicky_multiple_1998
|
|
Warning--empty year in bansal_hamilton-jacobi_2017
|
|
Warning--empty year in frehse_spaceex_2011
|
|
Warning--empty journal in mitchell_time-dependent_2005
|
|
Warning--empty year in mitchell_time-dependent_2005
|
|
Warning--empty year in prajna_safety_2004
|
|
You've used 25 entries,
|
|
1876 wiz_defined-function locations,
|
|
608 strings with 7728 characters,
|
|
and the built_in function-call counts, 5612 in all, are:
|
|
= -- 511
|
|
> -- 249
|
|
< -- 2
|
|
+ -- 93
|
|
- -- 68
|
|
* -- 382
|
|
:= -- 798
|
|
add.period$ -- 27
|
|
call.type$ -- 25
|
|
change.case$ -- 27
|
|
chr.to.int$ -- 0
|
|
cite$ -- 41
|
|
duplicate$ -- 260
|
|
empty$ -- 567
|
|
format.name$ -- 68
|
|
if$ -- 1343
|
|
int.to.chr$ -- 0
|
|
int.to.str$ -- 25
|
|
missing$ -- 11
|
|
newline$ -- 83
|
|
num.names$ -- 32
|
|
pop$ -- 125
|
|
preamble$ -- 1
|
|
purify$ -- 0
|
|
quote$ -- 0
|
|
skip$ -- 204
|
|
stack$ -- 0
|
|
substring$ -- 276
|
|
swap$ -- 86
|
|
text.length$ -- 2
|
|
text.prefix$ -- 0
|
|
top$ -- 0
|
|
type$ -- 0
|
|
warning$ -- 16
|
|
while$ -- 53
|
|
width$ -- 27
|
|
write$ -- 210
|
|
(There were 20 warnings)
|