Doc update

uds-se · Jun 29, 2024 · 9a8952a · 9a8952a
1 parent 527c651
commit 9a8952a
Show file tree

Hide file tree

Showing 9 changed files with 256 additions and 262 deletions.
diff --git a/docs/beta/dist/debuggingbook-1.2.3.tar.gz b/docs/beta/dist/debuggingbook-1.2.3.tar.gz
diff --git a/docs/beta/dist/debuggingbook-code.zip b/docs/beta/dist/debuggingbook-code.zip
diff --git a/docs/beta/dist/debuggingbook-notebooks.zip b/docs/beta/dist/debuggingbook-notebooks.zip
diff --git a/docs/beta/html/IllustratedCode.html b/docs/beta/html/IllustratedCode.html
@@ -12037,7 +12037,7 @@
 <div class="text_cell_render border-box-sizing rendered_html"><p>Go and</p>
 <ul>
 <li>Read the <a href="https://www.slideshare.net/andreas.zeller/illustrated-code-ase-2021">talk slides</a></li>
-<li><a href="https://mybinder.org/v2/gh/uds-se/debuggingbook/master?urlpath=lab/tree/docs/notebooks/IllustratedCode.ipynb">Interact</a> with the notebook </li>
+<li><a href="https://mybinder.org/v2/gh/uds-se/debuggingbook/HEAD?labpath=docs/notebooks/IllustratedCode.ipynb">Interact</a> with the notebook </li>
 </ul>
 </div>
 </div>
@@ -12635,7 +12635,7 @@
 <div class="output_area">
 
 <div class="output_text output_subarea output_execute_result">
-<pre>0.14820550803665355
+<pre>0.1497593307030911
 </pre>
 </div>
 
@@ -12659,7 +12659,7 @@
 <div class="output_area">
 
 <div class="output_text output_subarea output_execute_result">
-<pre>0.24632015896531811
+<pre>0.2586060460052977
 </pre>
 </div>
 
@@ -13184,17 +13184,17 @@
 Client-&gt;&gt;+Server: middle(z=20, y=50, x=30)
 Server--&gt;&gt;-Client: 30
 Client-&gt;&gt;+Server: __del__(self=middle)
-Client-&gt;&gt;+Server: ref(self=&lt;z3.z3.Context object at 0x140a8d1b0&gt;)
-Server--&gt;&gt;-Client: &lt;ContextObj object at 0x1408fe740&gt;
-Client-&gt;&gt;+Server: ref(self=&lt;z3.z3.Context object at 0x140a8d1b0&gt;)
-Server--&gt;&gt;-Client: &lt;ContextObj object at 0x1408fe740&gt;
+Client-&gt;&gt;+Server: ref(self=&lt;z3.z3.Context object at 0x12fa38970&gt;)
+Server--&gt;&gt;-Client: &lt;ContextObj object at 0x12a51a240&gt;
+Client-&gt;&gt;+Server: ref(self=&lt;z3.z3.Context object at 0x12fa38970&gt;)
+Server--&gt;&gt;-Client: &lt;ContextObj object at 0x12a51a240&gt;
 Client-&gt;&gt;+Server: as_ast(self=middle)
-Server--&gt;&gt;-Client: &lt;Ast object at 0x1408fea40&gt;
-Client-&gt;&gt;+Server: Z3_dec_ref(_elems=&lt;z3.z3core.Elementaries object at 0x1409e1960&gt;, a1=&lt;Ast object at 0x1408fea40&gt;, a0=&lt;ContextObj object at 0x1408fe740&gt;)
-Client-&gt;&gt;+Server: from_param(obj=&lt;ContextObj object at 0x1408fe740&gt;)
-Server--&gt;&gt;-Client: &lt;ContextObj object at 0x1408fe740&gt;
-Client-&gt;&gt;+Server: from_param(obj=&lt;Ast object at 0x1408fea40&gt;)
-Server--&gt;&gt;-Client: &lt;Ast object at 0x1408fea40&gt;
+Server--&gt;&gt;-Client: &lt;Ast object at 0x12a51a540&gt;
+Client-&gt;&gt;+Server: Z3_dec_ref(_elems=&lt;z3.z3core.Elementaries object at 0x12f999120&gt;, a1=&lt;Ast object at 0x12a51a540&gt;, a0=&lt;ContextObj object at 0x12a51a240&gt;)
+Client-&gt;&gt;+Server: from_param(obj=&lt;ContextObj object at 0x12a51a240&gt;)
+Server--&gt;&gt;-Client: &lt;ContextObj object at 0x12a51a240&gt;
+Client-&gt;&gt;+Server: from_param(obj=&lt;Ast object at 0x12a51a540&gt;)
+Server--&gt;&gt;-Client: &lt;Ast object at 0x12a51a540&gt;
 Server--&gt;&gt;-Client
 Server--&gt;&gt;-Client</code></pre>
 
@@ -13254,12 +13254,9 @@
 <div class="output_area">
 
 <div class="output_subarea output_stream output_stdout output_text">
-<pre><span class="ansi-red-fg">ERROR: pip&#39;s dependency resolver does not currently take into account all the packages that are installed. This behaviour is the source of the following dependency conflicts.
-pytest-asyncio 0.19.0 requires pytest&gt;=6.1.0, but you have pytest 3.10.1 which is incompatible.
-pytest-html 3.1.1 requires pytest!=6.0.0,&gt;=5.0, but you have pytest 3.10.1 which is incompatible.
-pytest-rerunfailures 10.2 requires pytest&gt;=5.3, but you have pytest 3.10.1 which is incompatible.
-pytest-xdist 2.5.0 requires pytest&gt;=6.2.0, but you have pytest 3.10.1 which is incompatible.</span><span class="ansi-red-fg">
-</span>
+<pre>
+<span class="ansi-bold">[</span><span class="ansi-blue-fg">notice</span><span class="ansi-bold">]</span> A new release of pip is available: <span class="ansi-red-fg">24.0</span> -&gt; <span class="ansi-green-fg">24.1.1</span>
+<span class="ansi-bold">[</span><span class="ansi-blue-fg">notice</span><span class="ansi-bold">]</span> To update, run: <span class="ansi-green-fg">pip install --upgrade pip</span>
 </pre>
 </div>
 
@@ -13876,7 +13873,7 @@
 The content of this project is licensed under the
 <a href="https://creativecommons.org/licenses/by-nc-sa/4.0/" target=_blank>Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License</a>.
 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>.
-<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/IllustratedCode.ipynb" target=_blank)>Last change: 2023-11-11 18:05:06+01:00</a> &bull; 
+<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/IllustratedCode.ipynb" target=_blank)>Last change: 2024-06-29 18:27:38+02:00</a> &bull; 
 <a href="#citation" id="cite" onclick="revealCitation()">Cite</a> &bull;
 <a href="https://cispa.de/en/impressum" target=_blank>Imprint</a>
 </p>
@@ -13892,19 +13889,19 @@
 <a name="citation"></a>
 <h2>How to Cite this Work</h2>
 <p>
-Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/html/IllustratedCode.html">Illustrated Code</a>".  In Andreas Zeller, "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>", <a href="https://www.debuggingbook.org/beta/html/IllustratedCode.html">https://www.debuggingbook.org/beta/html/IllustratedCode.html</a>.  Retrieved 2023-11-11 18:05:06+01:00.
+Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/html/IllustratedCode.html">Illustrated Code</a>".  In Andreas Zeller, "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>", <a href="https://www.debuggingbook.org/beta/html/IllustratedCode.html">https://www.debuggingbook.org/beta/html/IllustratedCode.html</a>.  Retrieved 2024-06-29 18:27:38+02:00.
 </p>
 <pre>
-@incollection{debuggingbook2023:IllustratedCode,
+@incollection{debuggingbook2024:IllustratedCode,
     author = {Andreas Zeller},
     booktitle = {The Debugging Book},
     title = {Illustrated Code},
-    year = {2023},
+    year = {2024},
     publisher = {CISPA Helmholtz Center for Information Security},
     howpublished = {\url{https://www.debuggingbook.org/beta/html/IllustratedCode.html}},
-    note = {Retrieved 2023-11-11 18:05:06+01:00},
+    note = {Retrieved 2024-06-29 18:27:38+02:00},
     url = {https://www.debuggingbook.org/beta/html/IllustratedCode.html},
-    urldate = {2023-11-11 18:05:06+01:00}
+    urldate = {2024-06-29 18:27:38+02:00}
 }
 </pre>
 </div>

diff --git a/docs/beta/html/index.html b/docs/beta/html/index.html
@@ -12031,7 +12031,7 @@
 <ul>
 <li><p>You can <strong>read chapters in your browser</strong>.  Check out the list of chapters in the menu above, or start right away with the <a href="Intro_Debugging.html">introduction to debugging</a> or <a href="Debugger.html">how debuggers work</a>.  All code is available for download.</p>
 </li>
-<li><p>You can <strong>interact with chapters as Jupyter Notebooks</strong> (beta).  This allows you to edit and extend the code, experimenting <em>live in your browser.</em>  Simply select "Resources → Edit as Notebook" at the top of each chapter. <a href="https://mybinder.org/v2/gh/uds-se/debuggingbook/master?filepath=docs/notebooks/Debugger.ipynb" target=_blank>Try interacting with the introduction to interactive debuggers.</a></p>
+<li><p>You can <strong>interact with chapters as Jupyter Notebooks</strong> (beta).  This allows you to edit and extend the code, experimenting <em>live in your browser.</em>  Simply select "Resources → Edit as Notebook" at the top of each chapter. <a href="https://mybinder.org/v2/gh/uds-se/debuggingbook/HEAD?labpath=docs/notebooks/Debugger.ipynb" target=_blank>Try interacting with the introduction to interactive debuggers.</a></p>
 </li>
 <li><p>You can <strong>use the code in your own projects</strong>.  You can download the code as Python programs; simply select "Resources → Download Code" for one chapter or "Resources → All Code" for all chapters.  These code files can be executed, yielding (hopefully) the same results as the notebooks.  Once the book is out of beta, you can also <a href="Importing.html">install the Python package</a>.</p>
 </li>
@@ -12358,7 +12358,7 @@
 The content of this project is licensed under the
 <a href="https://creativecommons.org/licenses/by-nc-sa/4.0/" target=_blank>Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License</a>.
 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>.
-<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/index.ipynb" target=_blank)>Last change: 2024-01-18 17:35:12+01:00</a> &bull; 
+<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/index.ipynb" target=_blank)>Last change: 2024-06-29 18:24:52+02:00</a> &bull; 
 <a href="#citation" id="cite" onclick="revealCitation()">Cite</a> &bull;
 <a href="https://cispa.de/en/impressum" target=_blank>Imprint</a>
 </p>
@@ -12374,7 +12374,7 @@
 <a name="citation"></a>
 <h2>How to Cite this Work</h2>
 <p>
-Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/html/index.html">About this Book</a>".  In Andreas Zeller, "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>", <a href="https://www.debuggingbook.org/beta/html/index.html">https://www.debuggingbook.org/beta/html/index.html</a>.  Retrieved 2024-01-18 17:35:12+01:00.
+Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/html/index.html">About this Book</a>".  In Andreas Zeller, "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>", <a href="https://www.debuggingbook.org/beta/html/index.html">https://www.debuggingbook.org/beta/html/index.html</a>.  Retrieved 2024-06-29 18:24:52+02:00.
 </p>
 <pre>
 @incollection{debuggingbook2024:index,
@@ -12384,9 +12384,9 @@ <h2>How to Cite this Work</h2>
     year = {2024},
     publisher = {CISPA Helmholtz Center for Information Security},
     howpublished = {\url{https://www.debuggingbook.org/beta/html/index.html}},
-    note = {Retrieved 2024-01-18 17:35:12+01:00},
+    note = {Retrieved 2024-06-29 18:24:52+02:00},
     url = {https://www.debuggingbook.org/beta/html/index.html},
-    urldate = {2024-01-18 17:35:12+01:00}
+    urldate = {2024-06-29 18:24:52+02:00}
 }
 </pre>
 </div>

diff --git a/docs/beta/index.html b/docs/beta/index.html
@@ -12026,7 +12026,7 @@
 <ul>
 <li><p>You can <strong>read chapters in your browser</strong>.  Check out the list of chapters in the menu above, or start right away with the <a href="html/Intro_Debugging.html">introduction to debugging</a> or <a href="html/Debugger.html">how debuggers work</a>.  All code is available for download.</p>
 </li>
-<li><p>You can <strong>interact with chapters as Jupyter Notebooks</strong> (beta).  This allows you to edit and extend the code, experimenting <em>live in your browser.</em>  Simply select "Resources → Edit as Notebook" at the top of each chapter. <a href="https://mybinder.org/v2/gh/uds-se/debuggingbook/master?filepath=docs/notebooks/Debugger.ipynb" target=_blank>Try interacting with the introduction to interactive debuggers.</a></p>
+<li><p>You can <strong>interact with chapters as Jupyter Notebooks</strong> (beta).  This allows you to edit and extend the code, experimenting <em>live in your browser.</em>  Simply select "Resources → Edit as Notebook" at the top of each chapter. <a href="https://mybinder.org/v2/gh/uds-se/debuggingbook/HEAD?labpath=docs/notebooks/Debugger.ipynb" target=_blank>Try interacting with the introduction to interactive debuggers.</a></p>
 </li>
 <li><p>You can <strong>use the code in your own projects</strong>.  You can download the code as Python programs; simply select "Resources → Download Code" for one chapter or "Resources → All Code" for all chapters.  These code files can be executed, yielding (hopefully) the same results as the notebooks.  Once the book is out of beta, you can also <a href="html/Importing.html">install the Python package</a>.</p>
 </li>
@@ -12353,7 +12353,7 @@
 The content of this project is licensed under the
 <a href="https://creativecommons.org/licenses/by-nc-sa/4.0/" target=_blank>Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License</a>.
 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>.
-<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/index.ipynb" target=_blank)>Last change: 2024-01-18 17:35:12+01:00</a> &bull; 
+<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/index.ipynb" target=_blank)>Last change: 2024-06-29 18:24:52+02:00</a> &bull; 
 <a href="#citation" id="cite" onclick="revealCitation()">Cite</a> &bull;
 <a href="https://cispa.de/en/impressum" target=_blank>Imprint</a>
 </p>
@@ -12369,7 +12369,7 @@
 <a name="citation"></a>
 <h2>How to Cite this Work</h2>
 <p>
-Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>".  Retrieved 2024-01-18 17:35:12+01:00.
+Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>".  Retrieved 2024-06-29 18:24:52+02:00.
 </p>
 <pre>
 @book{debuggingbook2024,
@@ -12378,9 +12378,9 @@ <h2>How to Cite this Work</h2>
     year = {2024},
     publisher = {CISPA Helmholtz Center for Information Security},
     howpublished = {\url{https://www.debuggingbook.org/beta/}},
-    note = {Retrieved 2024-01-18 17:35:12+01:00},
+    note = {Retrieved 2024-06-29 18:24:52+02:00},
     url = {https://www.debuggingbook.org/beta/},
-    urldate = {2024-01-18 17:35:12+01:00}
+    urldate = {2024-06-29 18:24:52+02:00}
 }
 </pre>
 </div>