Skip to content
This repository has been archived by the owner on Nov 4, 2024. It is now read-only.

Commit

Permalink
deploy: ad07077
Browse files Browse the repository at this point in the history
  • Loading branch information
github-merge-queue[bot] committed Mar 5, 2024
1 parent 6701e0c commit 0e0ddd6
Show file tree
Hide file tree
Showing 6 changed files with 41 additions and 35 deletions.
26 changes: 13 additions & 13 deletions docs/part2_chapter2.html
Original file line number Diff line number Diff line change
Expand Up @@ -681,11 +681,11 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
<div class="cell_output docutils container">
<div class="output stream highlight-myst-ansi notranslate"><div class="highlight"><pre><span></span>ASTCircuit(
step_types={
114322534262759708806864066580276972042: ASTStepType(
id=114322534262759708806864066580276972042,
309397159404826425463761554156150196746: ASTStepType(
id=309397159404826425463761554156150196746,
name=&#39;fibo_step&#39;,
signals=[
InternalSignal(id=114322542740173097831700563284256754186, annotation=&#39;c&#39;)
InternalSignal(id=309397170813681827517409584660947274250, annotation=&#39;c&#39;)
],
constraints=[
Constraint(
Expand All @@ -699,21 +699,21 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
],
lookups=[],
annotations={
114322542740173097831700563284256754186: c
309397170813681827517409584660947274250: c
}
)
},
forward_signals=[
ForwardSignal(id=114322512395786854870075494273196362250, phase=0, annotation=&#39;a&#39;),
ForwardSignal(id=114322527052996920005888479734451014154, phase=0, annotation=&#39;b&#39;)
ForwardSignal(id=309397140390067422042777245302332721674, phase=0, annotation=&#39;a&#39;),
ForwardSignal(id=309397152749660774265129072858881460746, phase=0, annotation=&#39;b&#39;)
],
shared_signals=[],
fixed_signals=[],
exposed=[],
annotations={
114322512395786854870075494273196362250: a,
114322527052996920005888479734451014154: b,
114322534262759708806864066580276972042: fibo_step
309397140390067422042777245302332721674: a,
309397152749660774265129072858881460746: b,
309397159404826425463761554156150196746: fibo_step
},
fixed_assignments=None,
first_step=None,
Expand Down Expand Up @@ -744,31 +744,31 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
<div class="output stream highlight-myst-ansi notranslate"><div class="highlight"><pre><span></span>TraceWitness(
step_instances={
StepInstance(
step_type_uuid=114322534262759708806864066580276972042,
step_type_uuid=309397159404826425463761554156150196746,
assignments={
a = 1,
b = 1,
c = 2
},
),
StepInstance(
step_type_uuid=114322534262759708806864066580276972042,
step_type_uuid=309397159404826425463761554156150196746,
assignments={
a = 1,
b = 2,
c = 3
},
),
StepInstance(
step_type_uuid=114322534262759708806864066580276972042,
step_type_uuid=309397159404826425463761554156150196746,
assignments={
a = 2,
b = 3,
c = 5
},
),
StepInstance(
step_type_uuid=114322534262759708806864066580276972042,
step_type_uuid=309397159404826425463761554156150196746,
assignments={
a = 3,
b = 5,
Expand Down
12 changes: 7 additions & 5 deletions docs/part2_chapter3.html
Original file line number Diff line number Diff line change
Expand Up @@ -599,31 +599,31 @@ <h2>Setup<a class="headerlink" href="#setup" title="Link to this heading">#</a><
<div class="output stream highlight-myst-ansi notranslate"><div class="highlight"><pre><span></span>TraceWitness(
step_instances={
StepInstance(
step_type_uuid=115379540155029638469050188165357898250,
step_type_uuid=310592956320679055737548110546265049610,
assignments={
a = 0,
b = 2,
c = 2
},
),
StepInstance(
step_type_uuid=115379540155029638469050188165357898250,
step_type_uuid=310592956320679055737548110546265049610,
assignments={
a = 2,
b = 2,
c = 4
},
),
StepInstance(
step_type_uuid=115379540155029638469050188165357898250,
step_type_uuid=310592956320679055737548110546265049610,
assignments={
a = 2,
b = 4,
c = 6
},
),
StepInstance(
step_type_uuid=115379540155029638469050188165357898250,
step_type_uuid=310592956320679055737548110546265049610,
assignments={
a = 4,
b = 6,
Expand All @@ -646,7 +646,9 @@ <h2>Setup<a class="headerlink" href="#setup" title="Link to this heading">#</a><
<div class="cell_output docutils container">
<div class="output stream highlight-myst-ansi notranslate"><div class="highlight"><pre><span></span>Ok(
(),
)
</pre></div>
</div>
<div class="output stream highlight-myst-ansi notranslate"><div class="highlight"><pre><span></span>)
</pre></div>
</div>
</div>
Expand Down
4 changes: 3 additions & 1 deletion docs/part2_chapter4.html
Original file line number Diff line number Diff line change
Expand Up @@ -599,7 +599,9 @@ <h1>Chapter 4: Multiple StepTypes<a class="headerlink" href="#chapter-4-multiple
<div class="cell_output docutils container">
<div class="output stream highlight-myst-ansi notranslate"><div class="highlight"><pre><span></span>Err(
[
ConstraintCaseDebug {
</pre></div>
</div>
<div class="output stream highlight-myst-ansi notranslate"><div class="highlight"><pre><span></span> ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 0,
Expand Down
24 changes: 13 additions & 11 deletions docs/part2_chapter5.html
Original file line number Diff line number Diff line change
Expand Up @@ -1077,7 +1077,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
<div class="output stream highlight-myst-ansi notranslate"><div class="highlight"><pre><span></span>TraceWitness(
step_instances={
StepInstance(
step_type_uuid=117966378324463676051145330103388080650,
step_type_uuid=313166034855901078522887179997694003722,
assignments={
a = 1,
b = 1,
Expand All @@ -1086,7 +1086,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=117966433467264785979705822511861729802,
step_type_uuid=313166084769643462505739578609890888202,
assignments={
a = 1,
b = 2,
Expand All @@ -1095,7 +1095,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=117966433467264785979705822511861729802,
step_type_uuid=313166084769643462505739578609890888202,
assignments={
a = 2,
b = 3,
Expand All @@ -1104,7 +1104,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=117966433467264785979705822511861729802,
step_type_uuid=313166084769643462505739578609890888202,
assignments={
a = 3,
b = 5,
Expand All @@ -1113,7 +1113,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=117966433467264785979705822511861729802,
step_type_uuid=313166084769643462505739578609890888202,
assignments={
a = 5,
b = 8,
Expand All @@ -1122,7 +1122,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=117966433467264785979705822511861729802,
step_type_uuid=313166084769643462505739578609890888202,
assignments={
a = 8,
b = 13,
Expand All @@ -1131,7 +1131,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=117966433467264785979705822511861729802,
step_type_uuid=313166084769643462505739578609890888202,
assignments={
a = 13,
b = 21,
Expand All @@ -1140,23 +1140,23 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=117966467614602829627985480200332380682,
step_type_uuid=313166116540136630725155737469270493706,
assignments={
a = 21,
b = 34,
n = 7
},
),
StepInstance(
step_type_uuid=117966467614602829627985480200332380682,
step_type_uuid=313166116540136630725155737469270493706,
assignments={
a = 21,
b = 34,
n = 7
},
),
StepInstance(
step_type_uuid=117966467614602829627985480200332380682,
step_type_uuid=313166116540136630725155737469270493706,
assignments={
a = 21,
b = 34,
Expand Down Expand Up @@ -1195,7 +1195,9 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
<div class="cell_output docutils container">
<div class="output stream highlight-myst-ansi notranslate"><div class="highlight"><pre><span></span>Ok(
(),
)
</pre></div>
</div>
<div class="output stream highlight-myst-ansi notranslate"><div class="highlight"><pre><span></span>)
</pre></div>
</div>
</div>
Expand Down
8 changes: 4 additions & 4 deletions docs/part3_chapter3.html
Original file line number Diff line number Diff line change
Expand Up @@ -748,7 +748,7 @@ <h2>Setup<a class="headerlink" href="#setup" title="Link to this heading">#</a><
</div>
<div class="cell_output docutils container">
<div class="output stream highlight-myst-ansi notranslate"><div class="highlight"><pre><span></span>StepInstance(
step_type_uuid=121658715884510399130678544000728304138,
step_type_uuid=316654928042626960717382853615032076810,
assignments={
x = 19772642601925508232386889125207430697825779573800034433688041678604067403935,
k = 2,
Expand All @@ -758,7 +758,7 @@ <h2>Setup<a class="headerlink" href="#setup" title="Link to this heading">#</a><
},
)
StepInstance(
step_type_uuid=121658776414826560028403907787217308170,
step_type_uuid=316654978907107294876734498758982240778,
assignments={
x = 10594780656576967754230020536574539122676596303354946869887184401991294982662,
k = 2,
Expand Down Expand Up @@ -799,7 +799,7 @@ <h2>Setup<a class="headerlink" href="#setup" title="Link to this heading">#</a><
</div>
<div class="cell_output docutils container">
<div class="output stream highlight-myst-ansi notranslate"><div class="highlight"><pre><span></span>StepInstance(
step_type_uuid=121658715884510399130678544000728304138,
step_type_uuid=316654928042626960717382853615032076810,
assignments={
x = 19772642601925508232386889125207430697825779573800034433688041678604067403935,
k = 2,
Expand All @@ -809,7 +809,7 @@ <h2>Setup<a class="headerlink" href="#setup" title="Link to this heading">#</a><
},
)
StepInstance(
step_type_uuid=121658776414826560028403907787217308170,
step_type_uuid=316654978907107294876734498758982240778,
assignments={
x = 2038891600805023480257114900259151954044463841564468389732305079234997849132,
k = 2,
Expand Down
2 changes: 1 addition & 1 deletion docs/searchindex.js

Large diffs are not rendered by default.

0 comments on commit 0e0ddd6

Please sign in to comment.