Index of /reports/herbie/1713363492:nightly:spec-rewriting:5a758cb8f0/numerics/
../
0-arccos/ 03-Aug-2025 00:04 -
1-RumpsexpressionfromStadtherrsawardspeech/ 03-Aug-2025 00:04 -
10-KahansMonster/ 03-Aug-2025 00:04 -
11-Kahanp13Example3/ 03-Aug-2025 00:04 -
12-Kahanp13Example2/ 03-Aug-2025 00:04 -
13-Kahanp13Example1/ 03-Aug-2025 00:04 -
14-FromWarwickTuckersValidatedNumerics/ 03-Aug-2025 00:04 -
15-FromRumpina1983paperrewritten/ 03-Aug-2025 00:04 -
16-FromRumpina1983paper/ 03-Aug-2025 00:04 -
17-ENASection14MentionedB/ 03-Aug-2025 00:04 -
18-ENASection14Exercise4bn5/ 03-Aug-2025 00:04 -
19-ENASection14Exercise4bn2/ 03-Aug-2025 00:04 -
2-RosasTurbineBenchmark/ 03-Aug-2025 00:04 -
20-ENASection14Exercise1/ 03-Aug-2025 00:04 -
21-xx21/ 03-Aug-2025 00:04 -
22-simplefmatest/ 03-Aug-2025 00:04 -
23-ln1x/ 03-Aug-2025 00:04 -
24-fma_test2/ 03-Aug-2025 00:04 -
25-fma_test1/ 03-Aug-2025 00:04 -
26-Thequadraticformular2/ 03-Aug-2025 00:04 -
27-Thequadraticformular1/ 03-Aug-2025 00:04 -
28-Rectangularparallelepipedofdimensionabc/ 03-Aug-2025 00:04 -
29-Kahansexpquotient/ 03-Aug-2025 00:04 -
3-RosasFloatVsDoubleBenchmark/ 03-Aug-2025 00:04 -
30-Kahanp9Example/ 03-Aug-2025 00:04 -
31-Expressionp6/ 03-Aug-2025 00:04 -
32-Expressionp14/ 03-Aug-2025 00:04 -
33-Expression4p15/ 03-Aug-2025 00:04 -
34-Expression3p15/ 03-Aug-2025 00:04 -
35-Expression2p15/ 03-Aug-2025 00:04 -
36-Expression1p15/ 03-Aug-2025 00:04 -
37-ENASection14MentionedA/ 03-Aug-2025 00:04 -
38-ENASection14Exercise4d/ 03-Aug-2025 00:04 -
39-ENASection14Exercise4a/ 03-Aug-2025 00:04 -
4-RosasDopplerBench/ 03-Aug-2025 00:04 -
40-Differenceofsquares/ 03-Aug-2025 00:04 -
41-CompoundInterest/ 03-Aug-2025 00:04 -
42-Complexdivisionrealpart/ 03-Aug-2025 00:04 -
43-Complexdivisionimagpart/ 03-Aug-2025 00:04 -
44-Areaofatriangle/ 03-Aug-2025 00:04 -
5-RosasBenchmark/ 03-Aug-2025 00:04 -
6-Radioactiveexchangebetweentwosurfaces/ 03-Aug-2025 00:04 -
7-NMSESection61mentionedB/ 03-Aug-2025 00:04 -
8-NMSESection61mentionedA/ 03-Aug-2025 00:04 -
9-KahansUnumTargetedMonster/ 03-Aug-2025 00:04 -
index.html.gz 17-Apr-2024 14:13 259
logo-car.png 17-Apr-2024 14:13 9354
profile.json.gz 17-Apr-2024 14:13 73522
report-page.js 17-Apr-2024 14:13 32250
report.css 17-Apr-2024 14:13 15519
report.js 17-Apr-2024 14:13 24819
results.json.gz 17-Apr-2024 14:13 33048
timeline.html.gz 17-Apr-2024 14:13 23824
timeline.json.gz 17-Apr-2024 14:13 78566