Skip to content

Commit 29c8cf6

Browse files
klaeuferklaeufer
committed
deploy: 4c0e1d8 
1 parent 014efc6 commit 29c8cf6

24 files changed

Lines changed: 87 additions & 84 deletions

‎.buildinfo‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
# Sphinx build info version 1
22
# This file records the configuration used when building these files. When it is not found, a full rebuild will be done.
3-
config: 97c6eaf636d9ed255201221141765a5d
3+
config: 508f6a7392f055f3fa5ee73208ad39f7
44
tags: 645f666f9bcd5a90fca523b33c5a78b7

‎10-overview.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<link rel="index" title="Index" href="genindex.html"><link rel="search" title="Search" href="search.html"><link rel="next" title="2. Software Engineering Context" href="15-softwareengineering.html"><link rel="prev" title="Lecture Notes: Formal Methods in Software Engineering" href="index.html">
77

88
<!-- Generated with Sphinx 9.0.4 and Furo 2025.12.19 -->
9-
<title>1. Overview - Loyola University Chicago COMP 335 Lecture Notes v26sp.11</title>
9+
<title>1. Overview - Loyola University Chicago COMP 335 Lecture Notes v26sp.12</title>
1010
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=03e43079" />
1111
<link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=7bdb33bb" />
1212
<link rel="stylesheet" type="text/css" href="_static/proof.css?v=5beb2b09" />
@@ -163,7 +163,7 @@
163163
</label>
164164
</div>
165165
<div class="header-center">
166-
<a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.11</div></a>
166+
<a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.12</div></a>
167167
</div>
168168
<div class="header-right">
169169
<div class="theme-toggle-container theme-toggle-header">
@@ -184,7 +184,7 @@
184184

185185
<div class="sidebar-sticky"><a class="sidebar-brand" href="index.html">
186186

187-
<span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.11</span>
187+
<span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.12</span>
188188

189189
</a><form class="sidebar-search-container" method="get" action="search.html" role="search">
190190
<input class="sidebar-search" placeholder="Search" name="q" aria-label="Search">
@@ -377,7 +377,7 @@ <h2><span class="section-number">1.4. </span>Bloom’s taxonomy<a class="headerl
377377
</div>
378378
</div><script src="_static/jquery.js?v=5d32c60e"></script>
379379
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
380-
<script src="_static/documentation_options.js?v=979b93b4"></script>
380+
<script src="_static/documentation_options.js?v=a06319de"></script>
381381
<script src="_static/doctools.js?v=fd6eb6e6"></script>
382382
<script src="_static/sphinx_highlight.js?v=6ffebe34"></script>
383383
<script src="_static/scripts/furo.js?v=46bd48cc"></script>

‎15-softwareengineering.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<link rel="index" title="Index" href="genindex.html"><link rel="search" title="Search" href="search.html"><link rel="next" title="3. Foundations in Discrete Structures" href="20-foundations.html"><link rel="prev" title="1. Overview" href="10-overview.html">
77

88
<!-- Generated with Sphinx 9.0.4 and Furo 2025.12.19 -->
9-
<title>2. Software Engineering Context - Loyola University Chicago COMP 335 Lecture Notes v26sp.11</title>
9+
<title>2. Software Engineering Context - Loyola University Chicago COMP 335 Lecture Notes v26sp.12</title>
1010
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=03e43079" />
1111
<link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=7bdb33bb" />
1212
<link rel="stylesheet" type="text/css" href="_static/proof.css?v=5beb2b09" />
@@ -163,7 +163,7 @@
163163
</label>
164164
</div>
165165
<div class="header-center">
166-
<a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.11</div></a>
166+
<a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.12</div></a>
167167
</div>
168168
<div class="header-right">
169169
<div class="theme-toggle-container theme-toggle-header">
@@ -184,7 +184,7 @@
184184

185185
<div class="sidebar-sticky"><a class="sidebar-brand" href="index.html">
186186

187-
<span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.11</span>
187+
<span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.12</span>
188188

189189
</a><form class="sidebar-search-container" method="get" action="search.html" role="search">
190190
<input class="sidebar-search" placeholder="Search" name="q" aria-label="Search">
@@ -599,7 +599,7 @@ <h3><span class="section-number">2.5.4. </span>Recap<a class="headerlink" href="
599599
</div>
600600
</div><script src="_static/jquery.js?v=5d32c60e"></script>
601601
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
602-
<script src="_static/documentation_options.js?v=979b93b4"></script>
602+
<script src="_static/documentation_options.js?v=a06319de"></script>
603603
<script src="_static/doctools.js?v=fd6eb6e6"></script>
604604
<script src="_static/sphinx_highlight.js?v=6ffebe34"></script>
605605
<script src="_static/scripts/furo.js?v=46bd48cc"></script>

‎20-foundations.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<link rel="index" title="Index" href="genindex.html"><link rel="search" title="Search" href="search.html"><link rel="next" title="4. Software Testing" href="30-testing.html"><link rel="prev" title="2. Software Engineering Context" href="15-softwareengineering.html">
77

88
<!-- Generated with Sphinx 9.0.4 and Furo 2025.12.19 -->
9-
<title>3. Foundations in Discrete Structures - Loyola University Chicago COMP 335 Lecture Notes v26sp.11</title>
9+
<title>3. Foundations in Discrete Structures - Loyola University Chicago COMP 335 Lecture Notes v26sp.12</title>
1010
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=03e43079" />
1111
<link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=7bdb33bb" />
1212
<link rel="stylesheet" type="text/css" href="_static/proof.css?v=5beb2b09" />
@@ -163,7 +163,7 @@
163163
</label>
164164
</div>
165165
<div class="header-center">
166-
<a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.11</div></a>
166+
<a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.12</div></a>
167167
</div>
168168
<div class="header-right">
169169
<div class="theme-toggle-container theme-toggle-header">
@@ -184,7 +184,7 @@
184184

185185
<div class="sidebar-sticky"><a class="sidebar-brand" href="index.html">
186186

187-
<span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.11</span>
187+
<span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.12</span>
188188

189189
</a><form class="sidebar-search-container" method="get" action="search.html" role="search">
190190
<input class="sidebar-search" placeholder="Search" name="q" aria-label="Search">
@@ -453,7 +453,7 @@ <h2><span class="section-number">3.3. </span>Further Reading<a class="headerlink
453453
</div>
454454
</div><script src="_static/jquery.js?v=5d32c60e"></script>
455455
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
456-
<script src="_static/documentation_options.js?v=979b93b4"></script>
456+
<script src="_static/documentation_options.js?v=a06319de"></script>
457457
<script src="_static/doctools.js?v=fd6eb6e6"></script>
458458
<script src="_static/sphinx_highlight.js?v=6ffebe34"></script>
459459
<script src="_static/scripts/furo.js?v=46bd48cc"></script>

‎30-testing.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<link rel="index" title="Index" href="genindex.html"><link rel="search" title="Search" href="search.html"><link rel="next" title="5. Formal Specification" href="35-specification.html"><link rel="prev" title="3. Foundations in Discrete Structures" href="20-foundations.html">
77

88
<!-- Generated with Sphinx 9.0.4 and Furo 2025.12.19 -->
9-
<title>4. Software Testing - Loyola University Chicago COMP 335 Lecture Notes v26sp.11</title>
9+
<title>4. Software Testing - Loyola University Chicago COMP 335 Lecture Notes v26sp.12</title>
1010
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=03e43079" />
1111
<link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=7bdb33bb" />
1212
<link rel="stylesheet" type="text/css" href="_static/proof.css?v=5beb2b09" />
@@ -163,7 +163,7 @@
163163
</label>
164164
</div>
165165
<div class="header-center">
166-
<a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.11</div></a>
166+
<a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.12</div></a>
167167
</div>
168168
<div class="header-right">
169169
<div class="theme-toggle-container theme-toggle-header">
@@ -184,7 +184,7 @@
184184

185185
<div class="sidebar-sticky"><a class="sidebar-brand" href="index.html">
186186

187-
<span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.11</span>
187+
<span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.12</span>
188188

189189
</a><form class="sidebar-search-container" method="get" action="search.html" role="search">
190190
<input class="sidebar-search" placeholder="Search" name="q" aria-label="Search">
@@ -629,7 +629,7 @@ <h2><span class="section-number">4.14. </span>Further Reading<a class="headerlin
629629
</div>
630630
</div><script src="_static/jquery.js?v=5d32c60e"></script>
631631
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
632-
<script src="_static/documentation_options.js?v=979b93b4"></script>
632+
<script src="_static/documentation_options.js?v=a06319de"></script>
633633
<script src="_static/doctools.js?v=fd6eb6e6"></script>
634634
<script src="_static/sphinx_highlight.js?v=6ffebe34"></script>
635635
<script src="_static/scripts/furo.js?v=46bd48cc"></script>

‎35-specification.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<link rel="index" title="Index" href="genindex.html"><link rel="search" title="Search" href="search.html"><link rel="next" title="6. Model Checking" href="40-modelchecking.html"><link rel="prev" title="4. Software Testing" href="30-testing.html">
77

88
<!-- Generated with Sphinx 9.0.4 and Furo 2025.12.19 -->
9-
<title>5. Formal Specification - Loyola University Chicago COMP 335 Lecture Notes v26sp.11</title>
9+
<title>5. Formal Specification - Loyola University Chicago COMP 335 Lecture Notes v26sp.12</title>
1010
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=03e43079" />
1111
<link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=7bdb33bb" />
1212
<link rel="stylesheet" type="text/css" href="_static/proof.css?v=5beb2b09" />
@@ -163,7 +163,7 @@
163163
</label>
164164
</div>
165165
<div class="header-center">
166-
<a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.11</div></a>
166+
<a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.12</div></a>
167167
</div>
168168
<div class="header-right">
169169
<div class="theme-toggle-container theme-toggle-header">
@@ -184,7 +184,7 @@
184184

185185
<div class="sidebar-sticky"><a class="sidebar-brand" href="index.html">
186186

187-
<span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.11</span>
187+
<span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.12</span>
188188

189189
</a><form class="sidebar-search-container" method="get" action="search.html" role="search">
190190
<input class="sidebar-search" placeholder="Search" name="q" aria-label="Search">
@@ -442,7 +442,7 @@ <h2><span class="section-number">5.9. </span>Conclusion<a class="headerlink" hre
442442
</div>
443443
</div><script src="_static/jquery.js?v=5d32c60e"></script>
444444
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
445-
<script src="_static/documentation_options.js?v=979b93b4"></script>
445+
<script src="_static/documentation_options.js?v=a06319de"></script>
446446
<script src="_static/doctools.js?v=fd6eb6e6"></script>
447447
<script src="_static/sphinx_highlight.js?v=6ffebe34"></script>
448448
<script src="_static/scripts/furo.js?v=46bd48cc"></script>

‎40-modelchecking.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<link rel="index" title="Index" href="genindex.html"><link rel="search" title="Search" href="search.html"><link rel="next" title="7. Runtime Verification" href="50-rtverification.html"><link rel="prev" title="5. Formal Specification" href="35-specification.html">
77

88
<!-- Generated with Sphinx 9.0.4 and Furo 2025.12.19 -->
9-
<title>6. Model Checking - Loyola University Chicago COMP 335 Lecture Notes v26sp.11</title>
9+
<title>6. Model Checking - Loyola University Chicago COMP 335 Lecture Notes v26sp.12</title>
1010
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=03e43079" />
1111
<link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=7bdb33bb" />
1212
<link rel="stylesheet" type="text/css" href="_static/proof.css?v=5beb2b09" />
@@ -163,7 +163,7 @@
163163
</label>
164164
</div>
165165
<div class="header-center">
166-
<a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.11</div></a>
166+
<a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.12</div></a>
167167
</div>
168168
<div class="header-right">
169169
<div class="theme-toggle-container theme-toggle-header">
@@ -184,7 +184,7 @@
184184

185185
<div class="sidebar-sticky"><a class="sidebar-brand" href="index.html">
186186

187-
<span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.11</span>
187+
<span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.12</span>
188188

189189
</a><form class="sidebar-search-container" method="get" action="search.html" role="search">
190190
<input class="sidebar-search" placeholder="Search" name="q" aria-label="Search">
@@ -472,7 +472,7 @@ <h2><span class="section-number">6.5. </span>Exercises<a class="headerlink" href
472472
</div>
473473
</div><script src="_static/jquery.js?v=5d32c60e"></script>
474474
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
475-
<script src="_static/documentation_options.js?v=979b93b4"></script>
475+
<script src="_static/documentation_options.js?v=a06319de"></script>
476476
<script src="_static/doctools.js?v=fd6eb6e6"></script>
477477
<script src="_static/sphinx_highlight.js?v=6ffebe34"></script>
478478
<script src="_static/scripts/furo.js?v=46bd48cc"></script>

‎50-rtverification.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<link rel="index" title="Index" href="genindex.html"><link rel="search" title="Search" href="search.html"><link rel="next" title="8. Summary" href="70-summary.html"><link rel="prev" title="6. Model Checking" href="40-modelchecking.html">
77

88
<!-- Generated with Sphinx 9.0.4 and Furo 2025.12.19 -->
9-
<title>7. Runtime Verification - Loyola University Chicago COMP 335 Lecture Notes v26sp.11</title>
9+
<title>7. Runtime Verification - Loyola University Chicago COMP 335 Lecture Notes v26sp.12</title>
1010
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=03e43079" />
1111
<link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=7bdb33bb" />
1212
<link rel="stylesheet" type="text/css" href="_static/proof.css?v=5beb2b09" />
@@ -163,7 +163,7 @@
163163
</label>
164164
</div>
165165
<div class="header-center">
166-
<a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.11</div></a>
166+
<a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.12</div></a>
167167
</div>
168168
<div class="header-right">
169169
<div class="theme-toggle-container theme-toggle-header">
@@ -184,7 +184,7 @@
184184

185185
<div class="sidebar-sticky"><a class="sidebar-brand" href="index.html">
186186

187-
<span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.11</span>
187+
<span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.12</span>
188188

189189
</a><form class="sidebar-search-container" method="get" action="search.html" role="search">
190190
<input class="sidebar-search" placeholder="Search" name="q" aria-label="Search">
@@ -304,7 +304,7 @@
304304
</div>
305305
</div><script src="_static/jquery.js?v=5d32c60e"></script>
306306
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
307-
<script src="_static/documentation_options.js?v=979b93b4"></script>
307+
<script src="_static/documentation_options.js?v=a06319de"></script>
308308
<script src="_static/doctools.js?v=fd6eb6e6"></script>
309309
<script src="_static/sphinx_highlight.js?v=6ffebe34"></script>
310310
<script src="_static/scripts/furo.js?v=46bd48cc"></script>

‎70-summary.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<link rel="index" title="Index" href="genindex.html"><link rel="search" title="Search" href="search.html"><link rel="next" title="9. Appendix: Course Software" href="80-software.html"><link rel="prev" title="7. Runtime Verification" href="50-rtverification.html">
77

88
<!-- Generated with Sphinx 9.0.4 and Furo 2025.12.19 -->
9-
<title>8. Summary - Loyola University Chicago COMP 335 Lecture Notes v26sp.11</title>
9+
<title>8. Summary - Loyola University Chicago COMP 335 Lecture Notes v26sp.12</title>
1010
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=03e43079" />
1111
<link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=7bdb33bb" />
1212
<link rel="stylesheet" type="text/css" href="_static/proof.css?v=5beb2b09" />
@@ -163,7 +163,7 @@
163163
</label>
164164
</div>
165165
<div class="header-center">
166-
<a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.11</div></a>
166+
<a href="index.html"><div class="brand">Loyola University Chicago COMP 335 Lecture Notes v26sp.12</div></a>
167167
</div>
168168
<div class="header-right">
169169
<div class="theme-toggle-container theme-toggle-header">
@@ -184,7 +184,7 @@
184184

185185
<div class="sidebar-sticky"><a class="sidebar-brand" href="index.html">
186186

187-
<span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.11</span>
187+
<span class="sidebar-brand-text">Loyola University Chicago COMP 335 Lecture Notes v26sp.12</span>
188188

189189
</a><form class="sidebar-search-container" method="get" action="search.html" role="search">
190190
<input class="sidebar-search" placeholder="Search" name="q" aria-label="Search">
@@ -303,7 +303,7 @@
303303
</div>
304304
</div><script src="_static/jquery.js?v=5d32c60e"></script>
305305
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
306-
<script src="_static/documentation_options.js?v=979b93b4"></script>
306+
<script src="_static/documentation_options.js?v=a06319de"></script>
307307
<script src="_static/doctools.js?v=fd6eb6e6"></script>
308308
<script src="_static/sphinx_highlight.js?v=6ffebe34"></script>
309309
<script src="_static/scripts/furo.js?v=46bd48cc"></script>

0 commit comments

Comments
 (0)