Skip to content

Commit 270defd

Browse files
Doc update
1 parent d1254eb commit 270defd

16 files changed

+2560
-2287
lines changed

docs/beta/code/Alhazen.py

Lines changed: 8 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33

44
# "Learning from Failures" - a chapter of "The Debugging Book"
55
# Web site: https://www.debuggingbook.org/html/Alhazen.html
6-
# Last change: 2025-01-07 10:36:36+01:00
6+
# Last change: 2025-01-07 11:04:38+01:00
77
#
88
# Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
99
# Copyright (c) 2018-2020 Saarland University, authors, and contributors
@@ -76,10 +76,10 @@
7676
There is also a text version available, with much fewer (but hopefully still essential) details:
7777
7878
>>> print(alhazen.friendly_decision_tree())
79-
if <= 3.5000:
80-
if == 'sqrt':
81-
if <= -11.0000:
82-
if <= 72.9000:
79+
if <= 4.5000:
80+
if <= 42.1500:
81+
if == 'sqrt':
82+
if <= -11.9137:
8383
BUG
8484
else:
8585
NO_BUG
@@ -2002,7 +2002,9 @@ def friendly_decision_tree(self, tree = None):
20022002
print(alhazen.friendly_decision_tree())
20032003

20042004
import inspect
2005-
print(inspect.getsource(task_sqrt))
2005+
2006+
if __name__ == '__main__':
2007+
print(inspect.getsource(task_sqrt))
20062008

20072009
## Lessons Learned
20082010
## ---------------

docs/beta/code/Tours.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33

44
# "Tours through the Book" - a chapter of "The Debugging Book"
55
# Web site: https://www.debuggingbook.org/html/Tours.html
6-
# Last change: 2025-01-07 10:34:29+01:00
6+
# Last change: 2025-01-07 11:01:55+01:00
77
#
88
# Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
99
# Copyright (c) 2018-2020 Saarland University, authors, and contributors
-11 Bytes
Binary file not shown.
-2 Bytes
Binary file not shown.
-317 KB
Binary file not shown.

docs/beta/html/00_Table_of_Contents.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -12311,7 +12311,7 @@ <h4 id="Inspecting-Call-Stacks"><a href="StackInspector.html">Inspecting Call St
1231112311
The content of this project is licensed under the
1231212312
<a href="https://creativecommons.org/licenses/by-nc-sa/4.0/" target=_blank>Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License</a>.
1231312313
The source code that is part of the content, as well as the source code used to format and display that content is licensed under the <a href="https://github.com/uds-se/debuggingbook/blob/master/LICENSE.md#mit-license">MIT License</a>.
12314-
<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/00_Table_of_Contents.ipynb" target=_blank)>Last change: 2025-01-07 10:37:54+01:00</a> &bull;
12314+
<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/00_Table_of_Contents.ipynb" target=_blank)>Last change: 2025-01-07 11:05:13+01:00</a> &bull;
1231512315
<a href="#citation" id="cite" onclick="revealCitation()">Cite</a> &bull;
1231612316
<a href="https://cispa.de/en/impressum" target=_blank>Imprint</a>
1231712317
</p>
@@ -12327,7 +12327,7 @@ <h4 id="Inspecting-Call-Stacks"><a href="StackInspector.html">Inspecting Call St
1232712327
<a name="citation"></a>
1232812328
<h2>How to Cite this Work</h2>
1232912329
<p>
12330-
Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html">The Debugging Book</a>". In Andreas Zeller, "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>", <a href="https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html">https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html</a>. Retrieved 2025-01-07 10:37:54+01:00.
12330+
Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html">The Debugging Book</a>". In Andreas Zeller, "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>", <a href="https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html">https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html</a>. Retrieved 2025-01-07 11:05:13+01:00.
1233112331
</p>
1233212332
<pre>
1233312333
@incollection{debuggingbook2025:00_Table_of_Contents,
@@ -12337,9 +12337,9 @@ <h2>How to Cite this Work</h2>
1233712337
year = {2025},
1233812338
publisher = {CISPA Helmholtz Center for Information Security},
1233912339
howpublished = {\url{https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html}},
12340-
note = {Retrieved 2025-01-07 10:37:54+01:00},
12340+
note = {Retrieved 2025-01-07 11:05:13+01:00},
1234112341
url = {https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html},
12342-
urldate = {2025-01-07 10:37:54+01:00}
12342+
urldate = {2025-01-07 11:05:13+01:00}
1234312343
}
1234412344
</pre>
1234512345
</div>

docs/beta/html/Alhazen.html

Lines changed: 633 additions & 566 deletions
Large diffs are not rendered by default.

docs/beta/notebooks/00_Index.ipynb

Lines changed: 30 additions & 30 deletions
Original file line numberDiff line numberDiff line change
@@ -2,23 +2,23 @@
22
"cells": [
33
{
44
"cell_type": "markdown",
5-
"id": "75cc2775",
5+
"id": "61fe74c6",
66
"metadata": {},
77
"source": [
88
"# Index"
99
]
1010
},
1111
{
1212
"cell_type": "markdown",
13-
"id": "39d8bebb",
13+
"id": "b405819d",
1414
"metadata": {},
1515
"source": [
1616
"## A - E"
1717
]
1818
},
1919
{
2020
"cell_type": "markdown",
21-
"id": "73da311c",
21+
"id": "42e17603",
2222
"metadata": {},
2323
"source": [
2424
"### A\n",
@@ -86,7 +86,7 @@
8686
},
8787
{
8888
"cell_type": "markdown",
89-
"id": "79a490af",
89+
"id": "17f51e67",
9090
"metadata": {},
9191
"source": [
9292
"### B\n",
@@ -120,7 +120,7 @@
120120
},
121121
{
122122
"cell_type": "markdown",
123-
"id": "41c163aa",
123+
"id": "4efb0753",
124124
"metadata": {},
125125
"source": [
126126
"### C\n",
@@ -230,7 +230,7 @@
230230
},
231231
{
232232
"cell_type": "markdown",
233-
"id": "8451f6ec",
233+
"id": "5b3d37aa",
234234
"metadata": {},
235235
"source": [
236236
"### D\n",
@@ -295,7 +295,7 @@
295295
},
296296
{
297297
"cell_type": "markdown",
298-
"id": "dd4a32b8",
298+
"id": "e1cc71ea",
299299
"metadata": {},
300300
"source": [
301301
"### E\n",
@@ -345,15 +345,15 @@
345345
},
346346
{
347347
"cell_type": "markdown",
348-
"id": "16ae8948",
348+
"id": "748b21e4",
349349
"metadata": {},
350350
"source": [
351351
"## F - J"
352352
]
353353
},
354354
{
355355
"cell_type": "markdown",
356-
"id": "623647cb",
356+
"id": "335df272",
357357
"metadata": {},
358358
"source": [
359359
"### F\n",
@@ -418,7 +418,7 @@
418418
},
419419
{
420420
"cell_type": "markdown",
421-
"id": "27a53d2a",
421+
"id": "428928c2",
422422
"metadata": {},
423423
"source": [
424424
"### G\n",
@@ -459,7 +459,7 @@
459459
},
460460
{
461461
"cell_type": "markdown",
462-
"id": "0848f1c2",
462+
"id": "f3122fd1",
463463
"metadata": {},
464464
"source": [
465465
"### H\n",
@@ -479,7 +479,7 @@
479479
},
480480
{
481481
"cell_type": "markdown",
482-
"id": "e739d147",
482+
"id": "fd17624c",
483483
"metadata": {},
484484
"source": [
485485
"### I\n",
@@ -530,7 +530,7 @@
530530
},
531531
{
532532
"cell_type": "markdown",
533-
"id": "daeae6c7",
533+
"id": "738169a6",
534534
"metadata": {},
535535
"source": [
536536
"### J\n",
@@ -543,15 +543,15 @@
543543
},
544544
{
545545
"cell_type": "markdown",
546-
"id": "e8e84dd6",
546+
"id": "aa649125",
547547
"metadata": {},
548548
"source": [
549549
"## L - P"
550550
]
551551
},
552552
{
553553
"cell_type": "markdown",
554-
"id": "f0e23fb3",
554+
"id": "11b44d25",
555555
"metadata": {},
556556
"source": [
557557
"### L\n",
@@ -579,7 +579,7 @@
579579
},
580580
{
581581
"cell_type": "markdown",
582-
"id": "5cd32ed8",
582+
"id": "924759d7",
583583
"metadata": {},
584584
"source": [
585585
"### M\n",
@@ -656,7 +656,7 @@
656656
},
657657
{
658658
"cell_type": "markdown",
659-
"id": "a489c96a",
659+
"id": "abeee79c",
660660
"metadata": {},
661661
"source": [
662662
"### N\n",
@@ -688,7 +688,7 @@
688688
},
689689
{
690690
"cell_type": "markdown",
691-
"id": "972b607f",
691+
"id": "9a63d707",
692692
"metadata": {},
693693
"source": [
694694
"### O\n",
@@ -709,7 +709,7 @@
709709
},
710710
{
711711
"cell_type": "markdown",
712-
"id": "2207ec0e",
712+
"id": "ecb72c13",
713713
"metadata": {},
714714
"source": [
715715
"### P\n",
@@ -769,15 +769,15 @@
769769
},
770770
{
771771
"cell_type": "markdown",
772-
"id": "699bfaa1",
772+
"id": "af3f88d1",
773773
"metadata": {},
774774
"source": [
775775
"## Q - U"
776776
]
777777
},
778778
{
779779
"cell_type": "markdown",
780-
"id": "f3db19ba",
780+
"id": "e8494f3f",
781781
"metadata": {},
782782
"source": [
783783
"### Q\n",
@@ -790,7 +790,7 @@
790790
},
791791
{
792792
"cell_type": "markdown",
793-
"id": "83f28912",
793+
"id": "e85d0803",
794794
"metadata": {},
795795
"source": [
796796
"### R\n",
@@ -871,7 +871,7 @@
871871
},
872872
{
873873
"cell_type": "markdown",
874-
"id": "a71deb10",
874+
"id": "624c7d96",
875875
"metadata": {},
876876
"source": [
877877
"### S\n",
@@ -966,7 +966,7 @@
966966
},
967967
{
968968
"cell_type": "markdown",
969-
"id": "bdf8da76",
969+
"id": "4c71dd7a",
970970
"metadata": {},
971971
"source": [
972972
"### T\n",
@@ -1054,7 +1054,7 @@
10541054
},
10551055
{
10561056
"cell_type": "markdown",
1057-
"id": "db63b100",
1057+
"id": "f0b37e8a",
10581058
"metadata": {},
10591059
"source": [
10601060
"### U\n",
@@ -1072,15 +1072,15 @@
10721072
},
10731073
{
10741074
"cell_type": "markdown",
1075-
"id": "e64796e5",
1075+
"id": "e286c4a9",
10761076
"metadata": {},
10771077
"source": [
10781078
"## V - Y"
10791079
]
10801080
},
10811081
{
10821082
"cell_type": "markdown",
1083-
"id": "26d86f19",
1083+
"id": "d7dfcf3f",
10841084
"metadata": {},
10851085
"source": [
10861086
"### V\n",
@@ -1129,7 +1129,7 @@
11291129
},
11301130
{
11311131
"cell_type": "markdown",
1132-
"id": "50bb0233",
1132+
"id": "7e009e81",
11331133
"metadata": {},
11341134
"source": [
11351135
"### W\n",
@@ -1149,7 +1149,7 @@
11491149
},
11501150
{
11511151
"cell_type": "markdown",
1152-
"id": "a4d85d2f",
1152+
"id": "13492c04",
11531153
"metadata": {},
11541154
"source": [
11551155
"### X\n",
@@ -1159,7 +1159,7 @@
11591159
},
11601160
{
11611161
"cell_type": "markdown",
1162-
"id": "9b5a315f",
1162+
"id": "16a291e0",
11631163
"metadata": {},
11641164
"source": [
11651165
"### Y\n",

0 commit comments

Comments
 (0)