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

Commit

Permalink
deploy: 4c9a23b
Browse files Browse the repository at this point in the history
  • Loading branch information
@github-merge-queue
github-merge-queue[bot] committed Feb 5, 2024
1 parent ae21e94 commit 2be7735
Show file tree
Hide file tree
Showing 5 changed files with 35 additions and 33 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 @@ -689,11 +689,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={
34435665390716621492692431471997749770: ASTStepType(
id=34435665390716621492692431471997749770,
280805942491563876960400239743034067466: ASTStepType(
id=280805942491563876960400239743034067466,
name=&#39;fibo_step&#39;,
signals=[
InternalSignal(id=34435673947358173031538530915598338570, annotation=&#39;c&#39;)
InternalSignal(id=280805949622098503245046307091189991946, annotation=&#39;c&#39;)
],
constraints=[
Constraint(
Expand All @@ -707,21 +707,21 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
],
lookups=[],
annotations={
34435673947358173031538530915598338570: c
280805949622098503245046307091189991946: c
}
)
},
forward_signals=[
ForwardSignal(id=34435642256093167326960355652299000330, phase=0, annotation=&#39;a&#39;),
ForwardSignal(id=34435657943269345150922585655162309130, phase=0, annotation=&#39;b&#39;)
ForwardSignal(id=280805924189858336167109296187844987402, phase=0, annotation=&#39;a&#39;),
ForwardSignal(id=280805935519485575706432471979105323530, phase=0, annotation=&#39;b&#39;)
],
shared_signals=[],
fixed_signals=[],
exposed=[],
annotations={
34435642256093167326960355652299000330: a,
34435657943269345150922585655162309130: b,
34435665390716621492692431471997749770: fibo_step
280805924189858336167109296187844987402: a,
280805935519485575706432471979105323530: b,
280805942491563876960400239743034067466: fibo_step
},
fixed_assignments=None,
first_step=None,
Expand Down Expand Up @@ -752,31 +752,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=34435665390716621492692431471997749770,
step_type_uuid=280805942491563876960400239743034067466,
assignments={
a = 1,
b = 1,
c = 2
},
),
StepInstance(
step_type_uuid=34435665390716621492692431471997749770,
step_type_uuid=280805942491563876960400239743034067466,
assignments={
a = 1,
b = 2,
c = 3
},
),
StepInstance(
step_type_uuid=34435665390716621492692431471997749770,
step_type_uuid=280805942491563876960400239743034067466,
assignments={
a = 2,
b = 3,
c = 5
},
),
StepInstance(
step_type_uuid=34435665390716621492692431471997749770,
step_type_uuid=280805942491563876960400239743034067466,
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 @@ -607,31 +607,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=35735129346548991108402300688156723722,
step_type_uuid=281854888978230205599002477831643597322,
assignments={
a = 0,
b = 2,
c = 2
},
),
StepInstance(
step_type_uuid=35735129346548991108402300688156723722,
step_type_uuid=281854888978230205599002477831643597322,
assignments={
a = 2,
b = 2,
c = 4
},
),
StepInstance(
step_type_uuid=35735129346548991108402300688156723722,
step_type_uuid=281854888978230205599002477831643597322,
assignments={
a = 2,
b = 4,
c = 6
},
),
StepInstance(
step_type_uuid=35735129346548991108402300688156723722,
step_type_uuid=281854888978230205599002477831643597322,
assignments={
a = 4,
b = 6,
Expand Down
24 changes: 13 additions & 11 deletions docs/part2_chapter5.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1085,7 +1085,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=38141861303265852142209844047996652042,
step_type_uuid=284389338475939636060195898334066117130,
assignments={
a = 1,
b = 1,
Expand All @@ -1094,7 +1094,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=38141917476033074759860833320199391754,
step_type_uuid=284389391479580358101339046930520082954,
assignments={
a = 1,
b = 2,
Expand All @@ -1103,7 +1103,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=38141917476033074759860833320199391754,
step_type_uuid=284389391479580358101339046930520082954,
assignments={
a = 2,
b = 3,
Expand All @@ -1112,7 +1112,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=38141917476033074759860833320199391754,
step_type_uuid=284389391479580358101339046930520082954,
assignments={
a = 3,
b = 5,
Expand All @@ -1121,7 +1121,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=38141917476033074759860833320199391754,
step_type_uuid=284389391479580358101339046930520082954,
assignments={
a = 5,
b = 8,
Expand All @@ -1130,7 +1130,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=38141917476033074759860833320199391754,
step_type_uuid=284389391479580358101339046930520082954,
assignments={
a = 8,
b = 13,
Expand All @@ -1139,7 +1139,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=38141917476033074759860833320199391754,
step_type_uuid=284389391479580358101339046930520082954,
assignments={
a = 13,
b = 21,
Expand All @@ -1148,23 +1148,23 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=38141945839715254866019406473176156682,
step_type_uuid=284389420397859675809341389023369366026,
assignments={
a = 21,
b = 34,
n = 7
},
),
StepInstance(
step_type_uuid=38141945839715254866019406473176156682,
step_type_uuid=284389420397859675809341389023369366026,
assignments={
a = 21,
b = 34,
n = 7
},
),
StepInstance(
step_type_uuid=38141945839715254866019406473176156682,
step_type_uuid=284389420397859675809341389023369366026,
assignments={
a = 21,
b = 34,
Expand Down Expand Up @@ -1203,7 +1203,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
View file
Original file line number Diff line number Diff line change
Expand Up @@ -756,7 +756,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=41427906783962788387757257699655027210,
step_type_uuid=287621727317399086896025672017760619018,
assignments={
x = 19772642601925508232386889125207430697825779573800034433688041678604067403935,
k = 2,
Expand All @@ -766,7 +766,7 @@ <h2>Setup<a class="headerlink" href="#setup" title="Link to this heading">#</a><
},
)
StepInstance(
step_type_uuid=41427962005992060829533593413425433098,
step_type_uuid=287621782143287546764665369113980963338,
assignments={
x = 10594780656576967754230020536574539122676596303354946869887184401991294982662,
k = 2,
Expand Down Expand Up @@ -807,7 +807,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=41427906783962788387757257699655027210,
step_type_uuid=287621727317399086896025672017760619018,
assignments={
x = 19772642601925508232386889125207430697825779573800034433688041678604067403935,
k = 2,
Expand All @@ -817,7 +817,7 @@ <h2>Setup<a class="headerlink" href="#setup" title="Link to this heading">#</a><
},
)
StepInstance(
step_type_uuid=41427962005992060829533593413425433098,
step_type_uuid=287621782143287546764665369113980963338,
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 2be7735

Please sign in to comment.