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

Commit

Permalink
deploy: c81ab28
Browse files Browse the repository at this point in the history
  • Loading branch information
leolara committed Apr 2, 2024
1 parent 070b64e commit 02e7339
Show file tree
Hide file tree
Showing 3 changed files with 24 additions and 24 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={
20825630523101428809161567031207266826: ASTStepType(
id=20825630523101428809161567031207266826,
135425824409213596577507636159869225482: ASTStepType(
id=135425824409213596577507636159869225482,
name=&#39;fibo_step&#39;,
signals=[
InternalSignal(id=20825637099038917496451139518211951114, annotation=&#39;c&#39;)
InternalSignal(id=135425831222835572806994901851762723338, 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={
20825637099038917496451139518211951114: c
135425831222835572806994901851762723338: c
}
)
},
forward_signals=[
ForwardSignal(id=20825610161463662642432201631157848586, phase=0, annotation=&#39;a&#39;),
ForwardSignal(id=20825623867935777611214758777205688842, phase=0, annotation=&#39;b&#39;)
ForwardSignal(id=135425803492978692811750658961937402378, phase=0, annotation=&#39;a&#39;),
ForwardSignal(id=135425817516363457839111938731282139658, phase=0, annotation=&#39;b&#39;)
],
shared_signals=[],
fixed_signals=[],
exposed=[],
annotations={
20825610161463662642432201631157848586: a,
20825623867935777611214758777205688842: b,
20825630523101428809161567031207266826: fibo_step
135425803492978692811750658961937402378: a,
135425817516363457839111938731282139658: b,
135425824409213596577507636159869225482: 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=20825630523101428809161567031207266826,
step_type_uuid=135425824409213596577507636159869225482,
assignments={
a = 1,
b = 1,
c = 2
},
),
StepInstance(
step_type_uuid=20825630523101428809161567031207266826,
step_type_uuid=135425824409213596577507636159869225482,
assignments={
a = 1,
b = 2,
c = 3
},
),
StepInstance(
step_type_uuid=20825630523101428809161567031207266826,
step_type_uuid=135425824409213596577507636159869225482,
assignments={
a = 2,
b = 3,
c = 5
},
),
StepInstance(
step_type_uuid=20825630523101428809161567031207266826,
step_type_uuid=135425824409213596577507636159869225482,
assignments={
a = 3,
b = 5,
Expand Down
20 changes: 10 additions & 10 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=24780294113796131396753837411241953802,
step_type_uuid=139529287838033264274698305033237826058,
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=24780359318573880636717445113677744650,
step_type_uuid=139529344248484974430926093409923500554,
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=24780359318573880636717445113677744650,
step_type_uuid=139529344248484974430926093409923500554,
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=24780359318573880636717445113677744650,
step_type_uuid=139529344248484974430926093409923500554,
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=24780359318573880636717445113677744650,
step_type_uuid=139529344248484974430926093409923500554,
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=24780359318573880636717445113677744650,
step_type_uuid=139529344248484974430926093409923500554,
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=24780359318573880636717445113677744650,
step_type_uuid=139529344248484974430926093409923500554,
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=24780388712222173425187190316307450378,
step_type_uuid=139529371265288391791640225291795302922,
assignments={
a = 21,
b = 34,
n = 7
},
),
StepInstance(
step_type_uuid=24780388712222173425187190316307450378,
step_type_uuid=139529371265288391791640225291795302922,
assignments={
a = 21,
b = 34,
n = 7
},
),
StepInstance(
step_type_uuid=24780388712222173425187190316307450378,
step_type_uuid=139529371265288391791640225291795302922,
assignments={
a = 21,
b = 34,
Expand Down
2 changes: 1 addition & 1 deletion docs/searchindex.js

Large diffs are not rendered by default.

0 comments on commit 02e7339

Please sign in to comment.