Doc update

uds-se · Jan 7, 2025 · 384f7f4 · 384f7f4
1 parent c493250
commit 384f7f4
Show file tree

Hide file tree

Showing 182 changed files with 238,390 additions and 410,281 deletions.
diff --git a/docs/404.html b/docs/404.html
@@ -11637,6 +11637,7 @@
 .highlight .cs { color: #3D7B7B; font-style: italic } /* Comment.Special */
 .highlight .gd { color: #A00000 } /* Generic.Deleted */
 .highlight .ge { font-style: italic } /* Generic.Emph */
+.highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
 .highlight .gr { color: #E40000 } /* Generic.Error */
 .highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */
 .highlight .gi { color: #008400 } /* Generic.Inserted */
@@ -11902,6 +11903,7 @@
 <li><a href="/html/StatisticalDebugger.html">Statistical Debugging</a></li>
 <li><a href="/html/DynamicInvariants.html">Mining Function Specifications</a></li>
 <li><a href="/html/DDSetDebugger.html">Generalizing Failure Circumstances</a></li>
+<li><a href="/html/Alhazen.html">Learning from Failures <strong class="new_chapter">&bull;</strong></a></li>
 <li><a href="/html/PerformanceDebugger.html">Debugging Performance Issues</a></li>
 </ul><li class="has-sub"><a href="/html/06_Repairing.html" class="chapters"><span class="part_number">VI</span> Automatic Repair <i class="fa fa-fw fa-caret-right"></i></a>
 <ul>
@@ -12004,6 +12006,7 @@
 <li><a href="/html/StatisticalDebugger.html">Statistical Debugging</a></li>
 <li><a href="/html/DynamicInvariants.html">Mining Function Specifications</a></li>
 <li><a href="/html/DDSetDebugger.html">Generalizing Failure Circumstances</a></li>
+<li><a href="/html/Alhazen.html">Learning from Failures <strong class="new_chapter">&bull;</strong></a></li>
 <li><a href="/html/PerformanceDebugger.html">Debugging Performance Issues</a></li>
 </ul><li class="has-sub"><a href="/html/06_Repairing.html" class="chapters"><span class="part_number">VI</span> Automatic Repair <i class="fa fa-fw fa-caret-right"></i></a>
 <ul>
@@ -12121,7 +12124,7 @@
 
 <div class="output_subarea output_stream output_stderr output_text">
 <pre>Traceback (most recent call last):
-  File &#34;/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_1042/1830731544.py&#34;, line 4, in &lt;cell line: 3&gt;
+  File &#34;/var/folders/n2/xd9445p97rb3xh7m1dfx8_4h0006ts/T/ipykernel_4590/1830731544.py&#34;, line 4, in &lt;module&gt;
     raise NotFoundError
 NotFoundError: &#39;404&#39; (expected)
 </pre>

diff --git a/docs/code/01_Intro.py b/docs/code/01_Intro.py
@@ -3,7 +3,7 @@
 
 # "Part I: Whetting Your Appetite" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/01_Intro.html
-# Last change: 2024-11-09 17:09:40+01:00
+# Last change: 2025-01-07 12:04:24+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/code/02_Observing.py b/docs/code/02_Observing.py
@@ -3,7 +3,7 @@
 
 # "Part II: Observing Executions" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/02_Observing.html
-# Last change: 2024-11-09 17:10:09+01:00
+# Last change: 2025-01-07 12:04:46+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/code/03_Dependencies.py b/docs/code/03_Dependencies.py
@@ -3,7 +3,7 @@
 
 # "Part III: Flows and Dependencies" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/03_Dependencies.html
-# Last change: 2024-11-09 17:10:53+01:00
+# Last change: 2025-01-07 12:05:17+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/code/04_Reducing.py b/docs/code/04_Reducing.py
@@ -3,7 +3,7 @@
 
 # "Part IV: Reducing Failure Causes" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/04_Reducing.html
-# Last change: 2024-11-09 17:11:25+01:00
+# Last change: 2025-01-07 12:05:43+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/code/05_Abstracting.py b/docs/code/05_Abstracting.py
@@ -3,7 +3,7 @@
 
 # "Part V: Abstracting Failures" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/05_Abstracting.html
-# Last change: 2024-11-09 17:11:59+01:00
+# Last change: 2025-01-07 12:06:10+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/code/06_Repairing.py b/docs/code/06_Repairing.py
@@ -3,7 +3,7 @@
 
 # "Part VI: Automatic Repair" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/06_Repairing.html
-# Last change: 2024-11-09 17:13:01+01:00
+# Last change: 2025-01-07 12:12:30+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/code/07_In_the_Large.py b/docs/code/07_In_the_Large.py
@@ -3,7 +3,7 @@
 
 # "Part VII: Debugging in the Large" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/07_In_the_Large.html
-# Last change: 2024-11-09 17:13:12+01:00
+# Last change: 2025-01-07 12:13:32+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/code/99_Appendices.py b/docs/code/99_Appendices.py
@@ -3,7 +3,7 @@
 
 # "Appendices" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/99_Appendices.html
-# Last change: 2024-11-09 17:27:48+01:00
+# Last change: 2025-01-07 13:39:02+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors