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

Commit

Permalink
deploy: 1788d7e
Browse files Browse the repository at this point in the history
  • Loading branch information
@github-merge-queue
github-merge-queue[bot] committed Mar 27, 2024
1 parent 0121bfc commit 5d62e5f
Show file tree
Hide file tree
Showing 5 changed files with 35 additions and 41 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={
317937371892826598932287091213356108298: ASTStepType(
id=317937371892826598932287091213356108298,
219921835281011408458991367497043282442: ASTStepType(
id=219921835281011408458991367497043282442,
name=&#39;fibo_step&#39;,
signals=[
InternalSignal(id=317937383856279138585641932634838403594, annotation=&#39;c&#39;)
InternalSignal(id=219921846214497835429951438800789572106, 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={
317937383856279138585641932634838403594: c
219921846214497835429951438800789572106: c
}
)
},
forward_signals=[
ForwardSignal(id=317937350025853744993586177914503301642, phase=0, annotation=&#39;a&#39;),
ForwardSignal(id=317937364683063810132231646066397284874, phase=0, annotation=&#39;b&#39;)
ForwardSignal(id=219921816979305867666547382146776566282, phase=0, annotation=&#39;a&#39;),
ForwardSignal(id=219921828863530244805491800461802080778, phase=0, annotation=&#39;b&#39;)
],
shared_signals=[],
fixed_signals=[],
exposed=[],
annotations={
317937350025853744993586177914503301642: a,
317937364683063810132231646066397284874: b,
317937371892826598932287091213356108298: fibo_step
219921816979305867666547382146776566282: a,
219921828863530244805491800461802080778: b,
219921835281011408458991367497043282442: 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=317937371892826598932287091213356108298,
step_type_uuid=219921835281011408458991367497043282442,
assignments={
a = 1,
b = 1,
c = 2
},
),
StepInstance(
step_type_uuid=317937371892826598932287091213356108298,
step_type_uuid=219921835281011408458991367497043282442,
assignments={
a = 1,
b = 2,
c = 3
},
),
StepInstance(
step_type_uuid=317937371892826598932287091213356108298,
step_type_uuid=219921835281011408458991367497043282442,
assignments={
a = 2,
b = 3,
c = 5
},
),
StepInstance(
step_type_uuid=317937371892826598932287091213356108298,
step_type_uuid=219921835281011408458991367497043282442,
assignments={
a = 3,
b = 5,
Expand Down
16 changes: 6 additions & 10 deletions docs/part2_chapter3.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -532,9 +532,7 @@ <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 Expand Up @@ -601,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=319063763116068995816965183233759775242,
step_type_uuid=221123531684301175886618062280555366922,
assignments={
a = 0,
b = 2,
c = 2
},
),
StepInstance(
step_type_uuid=319063763116068995816965183233759775242,
step_type_uuid=221123531684301175886618062280555366922,
assignments={
a = 2,
b = 2,
c = 4
},
),
StepInstance(
step_type_uuid=319063763116068995816965183233759775242,
step_type_uuid=221123531684301175886618062280555366922,
assignments={
a = 2,
b = 4,
c = 6
},
),
StepInstance(
step_type_uuid=319063763116068995816965183233759775242,
step_type_uuid=221123531684301175886618062280555366922,
assignments={
a = 4,
b = 6,
Expand All @@ -648,9 +646,7 @@ <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
20 changes: 10 additions & 10 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=321661316260657787541711388795229309450,
step_type_uuid=223712697497921720038929835191721134602,
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=321661378058624548666706887357791603210,
step_type_uuid=223712744163309440940672810010125404682,
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=321661378058624548666706887357791603210,
step_type_uuid=223712744163309440940672810010125404682,
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=321661378058624548666706887357791603210,
step_type_uuid=223712744163309440940672810010125404682,
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=321661378058624548666706887357791603210,
step_type_uuid=223712744163309440940672810010125404682,
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=321661378058624548666706887357791603210,
step_type_uuid=223712744163309440940672810010125404682,
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=321661378058624548666706887357791603210,
step_type_uuid=223712744163309440940672810010125404682,
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=321661425912434707280560850407762037258,
step_type_uuid=223712775220749146533003589520571632138,
assignments={
a = 21,
b = 34,
n = 7
},
),
StepInstance(
step_type_uuid=321661425912434707280560850407762037258,
step_type_uuid=223712775220749146533003589520571632138,
assignments={
a = 21,
b = 34,
n = 7
},
),
StepInstance(
step_type_uuid=321661425912434707280560850407762037258,
step_type_uuid=223712775220749146533003589520571632138,
assignments={
a = 21,
b = 34,
Expand Down
12 changes: 5 additions & 7 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=325147789898528646619199226616654465546,
step_type_uuid=226831285700503207064021600250442156554,
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=325147845199786081577845795258356075018,
step_type_uuid=226831336644211703737586354542174931466,
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=325147789898528646619199226616654465546,
step_type_uuid=226831285700503207064021600250442156554,
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=325147845199786081577845795258356075018,
step_type_uuid=226831336644211703737586354542174931466,
assignments={
x = 2038891600805023480257114900259151954044463841564468389732305079234997849132,
k = 2,
Expand All @@ -831,9 +831,7 @@ <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
2 changes: 1 addition & 1 deletion docs/searchindex.js
View file

Large diffs are not rendered by default.

0 comments on commit 5d62e5f

Please sign in to comment.