<!DOCTYPE html>
<html lang='en'>
<head>
<title>cloud-email/mitmproxy - clone of mitm proxy</title>
<meta name='generator' content='cgit v1.2.3'/>
<meta name='robots' content='index, nofollow'/>
<link rel='stylesheet' type='text/css' href='/cgit.css'/>
<link rel='shortcut icon' href='/favicon.ico'/>
<link rel='alternate' title='Atom feed' href='http://git.panaceas.org/cgit/cloud-email/mitmproxy/atom/mitmproxy?h=master' type='application/atom+xml'/>
<link rel='vcs-git' href='git://git.panaceas.org/cloud-email/mitmproxy' title='cloud-email/mitmproxy Git repository'/>
<link rel='vcs-git' href='ssh://git@git.panaceas.org/git/cloud-email/mitmproxy' title='cloud-email/mitmproxy Git repository'/>
</head>
<body>
<div id='cgit'><table id='header'>
<tr>
<td class='logo' rowspan='2'><a href='/cgit/'><img src='/cgit.png' alt='cgit logo'/></a></td>
<td class='main'><a href='/cgit/'>index</a> : <a title='cloud-email/mitmproxy' href='/cgit/cloud-email/mitmproxy/'>cloud-email/mitmproxy</a></td><td class='form'><form method='get'>
<select name='h' onchange='this.form.submit();'>
<option value='master' selected='selected'>master</option>
</select> <input type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>clone of mitm proxy</td><td class='sub right'>James</td></tr></table>
<table class='tabs'><tr><td>
<a href='/cgit/cloud-email/mitmproxy/about/'>about</a><a href='/cgit/cloud-email/mitmproxy/'>summary</a><a href='/cgit/cloud-email/mitmproxy/refs/'>refs</a><a href='/cgit/cloud-email/mitmproxy/log/mitmproxy'>log</a><a href='/cgit/cloud-email/mitmproxy/tree/mitmproxy'>tree</a><a href='/cgit/cloud-email/mitmproxy/commit/mitmproxy'>commit</a><a href='/cgit/cloud-email/mitmproxy/diff/mitmproxy'>diff</a><a class='active' href='/cgit/cloud-email/mitmproxy/stats/mitmproxy'>stats</a></td><td class='form'><form class='right' method='get' action='/cgit/cloud-email/mitmproxy/log/mitmproxy'>
<select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/cgit/cloud-email/mitmproxy/stats/'>root</a>/<a href='/cgit/cloud-email/mitmproxy/stats/mitmproxy'>mitmproxy</a></div><div class='content'><div class='cgit-panel'><b>stat options</b><form method='get'><table><tr><td colspan='2'/></tr><tr><td class='label'>Period:</td><td class='ctrl'><select name='period' onchange='this.form.submit();'><option value='w' selected='selected'>week</option>
<option value='m'>month</option>
<option value='q'>quarter</option>
</select></td></tr><tr><td class='label'>Authors:</td><td class='ctrl'><select name='ofs' onchange='this.form.submit();'><option value='10' selected='selected'>10</option><option value='25'>25</option><option value='50'>50</option><option value='100'>100</option><option value='-1'>all</option></select></td></tr><tr><td/><td class='ctrl'><noscript><input type='submit' value='Reload'/></noscript></td></tr></table></form></div><h2>Commits per author per week (path 'mitmproxy')</h2><table class='stats'><tr><th>Author</th><th>W33 2025</th><th>W34 2025</th><th>W35 2025</th><th>W36 2025</th><th>Total</th></tr>
<tr><td class='total'>Total</td><td class='sum'>0</td><td class='sum'>0</td><td class='sum'>0</td><td class='sum'>0</td><td class='sum'>0</td></tr></table></div> <!-- class=content -->
<div class='footer'>generated by <a href='https://git.zx2c4.com/cgit/about/'>cgit v1.2.3</a> (<a href='https://git-scm.com/'>git 2.25.1</a>) at 2025-09-04 23:33:22 +0000</div>
</div> <!-- id=cgit -->
</body>
</html>
='n18' href='#n18'>18</a>
<a id='n19' href='#n19'>19</a>
<a id='n20' href='#n20'>20</a>
<a id='n21' href='#n21'>21</a>
<a id='n22' href='#n22'>22</a>
<a id='n23' href='#n23'>23</a>
<a id='n24' href='#n24'>24</a>
<a id='n25' href='#n25'>25</a>
<a id='n26' href='#n26'>26</a>
<a id='n27' href='#n27'>27</a>
<a id='n28' href='#n28'>28</a>
<a id='n29' href='#n29'>29</a>
<a id='n30' href='#n30'>30</a>
<a id='n31' href='#n31'>31</a>
<a id='n32' href='#n32'>32</a>
<a id='n33' href='#n33'>33</a>
<a id='n34' href='#n34'>34</a>
<a id='n35' href='#n35'>35</a>
</pre></td>
<td class='lines'><pre><code><style>pre { line-height: 125%; margin: 0; }
td.linenos pre { color: #000000; background-color: #f0f0f0; padding: 0 5px 0 5px; }
span.linenos { color: #000000; background-color: #f0f0f0; padding: 0 5px 0 5px; }
td.linenos pre.special { color: #000000; background-color: #ffffc0; padding: 0 5px 0 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding: 0 5px 0 5px; }
.highlight .hll { background-color: #ffffcc }
.highlight { background: #ffffff; }
.highlight .c { color: #888888 } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .k { color: #008800; font-weight: bold } /* Keyword */
.highlight .ch { color: #888888 } /* Comment.Hashbang */
.highlight .cm { color: #888888 } /* Comment.Multiline */
.highlight .cp { color: #cc0000; font-weight: bold } /* Comment.Preproc */
.highlight .cpf { color: #888888 } /* Comment.PreprocFile */
.highlight .c1 { color: #888888 } /* Comment.Single */
.highlight .cs { color: #cc0000; font-weight: bold; background-color: #fff0f0 } /* Comment.Special */
.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .gr { color: #aa0000 } /* Generic.Error */
.highlight .gh { color: #333333 } /* Generic.Heading */
.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
.highlight .go { color: #888888 } /* Generic.Output */
.highlight .gp { color: #555555 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #666666 } /* Generic.Subheading */
.highlight .gt { color: #aa0000 } /* Generic.Traceback */
.highlight .kc { color: #008800; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #008800; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #008800; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #008800 } /* Keyword.Pseudo */
.highlight .kr { color: #008800; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #888888; font-weight: bold } /* Keyword.Type */
.highlight .m { color: #0000DD; font-weight: bold } /* Literal.Number */
.highlight .s { color: #dd2200; background-color: #fff0f0 } /* Literal.String */
.highlight .na { color: #336699 } /* Name.Attribute */
.highlight .nb { color: #003388 } /* Name.Builtin */
.highlight .nc { color: #bb0066; font-weight: bold } /* Name.Class */
.highlight .no { color: #003366; font-weight: bold } /* Name.Constant */
.highlight .nd { color: #555555 } /* Name.Decorator */
.highlight .ne { color: #bb0066; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #0066bb; font-weight: bold } /* Name.Function */
.highlight .nl { color: #336699; font-style: italic } /* Name.Label */
.highlight .nn { color: #bb0066; font-weight: bold } /* Name.Namespace */
.highlight .py { color: #336699; font-weight: bold } /* Name.Property */
.highlight .nt { color: #bb0066; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #336699 } /* Name.Variable */
.highlight .ow { color: #008800 } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mb { color: #0000DD; font-weight: bold } /* Literal.Number.Bin */
.highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */
.highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */
.highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */
.highlight .mo { color: #0000DD; font-weight: bold } /* Literal.Number.Oct */
.highlight .sa { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Affix */
.highlight .sb { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Backtick */
.highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */
.highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */
.highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */
.highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */
.highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */
.highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */
.highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */
.highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */
.highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */
.highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */
.highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */
.highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */
.highlight .vc { color: #336699 } /* Name.Variable.Class */
.highlight .vg { color: #dd7700 } /* Name.Variable.Global */
.highlight .vi { color: #3333bb } /* Name.Variable.Instance */
.highlight .vm { color: #336699 } /* Name.Variable.Magic */
.highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */</style><div class="highlight"><pre><span></span><span class="k">\chapter</span><span class="nb">{</span>Auxiliary Libraries<span class="nb">}</span>

The Yosys source distribution contains some auxiliary libraries that are bundled
with Yosys.

<span class="k">\section</span><span class="nb">{</span>SHA1<span class="nb">}</span>

The files in <span class="nb">{</span><span class="k">\tt</span> libs/sha1/<span class="nb">}</span> provide a public domain SHA1 implementation written
by Steve Reid, Bruce Guenter, and Volker Grabsch. It is used for generating
unique names when specializing parameterized modules.

<span class="k">\section</span><span class="nb">{</span>BigInt<span class="nb">}</span>

The files in <span class="nb">{</span><span class="k">\tt</span> libs/bigint/<span class="nb">}</span> provide a library for performing arithmetic with
arbitrary length integers. It is written by Matt McCutchen <span class="k">\citeweblink</span><span class="nb">{</span>bigint<span class="nb">}</span>.

The BigInt library is used for evaluating constant expressions, e.g.~using the <span class="nb">{</span><span class="k">\tt</span>
ConstEval<span class="nb">}</span> class provided in <span class="nb">{</span><span class="k">\tt</span> kernel/consteval.h<span class="nb">}</span>.

<span class="k">\section</span><span class="nb">{</span>SubCircuit<span class="nb">}</span>
<span class="k">\label</span><span class="nb">{</span>sec:SubCircuit<span class="nb">}</span>

The files in <span class="nb">{</span><span class="k">\tt</span> libs/subcircuit<span class="nb">}</span> provide a library for solving the subcircuit
isomorphism problem. It is written by Clifford Wolf and based on the Ullmann
Subgraph Isomorphism Algorithm <span class="k">\cite</span><span class="nb">{</span>UllmannSubgraphIsomorphism<span class="nb">}</span>. It is used by
the <span class="nb">{</span><span class="k">\tt</span> extract<span class="nb">}</span> pass (see <span class="nb">{</span><span class="k">\tt</span> help extract<span class="nb">}</span> or Sec.~<span class="k">\ref</span><span class="nb">{</span>cmd:extract<span class="nb">}</span>).

<span class="k">\section</span><span class="nb">{</span>ezSAT<span class="nb">}</span>

The files in <span class="nb">{</span><span class="k">\tt</span> libs/ezsat<span class="nb">}</span> provide a library for simplifying generating CNF
formulas for SAT solvers. It also contains bindings of MiniSAT. The ezSAT
library is written by Clifford Wolf. It is used by the <span class="nb">{</span><span class="k">\tt</span> sat<span class="nb">}</span> pass (see
<span class="nb">{</span><span class="k">\tt</span> help sat<span class="nb">}</span> or Sec.~<span class="k">\ref</span><span class="nb">{</span>cmd:sat<span class="nb">}</span>).
</pre></div>
</code></pre></td></tr></table>
</div> <!-- class=content -->
<div class='footer'>generated by <a href='https://git.zx2c4.com/cgit/about/'>cgit v1.2.3</a> (<a href='https://git-scm.com/'>git 2.25.1</a>) at 2025-09-04 23:33:22 +0000</div>
</div> <!-- id=cgit -->
</body>
</html>
