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

Commit

Permalink
deploy: d139e1b
Browse files Browse the repository at this point in the history
  • Loading branch information
@github-merge-queue
github-merge-queue[bot] committed Mar 21, 2024
1 parent 0e0ddd6 commit be5a8ce
Show file tree
Hide file tree
Showing 6 changed files with 37 additions and 39 deletions.
26 changes: 13 additions & 13 deletions docs/part2_chapter2.html
View file
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={
309397159404826425463761554156150196746: ASTStepType(
id=309397159404826425463761554156150196746,
167264463381027833829626155708204059146: ASTStepType(
id=167264463381027833829626155708204059146,
name=&#39;fibo_step&#39;,
signals=[
InternalSignal(id=309397170813681827517409584660947274250, annotation=&#39;c&#39;)
InternalSignal(id=167264473759917123196078578892488182282, 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={
309397170813681827517409584660947274250: c
167264473759917123196078578892488182282: c
}
)
},
forward_signals=[
ForwardSignal(id=309397140390067422042777245302332721674, phase=0, annotation=&#39;a&#39;),
ForwardSignal(id=309397152749660774265129072858881460746, phase=0, annotation=&#39;b&#39;)
ForwardSignal(id=167264445792375755661196657710957464074, phase=0, annotation=&#39;a&#39;),
ForwardSignal(id=167264456963546670171981306690945026570, phase=0, annotation=&#39;b&#39;)
],
shared_signals=[],
fixed_signals=[],
exposed=[],
annotations={
309397140390067422042777245302332721674: a,
309397152749660774265129072858881460746: b,
309397159404826425463761554156150196746: fibo_step
167264445792375755661196657710957464074: a,
167264456963546670171981306690945026570: b,
167264463381027833829626155708204059146: 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=309397159404826425463761554156150196746,
step_type_uuid=167264463381027833829626155708204059146,
assignments={
a = 1,
b = 1,
c = 2
},
),
StepInstance(
step_type_uuid=309397159404826425463761554156150196746,
step_type_uuid=167264463381027833829626155708204059146,
assignments={
a = 1,
b = 2,
c = 3
},
),
StepInstance(
step_type_uuid=309397159404826425463761554156150196746,
step_type_uuid=167264463381027833829626155708204059146,
assignments={
a = 2,
b = 3,
c = 5
},
),
StepInstance(
step_type_uuid=309397159404826425463761554156150196746,
step_type_uuid=167264463381027833829626155708204059146,
assignments={
a = 3,
b = 5,
Expand Down
8 changes: 4 additions & 4 deletions docs/part2_chapter3.html
View file
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=310592956320679055737548110546265049610,
step_type_uuid=168320814769447233152952703248245590538,
assignments={
a = 0,
b = 2,
c = 2
},
),
StepInstance(
step_type_uuid=310592956320679055737548110546265049610,
step_type_uuid=168320814769447233152952703248245590538,
assignments={
a = 2,
b = 2,
c = 4
},
),
StepInstance(
step_type_uuid=310592956320679055737548110546265049610,
step_type_uuid=168320814769447233152952703248245590538,
assignments={
a = 2,
b = 4,
c = 6
},
),
StepInstance(
step_type_uuid=310592956320679055737548110546265049610,
step_type_uuid=168320814769447233152952703248245590538,
assignments={
a = 4,
b = 6,
Expand Down
8 changes: 4 additions & 4 deletions docs/part2_chapter4.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -583,7 +583,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>Ok(
(),
)
</pre></div>
</div>
<div class="output stream highlight-myst-ansi notranslate"><div class="highlight"><pre><span></span>)
</pre></div>
</div>
</div>
Expand All @@ -599,9 +601,7 @@ <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(
[
</pre></div>
</div>
<div class="output stream highlight-myst-ansi notranslate"><div class="highlight"><pre><span></span> ConstraintCaseDebug {
ConstraintCaseDebug {
constraint: Constraint {
gate: Gate {
index: 0,
Expand Down
24 changes: 11 additions & 13 deletions docs/part2_chapter5.html
View file
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=313166034855901078522887179997694003722,
step_type_uuid=170896861508549690336018713672445200906,
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=313166084769643462505739578609890888202,
step_type_uuid=170896907143971298553224612325368662538,
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=313166084769643462505739578609890888202,
step_type_uuid=170896907143971298553224612325368662538,
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=313166084769643462505739578609890888202,
step_type_uuid=170896907143971298553224612325368662538,
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=313166084769643462505739578609890888202,
step_type_uuid=170896907143971298553224612325368662538,
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=313166084769643462505739578609890888202,
step_type_uuid=170896907143971298553224612325368662538,
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=313166084769643462505739578609890888202,
step_type_uuid=170896907143971298553224612325368662538,
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=313166116540136630725155737469270493706,
step_type_uuid=170896939231377116829981285385494989322,
assignments={
a = 21,
b = 34,
n = 7
},
),
StepInstance(
step_type_uuid=313166116540136630725155737469270493706,
step_type_uuid=170896939231377116829981285385494989322,
assignments={
a = 21,
b = 34,
n = 7
},
),
StepInstance(
step_type_uuid=313166116540136630725155737469270493706,
step_type_uuid=170896939231377116829981285385494989322,
assignments={
a = 21,
b = 34,
Expand Down Expand Up @@ -1195,9 +1195,7 @@ <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
View file
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=316654928042626960717382853615032076810,
step_type_uuid=174401721943007884796020021035409213962,
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=316654978907107294876734498758982240778,
step_type_uuid=174401776927352669694921153275348257290,
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=316654928042626960717382853615032076810,
step_type_uuid=174401721943007884796020021035409213962,
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=316654978907107294876734498758982240778,
step_type_uuid=174401776927352669694921153275348257290,
assignments={
x = 2038891600805023480257114900259151954044463841564468389732305079234997849132,
k = 2,
Expand Down
2 changes: 1 addition & 1 deletion docs/searchindex.js
View file

Large diffs are not rendered by default.

0 comments on commit be5a8ce

Please sign in to comment.