typefuzz_bugs.html

---
sidebar:
  nav: "typefuzznav"
---
<body style="font-size: 20px;">
<h2>Bug findings with Type-aware mutation</h2>
<h2 id="cvc4">========= CVC4 =========</h2>
<h2 id="cvc4sound">Soundness Bugs</h2>
<h4>Refutation Soundness</h4>
<a href="https://github.com/cvc5/cvc5/issues/6776">https://github.com/cvc5/cvc5/issues/6776</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6681">https://github.com/cvc5/cvc5/issues/6681</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6654">https://github.com/cvc5/cvc5/issues/6654</a> Confirmed <br />
<a href="https://github.com/cvc5/cvc5/issues/6520">https://github.com/cvc5/cvc5/issues/6520</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/6142">https://github.com/CVC4/CVC4/issues/6142</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/6191">https://github.com/CVC4/CVC4/issues/6191</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5940">https://github.com/CVC4/CVC4/issues/5940</a> Fixed <br />

<h4>Solution Soundness</h4>
<a href="https://github.com/cvc5/cvc5/issues/6913">https://github.com/cvc5/cvc5/issues/6913</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6604#issuecomment-847241234">https://github.com/cvc5/cvc5/issues/6604#issuecomment-847241234</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6604#issue-898823692">https://github.com/cvc5/cvc5/issues/6604#issue-898823692</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6639#issue-906870227">https://github.com/cvc5/cvc5/issues/6639#issue-906870227</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6637#issuecomment-852452585">https://github.com/cvc5/cvc5/issues/6637#issuecomment-852452585</a> Dup <br />
<a href="https://github.com/cvc5/cvc5/issues/6637#issue-906523476">https://github.com/cvc5/cvc5/issues/6637#issue-906523476</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6636">https://github.com/cvc5/cvc5/issues/6636</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6635">https://github.com/cvc5/cvc5/issues/6635</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6622">https://github.com/cvc5/cvc5/issues/6622</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6567">https://github.com/cvc5/cvc5/issues/6567</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6560">https://github.com/cvc5/cvc5/issues/6560</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6483">https://github.com/cvc5/cvc5/issues/6483</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/6214#issuecomment-813495575">https://github.com/CVC4/CVC4/issues/6214#issuecomment-813495575</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/6214#issuecomment-812857277">https://github.com/CVC4/CVC4/issues/6214#issuecomment-812857277</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/6214">https://github.com/CVC4/CVC4/issues/6214</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/6101">https://github.com/CVC4/CVC4/issues/6101</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/6075">https://github.com/CVC4/CVC4/issues/6075</a> Fixed <br />
<a href="[CVC4/CVC4#5915](https://github.com/CVC4/CVC4/issues/5915)">[CVC4/CVC4#5915](https://github.com/CVC4/CVC4/issues/5915)</a> Fixed <br />
<h2 id="cvc4others">Others</h2>
<a href="https://github.com/cvc5/cvc5/issues/7252#issue-1006824288">https://github.com/cvc5/cvc5/issues/7252#issue-1006824288</a> Confirmed <br />
<a href="https://github.com/cvc5/cvc5/issues/6973">https://github.com/cvc5/cvc5/issues/6973</a> Confirmed <br />
<a href="https://github.com/cvc5/cvc5/issues/6653#issuecomment-857073800">https://github.com/cvc5/cvc5/issues/6653#issuecomment-857073800</a> Confirmed <br />
<a href="https://github.com/cvc5/cvc5/issues/6765#issuecomment-864151487">https://github.com/cvc5/cvc5/issues/6765#issuecomment-864151487</a> Confirmed <br />
<a href="https://github.com/cvc5/cvc5/issues/6754">https://github.com/cvc5/cvc5/issues/6754</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6765">https://github.com/cvc5/cvc5/issues/6765</a> Confirmed <br />
<a href="https://github.com/cvc5/cvc5/issues/6766">https://github.com/cvc5/cvc5/issues/6766</a> Confirmed <br />
<a href="https://github.com/cvc5/cvc5/issues/6653">https://github.com/cvc5/cvc5/issues/6653</a> Confirmed <br />
<a href="https://github.com/cvc5/cvc5/issues/6653">https://github.com/cvc5/cvc5/issues/6653</a> Confirmed <br />
<a href="https://github.com/cvc5/cvc5/issues/6604">https://github.com/cvc5/cvc5/issues/6604</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6637#issuecomment-852928419">https://github.com/cvc5/cvc5/issues/6637#issuecomment-852928419</a> Dup <br />
<a href="https://github.com/cvc5/cvc5/issues/6625">https://github.com/cvc5/cvc5/issues/6625</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6620">https://github.com/cvc5/cvc5/issues/6620</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6605">https://github.com/cvc5/cvc5/issues/6605</a> Confirmed <br />
<a href="https://github.com/cvc5/cvc5/issues/6561#issuecomment-843546850">https://github.com/cvc5/cvc5/issues/6561#issuecomment-843546850</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6545">https://github.com/cvc5/cvc5/issues/6545</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6536">https://github.com/cvc5/cvc5/issues/6536</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/6057#issuecomment-814732785">https://github.com/CVC4/CVC4/issues/6057#issuecomment-814732785</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/6203#issuecomment-813501494">https://github.com/CVC4/CVC4/issues/6203#issuecomment-813501494</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6214#issuecomment-812903986">https://github.com/cvc5/cvc5/issues/6214#issuecomment-812903986</a> Fixed <br />
<a href="https://github.com/cvc5/cvc5/issues/6214#issuecomment-812858369">https://github.com/cvc5/cvc5/issues/6214#issuecomment-812858369</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/6203#issuecomment-810860309">https://github.com/CVC4/CVC4/issues/6203#issuecomment-810860309</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/6203#issuecomment-810859231">https://github.com/CVC4/CVC4/issues/6203#issuecomment-810859231</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/6228#issuecomment-809130679">https://github.com/CVC4/CVC4/issues/6228#issuecomment-809130679</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/6228">https://github.com/CVC4/CVC4/issues/6228</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/6203#issuecomment-809136033">https://github.com/CVC4/CVC4/issues/6203#issuecomment-809136033</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/6203">https://github.com/CVC4/CVC4/issues/6203</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/6192">https://github.com/CVC4/CVC4/issues/6192</a> Fixed <br />
<a href="[CVC4/CVC4#6180](https://github.com/CVC4/CVC4/issues/6180)">[CVC4/CVC4#6180](https://github.com/CVC4/CVC4/issues/6180)</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/6132">https://github.com/CVC4/CVC4/issues/6132</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/6057">https://github.com/CVC4/CVC4/issues/6057</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/6056">https://github.com/CVC4/CVC4/issues/6056</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5943">https://github.com/CVC4/CVC4/issues/5943</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5816">https://github.com/CVC4/CVC4/issues/5816</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5815">https://github.com/CVC4/CVC4/issues/5815</a> Confirmed <br />

<h2 id="z3">========= Z3 =========</h2>
<h2 id="z3sound">Soundness Bugs</h2>
<h4>Refutation Soundness</h4>
<a href="https://github.com/Z3Prover/z3/issues/5429#issuecomment-885793775">https://github.com/Z3Prover/z3/issues/5429#issuecomment-885793775</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5429#issuecomment-885778234">https://github.com/Z3Prover/z3/issues/5429#issuecomment-885778234</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-814310059">https://github.com/Z3Prover/z3/issues/5140#issuecomment-814310059</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-846386635">https://github.com/Z3Prover/z3/issues/5140#issuecomment-846386635</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-846446190">https://github.com/Z3Prover/z3/issues/5140#issuecomment-846446190</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-846446946">https://github.com/Z3Prover/z3/issues/5140#issuecomment-846446946</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-847352530">https://github.com/Z3Prover/z3/issues/5140#issuecomment-847352530</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-851049176">https://github.com/Z3Prover/z3/issues/5140#issuecomment-851049176</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-892583476">https://github.com/Z3Prover/z3/issues/5140#issuecomment-892583476</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5467#issuecomment-895648140">https://github.com/Z3Prover/z3/issues/5467#issuecomment-895648140</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/2650#issuecomment-854891402">https://github.com/Z3Prover/z3/issues/2650#issuecomment-854891402</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/2650#issuecomment-852910615">https://github.com/Z3Prover/z3/issues/2650#issuecomment-852910615</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/2650#issuecomment-852088518">https://github.com/Z3Prover/z3/issues/2650#issuecomment-852088518</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/2650#issuecomment-851051592">https://github.com/Z3Prover/z3/issues/2650#issuecomment-851051592</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/2650#issuecomment-830862350">https://github.com/Z3Prover/z3/issues/2650#issuecomment-830862350</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/2650#issuecomment-829061143">https://github.com/Z3Prover/z3/issues/2650#issuecomment-829061143</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/5467#issuecomment-895648011">https://github.com/Z3Prover/z3/issues/5467#issuecomment-895648011</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-868855897">https://github.com/Z3Prover/z3/issues/5140#issuecomment-868855897</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2650#issuecomment-880092673">https://github.com/Z3Prover/z3/issues/2650#issuecomment-880092673</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/5301">https://github.com/Z3Prover/z3/issues/5301</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issuecomment-852984716">https://github.com/Z3Prover/z3/issues/5324#issuecomment-852984716</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#">https://github.com/Z3Prover/z3/issues/5324#</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issuecomment-852907754">https://github.com/Z3Prover/z3/issues/5324#issuecomment-852907754</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issuecomment-852440597">https://github.com/Z3Prover/z3/issues/5324#issuecomment-852440597</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issue-908251210">https://github.com/Z3Prover/z3/issues/5324#issue-908251210</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5223">https://github.com/Z3Prover/z3/issues/5223</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5223#issuecomment-828600799">https://github.com/Z3Prover/z3/issues/5223#issuecomment-828600799</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5223#issuecomment-828599679">https://github.com/Z3Prover/z3/issues/5223#issuecomment-828599679</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5223#issuecomment-828598613">https://github.com/Z3Prover/z3/issues/5223#issuecomment-828598613</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5161">https://github.com/Z3Prover/z3/issues/5161</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/5042#issuecomment-812978896">https://github.com/Z3Prover/z3/issues/5042#issuecomment-812978896</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/5042#issuecomment-812848711">https://github.com/Z3Prover/z3/issues/5042#issuecomment-812848711</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/5142">https://github.com/Z3Prover/z3/issues/5142</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5141">https://github.com/Z3Prover/z3/issues/5141</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/5127">https://github.com/Z3Prover/z3/issues/5127</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5117">https://github.com/Z3Prover/z3/issues/5117</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5112">https://github.com/Z3Prover/z3/issues/5112</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/5111">https://github.com/Z3Prover/z3/issues/5111</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5108">https://github.com/Z3Prover/z3/issues/5108</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5086">https://github.com/Z3Prover/z3/issues/5086</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/5083">https://github.com/Z3Prover/z3/issues/5083</a> Won't fix <br />
<a href="[Z3Prover/Z3#5076](https://github.com/Z3Prover/z3/issues/5076)">[Z3Prover/Z3#5076](https://github.com/Z3Prover/z3/issues/5076)</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/5071">https://github.com/Z3Prover/z3/issues/5071</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5061">https://github.com/Z3Prover/z3/issues/5061</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5047#issuecomment-785797869">https://github.com/Z3Prover/z3/issues/5047#issuecomment-785797869</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5042">https://github.com/Z3Prover/z3/issues/5042</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/5037">https://github.com/Z3Prover/z3/issues/5037</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4940#issuecomment-767074891">https://github.com/Z3Prover/z3/issues/4940#issuecomment-767074891</a> Fixed <br />

<h4>Solution Soundness</h4>
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-912608064">https://github.com/Z3Prover/z3/issues/5532#issuecomment-912608064</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5429#issuecomment-885803038">https://github.com/Z3Prover/z3/issues/5429#issuecomment-885803038</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5429#issuecomment-885789614">https://github.com/Z3Prover/z3/issues/5429#issuecomment-885789614</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5429#issuecomment-885777533">https://github.com/Z3Prover/z3/issues/5429#issuecomment-885777533</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-814049048">https://github.com/Z3Prover/z3/issues/5140#issuecomment-814049048</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-829064318">https://github.com/Z3Prover/z3/issues/5140#issuecomment-829064318</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-852508190">https://github.com/Z3Prover/z3/issues/5140#issuecomment-852508190</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5430#issue-951879804">https://github.com/Z3Prover/z3/issues/5430#issue-951879804</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5445#issuecomment-890539626">https://github.com/Z3Prover/z3/issues/5445#issuecomment-890539626</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5445#issuecomment-890499828">https://github.com/Z3Prover/z3/issues/5445#issuecomment-890499828</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2650#issuecomment-860191020">https://github.com/Z3Prover/z3/issues/2650#issuecomment-860191020</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/2650#issuecomment-832190983">https://github.com/Z3Prover/z3/issues/2650#issuecomment-832190983</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-868853515">https://github.com/Z3Prover/z3/issues/5140#issuecomment-868853515</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-863925613">https://github.com/Z3Prover/z3/issues/5140#issuecomment-863925613</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#">https://github.com/Z3Prover/z3/issues/5324#</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issuecomment-852095144">https://github.com/Z3Prover/z3/issues/5324#issuecomment-852095144</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5096">https://github.com/Z3Prover/z3/issues/5096</a> Fixed <br />
<a href="[Z3Prover/Z3#5074](https://github.com/Z3Prover/z3/issues/5074)">[Z3Prover/Z3#5074](https://github.com/Z3Prover/z3/issues/5074)</a> Fixed <br />
<h2 id="z3others">Others</h2>
<a href="https://github.com/Z3Prover/z3/issues/5467#issuecomment-917397337">https://github.com/Z3Prover/z3/issues/5467#issuecomment-917397337</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/5467#issuecomment-917381062">https://github.com/Z3Prover/z3/issues/5467#issuecomment-917381062</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-915380467">https://github.com/Z3Prover/z3/issues/5532#issuecomment-915380467</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-915379582">https://github.com/Z3Prover/z3/issues/5532#issuecomment-915379582</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-913215224">https://github.com/Z3Prover/z3/issues/5532#issuecomment-913215224</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-913145229">https://github.com/Z3Prover/z3/issues/5532#issuecomment-913145229</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-913144953">https://github.com/Z3Prover/z3/issues/5532#issuecomment-913144953</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-913144733">https://github.com/Z3Prover/z3/issues/5532#issuecomment-913144733</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-912989432">https://github.com/Z3Prover/z3/issues/5532#issuecomment-912989432</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-912985600">https://github.com/Z3Prover/z3/issues/5532#issuecomment-912985600</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-912985068">https://github.com/Z3Prover/z3/issues/5532#issuecomment-912985068</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-912984265">https://github.com/Z3Prover/z3/issues/5532#issuecomment-912984265</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-912982870">https://github.com/Z3Prover/z3/issues/5532#issuecomment-912982870</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-912976396">https://github.com/Z3Prover/z3/issues/5532#issuecomment-912976396</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-912819668">https://github.com/Z3Prover/z3/issues/5532#issuecomment-912819668</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-912818844">https://github.com/Z3Prover/z3/issues/5532#issuecomment-912818844</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-912741415">https://github.com/Z3Prover/z3/issues/5532#issuecomment-912741415</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-912607447">https://github.com/Z3Prover/z3/issues/5532#issuecomment-912607447</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-912605220">https://github.com/Z3Prover/z3/issues/5532#issuecomment-912605220</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5532#issuecomment-912603798">https://github.com/Z3Prover/z3/issues/5532#issuecomment-912603798</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5429#issuecomment-885805425">https://github.com/Z3Prover/z3/issues/5429#issuecomment-885805425</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5429#issuecomment-885779646">https://github.com/Z3Prover/z3/issues/5429#issuecomment-885779646</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-813327655">https://github.com/Z3Prover/z3/issues/5140#issuecomment-813327655</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-830863108">https://github.com/Z3Prover/z3/issues/5140#issuecomment-830863108</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-846593329">https://github.com/Z3Prover/z3/issues/5140#issuecomment-846593329</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-856095103">https://github.com/Z3Prover/z3/issues/5140#issuecomment-856095103</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5454#issuecomment-894511709">https://github.com/Z3Prover/z3/issues/5454#issuecomment-894511709</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5454#issuecomment-894510946">https://github.com/Z3Prover/z3/issues/5454#issuecomment-894510946</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5445#">https://github.com/Z3Prover/z3/issues/5445#</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5445#issuecomment-890408110">https://github.com/Z3Prover/z3/issues/5445#issuecomment-890408110</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5445#issuecomment-890407656">https://github.com/Z3Prover/z3/issues/5445#issuecomment-890407656</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5445#issuecomment-890407656">https://github.com/Z3Prover/z3/issues/5445#issuecomment-890407656</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5445#issuecomment-890405218">https://github.com/Z3Prover/z3/issues/5445#issuecomment-890405218</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5445">https://github.com/Z3Prover/z3/issues/5445</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5345">https://github.com/Z3Prover/z3/issues/5345</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-894508476">https://github.com/Z3Prover/z3/issues/5140#issuecomment-894508476</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-886614637">https://github.com/Z3Prover/z3/issues/5140#issuecomment-886614637</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-868854765">https://github.com/Z3Prover/z3/issues/5140#issuecomment-868854765</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-864426711">https://github.com/Z3Prover/z3/issues/5140#issuecomment-864426711</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-864401805">https://github.com/Z3Prover/z3/issues/5140#issuecomment-864401805</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-864395349">https://github.com/Z3Prover/z3/issues/5140#issuecomment-864395349</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-864147989">https://github.com/Z3Prover/z3/issues/5140#issuecomment-864147989</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5237">https://github.com/Z3Prover/z3/issues/5237</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5244">https://github.com/Z3Prover/z3/issues/5244</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/5296">https://github.com/Z3Prover/z3/issues/5296</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5345">https://github.com/Z3Prover/z3/issues/5345</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-858409317">https://github.com/Z3Prover/z3/issues/5140#issuecomment-858409317</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5238">https://github.com/Z3Prover/z3/issues/5238</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5238">https://github.com/Z3Prover/z3/issues/5238</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5260">https://github.com/Z3Prover/z3/issues/5260</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5260">https://github.com/Z3Prover/z3/issues/5260</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5260">https://github.com/Z3Prover/z3/issues/5260</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5260">https://github.com/Z3Prover/z3/issues/5260</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5294">https://github.com/Z3Prover/z3/issues/5294</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5296">https://github.com/Z3Prover/z3/issues/5296</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5297">https://github.com/Z3Prover/z3/issues/5297</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5300">https://github.com/Z3Prover/z3/issues/5300</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5302">https://github.com/Z3Prover/z3/issues/5302</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/5319">https://github.com/Z3Prover/z3/issues/5319</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issuecomment-852433761">https://github.com/Z3Prover/z3/issues/5324#issuecomment-852433761</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issuecomment-852430150">https://github.com/Z3Prover/z3/issues/5324#issuecomment-852430150</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issuecomment-852426666">https://github.com/Z3Prover/z3/issues/5324#issuecomment-852426666</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issuecomment-852349362">https://github.com/Z3Prover/z3/issues/5324#issuecomment-852349362</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issuecomment-852338173">https://github.com/Z3Prover/z3/issues/5324#issuecomment-852338173</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issuecomment-852305173">https://github.com/Z3Prover/z3/issues/5324#issuecomment-852305173</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issuecomment-852303723">https://github.com/Z3Prover/z3/issues/5324#issuecomment-852303723</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issuecomment-852303153">https://github.com/Z3Prover/z3/issues/5324#issuecomment-852303153</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issuecomment-852302717">https://github.com/Z3Prover/z3/issues/5324#issuecomment-852302717</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issuecomment-852302306">https://github.com/Z3Prover/z3/issues/5324#issuecomment-852302306</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issuecomment-852301856">https://github.com/Z3Prover/z3/issues/5324#issuecomment-852301856</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#">https://github.com/Z3Prover/z3/issues/5324#</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issuecomment-852096873">https://github.com/Z3Prover/z3/issues/5324#issuecomment-852096873</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5324#issuecomment-852094449">https://github.com/Z3Prover/z3/issues/5324#issuecomment-852094449</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5328">https://github.com/Z3Prover/z3/issues/5328</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5223#issuecomment-829050898">https://github.com/Z3Prover/z3/issues/5223#issuecomment-829050898</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5223">https://github.com/Z3Prover/z3/issues/5223</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5223#issuecomment-829047981">https://github.com/Z3Prover/z3/issues/5223#issuecomment-829047981</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5223#issuecomment-828728774">https://github.com/Z3Prover/z3/issues/5223#issuecomment-828728774</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5223#issuecomment-828718973">https://github.com/Z3Prover/z3/issues/5223#issuecomment-828718973</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5223#issuecomment-828685173">https://github.com/Z3Prover/z3/issues/5223#issuecomment-828685173</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5223#issuecomment-828596433">https://github.com/Z3Prover/z3/issues/5223#issuecomment-828596433</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5223#issuecomment-828596247">https://github.com/Z3Prover/z3/issues/5223#issuecomment-828596247</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5223#issuecomment-828594023">https://github.com/Z3Prover/z3/issues/5223#issuecomment-828594023</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5223#issuecomment-828591597">https://github.com/Z3Prover/z3/issues/5223#issuecomment-828591597</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5223#issue-870126261">https://github.com/Z3Prover/z3/issues/5223#issue-870126261</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5224">https://github.com/Z3Prover/z3/issues/5224</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5153">https://github.com/Z3Prover/z3/issues/5153</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-813489218">https://github.com/Z3Prover/z3/issues/5140#issuecomment-813489218</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-813487609">https://github.com/Z3Prover/z3/issues/5140#issuecomment-813487609</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140">https://github.com/Z3Prover/z3/issues/5140</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-812854854">https://github.com/Z3Prover/z3/issues/5140#issuecomment-812854854</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140">https://github.com/Z3Prover/z3/issues/5140</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-810849999">https://github.com/Z3Prover/z3/issues/5140#issuecomment-810849999</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140#issuecomment-810206643">https://github.com/Z3Prover/z3/issues/5140#issuecomment-810206643</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5140">https://github.com/Z3Prover/z3/issues/5140</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5136">https://github.com/Z3Prover/z3/issues/5136</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5134#issuecomment-809471830">https://github.com/Z3Prover/z3/issues/5134#issuecomment-809471830</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5134#issuecomment-809239927">https://github.com/Z3Prover/z3/issues/5134#issuecomment-809239927</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/5134">https://github.com/Z3Prover/z3/issues/5134</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5124">https://github.com/Z3Prover/z3/issues/5124</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/5122">https://github.com/Z3Prover/z3/issues/5122</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/5121">https://github.com/Z3Prover/z3/issues/5121</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5087">https://github.com/Z3Prover/z3/issues/5087</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/5080">https://github.com/Z3Prover/z3/issues/5080</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5047">https://github.com/Z3Prover/z3/issues/5047</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5035">https://github.com/Z3Prover/z3/issues/5035</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4940#issuecomment-767075970">https://github.com/Z3Prover/z3/issues/4940#issuecomment-767075970</a> Fixed <br />
</body>

<style>#footer {display: none} </style>