Skip to content

Commit

Permalink
Built site for gh-pages
Browse files Browse the repository at this point in the history
  • Loading branch information
@hurak
hurak committed Dec 18, 2024
1 parent dbb397e commit f431fc1
Show file tree
Hide file tree
Showing 79 changed files with 35,753 additions and 9,590 deletions.
2 changes: 1 addition & 1 deletion .nojekyll
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
3b03cec5
8efd858f
1,190 changes: 1,190 additions & 0 deletions classes_PWA 14.html
View file

Large diffs are not rendered by default.

6 changes: 6 additions & 0 deletions classes_PWA.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -608,6 +608,12 @@
<a href="./verification_temporal_logics.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Temporal logics</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
<a href="./verification_software.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Software</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
Expand Down
6 changes: 6 additions & 0 deletions classes_references.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -585,6 +585,12 @@
<a href="./verification_temporal_logics.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Temporal logics</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
<a href="./verification_software.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Software</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
Expand Down
1,499 changes: 1,499 additions & 0 deletions classes_reset 16.html
View file

Large diffs are not rendered by default.

142 changes: 74 additions & 68 deletions classes_reset.html
View file

Large diffs are not rendered by default.

6 changes: 6 additions & 0 deletions classes_software.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -585,6 +585,12 @@
<a href="./verification_temporal_logics.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Temporal logics</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
<a href="./verification_software.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Software</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
Expand Down
64 changes: 35 additions & 29 deletions classes_switched.html
View file

Large diffs are not rendered by default.

1,267 changes: 1,267 additions & 0 deletions complementarity_constraints 20.html
View file

Large diffs are not rendered by default.

6 changes: 6 additions & 0 deletions complementarity_constraints.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -608,6 +608,12 @@
<a href="./verification_temporal_logics.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Temporal logics</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
<a href="./verification_software.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Software</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
Expand Down
6 changes: 6 additions & 0 deletions complementarity_references.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -585,6 +585,12 @@
<a href="./verification_temporal_logics.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Temporal logics</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
<a href="./verification_software.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Software</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
Expand Down
1,686 changes: 846 additions & 840 deletions complementarity_simulations.html
View file

Large diffs are not rendered by default.

6 changes: 6 additions & 0 deletions complementarity_software.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -608,6 +608,12 @@
<a href="./verification_temporal_logics.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Temporal logics</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
<a href="./verification_software.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Software</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
Expand Down
6 changes: 6 additions & 0 deletions complementarity_systems.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -608,6 +608,12 @@
<a href="./verification_temporal_logics.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Temporal logics</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
<a href="./verification_software.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Software</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
Expand Down
6 changes: 6 additions & 0 deletions des.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -608,6 +608,12 @@
<a href="./verification_temporal_logics.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Temporal logics</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
<a href="./verification_software.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Software</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
Expand Down
22 changes: 14 additions & 8 deletions des_automata.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -662,6 +662,12 @@
<a href="./verification_temporal_logics.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Temporal logics</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
<a href="./verification_software.html" class="sidebar-item-text sidebar-link">
<span class="menu-text">Software</span></a>
</div>
</li>
<li class="sidebar-item">
<div class="sidebar-item-container">
Expand Down Expand Up @@ -2131,16 +2137,16 @@ <h3 class="anchored" data-anchor-id="mealy-machine">Mealy machine</h3>
<span id="cb3-11"><a href="#cb3-11" aria-hidden="true" tabindex="-1"></a><span class="pp">@show</span> <span class="fu">update!</span>(dtr), <span class="fu">output</span>(dtr)</span></code><button title="Copy to Clipboard" class="code-copy-button"><i class="bi"></i></button></pre></div>
</details>
<div class="cell-output cell-output-stdout">
<pre><code>x_initial = rand(0:k, n) = [0, 1, 0, 2]
output(dtr) = [0, 1, 1, 1]
(update!(dtr), output(dtr)) = ([0, 0, 1, 0], [1, 0, 1, 1])
(update!(dtr), output(dtr)) = ([1, 0, 0, 1], [1, 1, 0, 1])
(update!(dtr), output(dtr)) = ([2, 1, 0, 0], [0, 1, 1, 0])
(update!(dtr), output(dtr)) = ([2, 2, 1, 0], [0, 0, 1, 1])
(update!(dtr), output(dtr)) = ([2, 2, 2, 1], [0, 0, 0, 1])</code></pre>
<pre><code>x_initial = rand(0:k, n) = [0, 3, 3, 1]
output(dtr) = [0, 1, 0, 1]
(update!(dtr), output(dtr)) = ([0, 0, 3, 3], [0, 0, 1, 0])
(update!(dtr), output(dtr)) = ([0, 0, 0, 3], [0, 0, 0, 1])
(update!(dtr), output(dtr)) = ([0, 0, 0, 0], [1, 0, 0, 0])
(update!(dtr), output(dtr)) = ([1, 0, 0, 0], [0, 1, 0, 0])
(update!(dtr), output(dtr)) = ([1, 1, 0, 0], [0, 0, 1, 0])</code></pre>
</div>
<div class="cell-output cell-output-display" data-execution_count="1">
<pre><code>([2, 2, 2, 1], [0, 0, 0, 1])</code></pre>
<pre><code>([1, 1, 0, 0], [0, 0, 1, 0])</code></pre>
</div>
</div>
<p>We can see that although initially the there can be more tokens, after a few iterations the algorithm achieves the goal of having just one token in the ring.</p>
Expand Down
Loading

0 comments on commit f431fc1

Please sign in to comment.