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

Commit

Permalink
deploy: 69745a5
Browse files Browse the repository at this point in the history
  • Loading branch information
github-merge-queue[bot] committed Nov 21, 2023
1 parent 607757d commit e06c1dd
Show file tree
Hide file tree
Showing 5 changed files with 33 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 @@ -670,11 +670,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={
225201421181691637269209223084104092170: ASTStepType(
id=225201421181691637269209223084104092170,
167078517468528416152352153583227636234: ASTStepType(
id=167078517468528416152352153583227636234,
name=&#39;fibo_step&#39;,
signals=[
InternalSignal(id=225201429262964213726696206691704900106, annotation=&#39;c&#39;)
InternalSignal(id=167078523648325092262963006345755363850, annotation=&#39;c&#39;)
],
constraints=[
Constraint(
Expand All @@ -688,21 +688,21 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
],
lookups=[],
annotations={
225201429262964213726696206691704900106: c
167078523648325092262963006345755363850: c
}
)
},
forward_signals=[
ForwardSignal(id=225201401057738358648371909958270847498, phase=0, annotation=&#39;a&#39;),
ForwardSignal(id=225201414051157010988345053523032541706, phase=0, annotation=&#39;b&#39;)
ForwardSignal(id=167078500355245313071564855852116085258, phase=0, annotation=&#39;a&#39;),
ForwardSignal(id=167078511051047252495416621507279456778, phase=0, annotation=&#39;b&#39;)
],
shared_signals=[],
fixed_signals=[],
exposed=[],
annotations={
225201401057738358648371909958270847498: a,
225201414051157010988345053523032541706: b,
225201421181691637269209223084104092170: fibo_step
167078500355245313071564855852116085258: a,
167078511051047252495416621507279456778: b,
167078517468528416152352153583227636234: fibo_step
},
fixed_assignments=None,
first_step=None,
Expand Down Expand Up @@ -733,31 +733,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=225201421181691637269209223084104092170,
step_type_uuid=167078517468528416152352153583227636234,
assignments={
a = 1,
b = 1,
c = 2
},
),
StepInstance(
step_type_uuid=225201421181691637269209223084104092170,
step_type_uuid=167078517468528416152352153583227636234,
assignments={
a = 1,
b = 2,
c = 3
},
),
StepInstance(
step_type_uuid=225201421181691637269209223084104092170,
step_type_uuid=167078517468528416152352153583227636234,
assignments={
a = 2,
b = 3,
c = 5
},
),
StepInstance(
step_type_uuid=225201421181691637269209223084104092170,
step_type_uuid=167078517468528416152352153583227636234,
assignments={
a = 3,
b = 5,
Expand Down
12 changes: 5 additions & 7 deletions docs/part2_chapter3.html
Original file line number Diff line number Diff line change
Expand Up @@ -521,9 +521,7 @@ <h2>Setup<a class="headerlink" href="#setup" title="Permalink to this heading">#
<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 @@ -590,31 +588,31 @@ <h2>Setup<a class="headerlink" href="#setup" title="Permalink to this heading">#
<div class="output stream highlight-myst-ansi notranslate"><div class="highlight"><pre><span></span>TraceWitness(
step_instances={
StepInstance(
step_type_uuid=226249254037305665412392625403853408778,
step_type_uuid=168115659275892769459769815507969640970,
assignments={
a = 0,
b = 2,
c = 2
},
),
StepInstance(
step_type_uuid=226249254037305665412392625403853408778,
step_type_uuid=168115659275892769459769815507969640970,
assignments={
a = 2,
b = 2,
c = 4
},
),
StepInstance(
step_type_uuid=226249254037305665412392625403853408778,
step_type_uuid=168115659275892769459769815507969640970,
assignments={
a = 2,
b = 4,
c = 6
},
),
StepInstance(
step_type_uuid=226249254037305665412392625403853408778,
step_type_uuid=168115659275892769459769815507969640970,
assignments={
a = 4,
b = 6,
Expand Down
20 changes: 10 additions & 10 deletions docs/part2_chapter5.html
Original file line number Diff line number Diff line change
Expand Up @@ -1066,7 +1066,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=228826744155072807459427712395626809866,
step_type_uuid=170550608738829898312886150794807216650,
assignments={
a = 1,
b = 1,
Expand All @@ -1075,7 +1075,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=228826797634082504588725345715829213706,
step_type_uuid=170550661663242457837184680686210648586,
assignments={
a = 1,
b = 2,
Expand All @@ -1084,7 +1084,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=228826797634082504588725345715829213706,
step_type_uuid=170550661663242457837184680686210648586,
assignments={
a = 2,
b = 3,
Expand All @@ -1093,7 +1093,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=228826797634082504588725345715829213706,
step_type_uuid=170550661663242457837184680686210648586,
assignments={
a = 3,
b = 5,
Expand All @@ -1102,7 +1102,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=228826797634082504588725345715829213706,
step_type_uuid=170550661663242457837184680686210648586,
assignments={
a = 5,
b = 8,
Expand All @@ -1111,7 +1111,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=228826797634082504588725345715829213706,
step_type_uuid=170550661663242457837184680686210648586,
assignments={
a = 8,
b = 13,
Expand All @@ -1120,7 +1120,7 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=228826797634082504588725345715829213706,
step_type_uuid=170550661663242457837184680686210648586,
assignments={
a = 13,
b = 21,
Expand All @@ -1129,23 +1129,23 @@ <h2>Putting Everything Together<a class="headerlink" href="#putting-everything-t
},
),
StepInstance(
step_type_uuid=228826825918536522179114534574790150666,
step_type_uuid=170550690502293613032064347691054402058,
assignments={
a = 21,
b = 34,
n = 7
},
),
StepInstance(
step_type_uuid=228826825918536522179114534574790150666,
step_type_uuid=170550690502293613032064347691054402058,
assignments={
a = 21,
b = 34,
n = 7
},
),
StepInstance(
step_type_uuid=228826825918536522179114534574790150666,
step_type_uuid=170550690502293613032064347691054402058,
assignments={
a = 21,
b = 34,
Expand Down
8 changes: 4 additions & 4 deletions docs/part3_chapter3.html
Original file line number Diff line number Diff line change
Expand Up @@ -737,7 +737,7 @@ <h2>Setup<a class="headerlink" href="#setup" title="Permalink to this heading">#
</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=232011989704535070556118670010378488330,
step_type_uuid=173642942946742708534862788293508598282,
assignments={
x = 19772642601925508232386889125207430697825779573800034433688041678604067403935,
k = 2,
Expand All @@ -747,7 +747,7 @@ <h2>Setup<a class="headerlink" href="#setup" title="Permalink to this heading">#
},
)
StepInstance(
step_type_uuid=232012040965156217285187877229774375434,
step_type_uuid=173642994286592017775030865518360398346,
assignments={
x = 10594780656576967754230020536574539122676596303354946869887184401991294982662,
k = 2,
Expand Down Expand Up @@ -788,7 +788,7 @@ <h2>Setup<a class="headerlink" href="#setup" title="Permalink to this heading">#
</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=232011989704535070556118670010378488330,
step_type_uuid=173642942946742708534862788293508598282,
assignments={
x = 19772642601925508232386889125207430697825779573800034433688041678604067403935,
k = 2,
Expand All @@ -798,7 +798,7 @@ <h2>Setup<a class="headerlink" href="#setup" title="Permalink to this heading">#
},
)
StepInstance(
step_type_uuid=232012040965156217285187877229774375434,
step_type_uuid=173642994286592017775030865518360398346,
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 e06c1dd

Please sign in to comment.